【摘 要】
：
数理逻辑是《离散数学》的难点之一.其主要原因是内容比较抽象且方法较独特,加之题型以知识较广的证明题居多.而命题逻辑又是数理逻辑的基础,熟练而灵活地掌握好命题逻辑中推
论文部分内容阅读
数理逻辑是《离散数学》的难点之一.其主要原因是内容比较抽象且方法较独特,加之题型以知识较广的证明题居多.而命题逻辑又是数理逻辑的基础,熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点,又会为进一步学习谓词逻辑打下良好的基础.本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法,以期在帮助学生掌握命题逻辑的推理证明方法的同时,又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力.
其他文献
以包夹有丁二酮肟的PVC膜粘附在717强碱性阴离子交换树脂上为固定相,萃取色谱法分离富集矿样中的微量钯,以10%乙二胺-2%氢氧化钠溶液洗脱,用原子吸收光谱法测定.方法回收率在
本文基于Cu2+与贮备铁氰化钾及鲁米诺在碱性条件下产生化学发光的原理,建立了一种新的测定痕量铜的化学发光方法.方法的相对标准偏差小于5.0%,线性范围为5.0 ×10-9～1.0&#
21世纪是科技飞速发展的时代,在临床医学生毕业实习岗前培训中应用心肺腹电子标准化病人教学系统,是将虚拟现实技术应用于医学教育领域的充分体现。心肺腹电子标准化病人应用
铁路油罐车在成品油充装过程中，由于油品本身的易燃易爆特性以及静电等危险因素的作用，极易发生火灾爆炸事故。通过对静电等危险因素产生的过程及原因进行分析，阐述了在充装工艺
近年来,我国不断增加对基础建设的投入,公路和桥梁等道桥建设的规模迅速扩大。在道桥建设中,钻孔灌注桩技术发挥着重要作用,钻孔灌桩工作常在水下进行,由于环境条件的限制,对
酸性蛋白酶适宜pH为2.0～6.0,适宜作用温度为30～55℃,它能有效水解原料中的蛋白质,提高醪液中氨基酸氮的含量,促进酵母生长繁殖,同时破坏原料颗粒间质细胞壁结构,有利于糖化酶的
我国数字媒体教育的发展在移动互联网应用迅猛普及的态势之下显露出一些问题,如传播面窄、没有对粉丝经济引起高度关注、移动应用软件开发力度不够等,亟待采取有效的措施加以
1型糖尿病（T1MD）主要发生于青少年,是儿科常见的内分泌疾病之一,其发病率呈逐年上升趋势。1型糖尿病是一种T细胞依赖性自身免疫疾病,其典型特征是胰岛β细胞特异性损伤导致胰岛
上市公司收购中的信息披露制度是上市公司收购的核心，信息的充分、及时披露，可以保障中小股东的合法权益不受侵害，也有利于监管部门对收购监督和核查，从而实现收购的公平和合法化
<正>日本登高集团总干事Daiken Murakami称,集团已经决定在河南省北部采用LED照明技术投资有机蔬菜农业中心。这是该集团首次对有机蔬菜中心海外投资,这批蔬菜有望于2015年底