论文部分内容阅读
本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结数理逻辑中演绎推理的要点和难点,利用图解法帮助学生更快速简单地掌握推理演算的技巧.
数理逻辑中演绎推理的图解法
【摘 要】
：
本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结数理逻辑中演绎推理的要点和难点,利用图解法帮助学生更快速简单地掌握推理演算的技巧.
【机 构】
：
杭州电子科技大学理学院
【出 处】
：
数学学习与研究
【发表日期】
：
2018年23期
其他文献
自2006年5月开始在我国爆发一种猪高热综合症,主要引起母猪流产、死胎、木乃胎伊等繁殖障碍,以及各种日龄猪的呼吸道疫病。为了进一步了解我国PRRSV的分子遗传进化情况,对201
软件项目中的需求是关系软件项目成败的关键性因素，缺乏对需求进行管理往往是造成项目失败的主要原因。文章首先对什么是需求进行了概括，总结了在软件项目管理过程中容易出现的
目的：研究黑果枸杞色素作为食用色素使用的毒理学安全性。方法：利用小鼠急性毒性试验、Ames试验、骨髓细胞微核试验、小鼠精子畸变试验和30d喂养试验进行毒理学研究。结果：急性
目的应用漏声表面波（LSAW）生物传感器实时检测HPV，并对传感器进行再生性研究。方法每次实验前分别用Piranha液、1mol／L HCl和1mol／L NaOH等溶液清洗传感器反应区域，在相同实验条件
生态文明是当代一个重大而紧迫的发展课题。生态文明体现着科学发展观的科学内涵。在深入贯彻科学发展观的实践中，推进我国的生态文明建设，就要转变发展观念，树立生态文明理念；转
在乌兰布和沙漠东缘即内蒙古磴口县，利用Li-6400xt便携式光合测定系统分析仪测定不同增雨处理（4个增雨处理的增雨量分别是当地年降水量的25％、50％、75％和100％）条件下，典型荒漠植物白
<正> 中央经济工作会议提出,1995年我国经济工作的指导思想是:坚持邓小平同志建设有中国特色社会主义的理论和党的基本路线,全面贯彻党的十四大和十四届三中全会、四中全会精
目的 了解门诊手术室Time-out执行率现状,分析存在问题,提出改进措施,提高手术室Time-out执行率,保障患者安全。方法 采用PDCA循环（计划-实施-检查-处理）的管理方法,进行门诊手
目的研究康复护理对脑卒中患者运动功能和日常生活活动能力的影响。方法选取我院2017年10月~2018年10月收治的50例脑卒中患者为观察对象,根据不同的护理方法将患者分为对照组
<正>正在热映的《流浪地球》一片中有这么一个温暖的桥段:当地球与木星距离越过洛希极限后,鉴于两个星球的碰撞已成为不可抗力因素,地球联合政府于是发布命令,呼吁所有在外的