论文部分内容阅读
本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握
命题演算中逻辑推理的推导法
【摘 要】
：
本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握
【机 构】
：
陕西工学院学报编辑部,陕西工学院基础课部
【出 处】
：
陕西理工学院学报：自然科学版
【发表日期】
：
1996年3期
其他文献
近期偶然读到钱理群的《我理想中的中小学教育和中小学教师》。印象深刻的是：“在校读书期间,学校的教育要给学生打下三个“底子”---学习的底子,精神的底子,身体的底子,就意
苏教版语文六年级教材十二册第六单元的一篇课文《古诗两首》,两首古诗的题目为《石灰吟》和《墨梅》。这一次,我打算从编者、作者、教师、学生四个角度进行解读。一、立足教
高职教育是高等教育的重要组成部分,根据《高等职业教育英语课程教学基本要求》,高职院校都应积极引进和使用现代化教学手段,构建适合学生个性化学习和自主学习的教学模式。
以江苏食品药品职业技术学院为例,分析了其微生物实验实训室管理工作中存在的问题,提出了相应的改革措施,以期为其他实验实训室的管理改革提供一定参考[1]。
目的:评价正念干预(MBI)对癌症患者创伤后成长(PTG)的干预效果。方法:计算机检索Cochrane library、PubMed、Embase、Web of Science、CBM、VIP、WangFang Data和CNKI数据库
应用系统动力学反馈动态复杂性分析技术,建立了有效刻画污染第三方治理系统发展的结构模型,在系统发展基本原理的指引下,给出了促进系统发展的管理对策,为相关理论研究与实践
在桥式起重机主梁普通优化设计的基础上，进一步采用模糊优化方法，建立了模糊优化模型。通过实例计算分析，说明了模糊优化方法的可行性和有效性