论文部分内容阅读
众所周知,命题逻辑中主要的研究对象是重言式及永真蕴含式,本文提出了一条一般离散数学书中所忽视的性质,而这条性质恰恰是推理规则中所谓的“规则T”的理论依据,从理论上讲,这条性质是极有意义的。
永真蕴含式的一条性质
【摘 要】
：
众所周知,命题逻辑中主要的研究对象是重言式及永真蕴含式,本文提出了一条一般离散数学书中所忽视的性质,而这条性质恰恰是推理规则中所谓的“规则T”的理论依据,从理论上讲,
【机 构】
：
常州工业技术学院基础部
【出 处】
：
常州工学院学报
【发表日期】
：
1991年4期
其他文献
物理是一门以实验为基础的自然科学;实验是初中物理教学的重要手段,认真做好各类实验,能起到引导认识、开拓思路、激发兴趣、唤起追求的作用;认真改进实验能激发学生强烈的求
一个国家的经济实力的基础在于企业竞争力,企业竞争力的核心是企业技术竞争力。技术创新对经济增长和企业成长、提高竞争力具有重要意义。创新动力是企业自主创新的引擎,同时
目的 探讨冠状动脉搭桥手术的效果及危险因素。方法 回顾性分析我院冠状动脉搭桥手术119全患者的手术死亡率及其中相关危险因素，手术效果。结果 本组患者手术死亡率5％，全组患
目的 探讨孕妇HBV－DNA含量对HBV母婴传播的影响。方法 应用荧光定量PCR技术检测31对母婴HBV－DNA。结果 胎儿脐血HBV－DNA含量与孕妇HBV－DNA含量呈线性相关（r=0.5401,p=0.0017)；19
现今世界,产业结构升级的速度越来越快,产业结构高级化的程度日益加深,科学技术在国家经济发展中的地位也越来越重要。各个发达资本主义国家的科技贡献率也越来越高。本文通
用化学共沉淀法制备掺杂La的Ni(OH)2. 通过X射线衍射和红外光谱对掺杂La的Ni(OH)2进行结构表征, 并采用模拟电池和循环伏安法对其电化学性能进行研究. 研究结果表明: 掺杂La
高频电子线路是电子信息工程、通信工程的一门重要的专业基础课,其具有很强的理论性和实践性,如何教好该门课程成为广大电子类教师的一道难题。该文结合近几年来教学过程的一
目的：通过研究建立一种简便，高效的人类精液快速冷冻保存方法一精液细管一步冷冻法，并与常用的方法进行比较，以探讨其实用性和先进性，方法：20例政党精液用细管一步冷冻法法进行冻存
文章根据高职艺术设计专业人才的要求,结合人才培养现状,分析了设计专业中《插画设计》课程在教学过程中带有普遍性和典型性的一些问题,叙述了该课程教学改革内容改革方案以