离散数学考前复习.pptxVIP

离散数学;第一部分 数理逻辑 第二部分 集合论 第三部分 图论 第四部分 抽象代数;第一部分 数理逻辑;;1.1 命题和命题联结词 1.2 命题公式及其赋值 1.3 等值演算与联结词完备集 1.4 析取范式与合取范式 1.5 推理的形式结构 1.6 自然推理系统P;1. 命题：能判断真假的陈述句。;;2. 命题的真值：判断结果;1.1 命题和命题联结词;原子命题：不能被分解为更简单的陈述句 复合命题：原子命题通过联结词联结而成;4、命题联结词;p;p;例：1.张晓婧爱唱歌或爱听音乐。 2.张晓婧是内蒙人或是陕西人。 3.张晓婧只能挑选202或203房间。;p;注意：①“只要p，就q‘，’因为p，所以q”，“p仅当q”， ‘只有q，才p“，”除非q才p“，”除非q，否则非p“都可 抽象为p→q。 ②p，q可以没有任何内在联系。;p;p;例：p：北京比天津人口多 q：2＋2＝4 r：乌鸦是黑色的;5、语句形式化;1.1 命题和命题联结词;命题常元：表示具体确定内容的命题。 命题变元：表示不确定具体内容的命题。;1.2 命题公式及其赋值;1.2 命题公式及其赋值;1.2 命题公式及其赋值;1.2 命题公式及其赋值;1.2 命题公式及其赋值;1.2 命题公式及其赋值;1.3 命题公式的等值式;基本等值式（A，B，C为任意命题公式）;1.3 命题公式的等值式;因A，B，C可以代入任意的命题公式，故以上等值式称为等值式模式。;等值演算的应用： 1.验证等值式 2.判定公式的类型 3.解决工作生活中的判断问题;联结词的完备集;联结词的完备集;1.4 析取范式与合取范式;若A为永真式，则A中必同时含有pi和﹁pi，反之亦然。;定义：①由有限个简单合取式构成的析取式称为析取范式。 ②由有限个简单析取式构成的合取式称为合取范式。 ③析取范式与合取范式称为范式。;定理3.任一命题公式都存在与之等值的析取范式和合取范式。;定义：在含有n个命题变元的简单合（析）取式中，若每个 命题变元和 它的否定式不同时出现，而二者之一必 出现且仅出现一次，且第 i个命题变元或它的否定是 出现在从左算起的第i位上（字典序），称这样的简 单合（析）取式为极小（大）项。;将极小项的成真赋值对应的二进制数转化为十进制数为i， 将对应的极小项记为mi。 将极大项的成假赋值对应的二进制数转化为十进制数为i， 将对应的极大项记为Mi。;1.4 析取范式与合取范式;1.4 析取范式与合取范式;1.4 析取范式与合取范式;例：要在A，B，C中挑选2名出国进修，选派时满足下列条件： ①若A去，则C同去 ②若B去，则C不能去 ③若C不去，则A或B可以去 问有几种选派方案，分别是什么？;1.5推理的形式结构;1.5推理的形式结构;1.5推理的形式结构;例：若下午温度超过30度，则王晓燕必去游泳。若她去游 泳，她就不会去看电影。所以若王晓燕没去看电影， 下午温度必超过了30度。;1.5推理的形式结构;注意： ①以上都是蕴含式模式 ②若某推理的形式结构与某定律一致，则推理正确 ③成立的等值式可产生两条定律 ④推理定律可产生相应的推理规则;1.6自然推理系统P;1.6自然推理系统P;1.6自然推理系统P;例：若小王是理科生，则他的数学成绩一定很好。如果 小王不是理科生，他一定是文科生。小王的数学成绩 不好。所以小王是文科生。;例：如果小张和小王去看电影，则小李也去看电影。小赵 不去看电影或小张去看电影。小王去看电影。所以， 当小赵去看电影时，小李也去。;2.归谬法 将结论的否定作为前提引入，能推出矛盾来，则推理正确;所有的人总是要死的。 苏格拉底是人。 所以苏格拉底是要死的。;第二章 谓词逻辑;2.1一阶逻辑命题符号化;2.谓词;3.量词：个体词之间的数量关系;例：所有的人都是要死的。 有的人用左手写字。;例：在美国留学的学生未必都是亚洲人。 有的兔子比所有的乌龟跑的快。 对任意的整数x，都存在整数y使得x＋y＝10。;2.2一阶逻辑公式及解释;2.2一阶逻辑公式及解释;合式公式也称谓词公式，简称公式;2.2一阶逻辑公式及解释;2.2一阶逻辑公式及解释;2.2一阶逻辑公式及解释;定理.闭式在任何解释下都变成命题。;2.2一阶逻辑公式及解释;定理.重言式的代换实例都是永真式，矛盾式的代换 实例都是矛盾