离散数学第一章命题逻辑

离散数学第一章命题逻辑Tag内容描述：<p>1、离散数学 授课教师： 仝允战 第一章第一章 命题逻辑命题逻辑 （Proposition LogicProposition Logic） 命题符号化及联结词 命题公式及分类 等值演算 联结词全功能集 对偶与范式 推理理论 1 1 2 2 3 3 4 4 5 5 6 6 2 简介简介 逻辑学： 研究推理的一门学科 数理逻辑： 用数学方法研究推理的一门数学学科 一套符号体系 + 一组规则 3 简介简介 数理逻辑的内容： 古典数理逻辑： 命题逻辑、谓词逻辑 现代数理逻辑： 逻辑演算、公理化集合论、递归 论、模型论、证明论 4 命题逻辑命题逻辑 命题(Proposition)： 一个有确定真或假意义的语句。 命。</p><p>2、第一章 命题逻辑 Proposition Logic 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 重言式、矛盾式、可满足公式 1.5 等价与蕴含 1.6 推理理论 *1chapter1 PropositionProposition LogicLogic 命题逻辑命题逻辑 1.1 命题及其表示法 1、命题 命题非真即假的陈述句。 命题的真值 对，成立，则真值为真，T，1 错，不成立，则真值为假，F，0 断言是一陈述语句。一个命题是一个或真或假而不能 两者都是的断言。如果命题是真, 我们说它的真值为真； 如果命题是假，我们说它的真值是假。 Date2chapter1 PropositionProposition LogicLogi。</p><p>3、1,第一篇 数理逻辑,什么是逻辑（学）？ 研究人类思维的科学。研究思维形式及思维过程。 公元前四世纪亚里斯多德工具论奠定了逻辑学的理论基础。中国最早的一部逻辑专著墨经也创造了一个比较完整的逻辑体系。,辩证逻辑,形式逻辑,2,什么是数理逻辑？,数理逻辑是用数学的方法研究逻辑。 所谓“数学方法”：就是引进一套符号体系的方法。 用数学理论、手段和技巧找出研究对象内在联系的数学表达式及其规范的方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。 数理逻辑即引进一套符号体系的方法来研究概念、判断和。</p><p>4、离散数学,主讲教师：信息院 孙丽云 办公地点：F103 liyunsunlightgmail.com,本课程共72学时，周学时为5，学分4.5；,若旷课超过总学时的1/3，或缺交作业超过总次数的1/4，则无考试资格且无补考资格。,课时安排：,总成绩100分，比例分配如下： （1）期末：70分； （2）期中：5分； （3）平时25分，包括作业情况（10分）：缺交作业一次扣2分，分数扣完为止；若出现雷同，所有雷同者每人扣5分！多次雷同无平时成绩！ 课堂情况：旷课1次扣2分；根据课堂上回答问题情况，可酌情加分或减分。,成绩评定,第一部分 数理逻辑：包括命题逻辑和谓词逻辑。</p>