离散数学 第1章复习总结.ppt

* Discrete Mathematics 西南科技大学 计算机科学与技术学院 第一章 命题逻辑 复习总结 一、本章主要内容及学习要求 数理逻辑的主要任务是采用数学方法研究抽象的思维规律，研究的中心问题是推理，而推理的基本要素是命题。 因此，首先要深刻理解命题的概念，理解原子命题与复合命题的关系，在了解复合命题的基础上，理解联结词的定义。命题演算中两个重要内容是命题公式的范式表示与命题的推理理论，前者主要是命题公式等价演算与主范式表示，后者则需熟悉推理的两种方法（附加前提法和归谬法）。 重点是命题概念及其表示、命题公式逻辑等价演算、主范式及其互化、推理证明的两种方法 二、典型题例分析 例1 用逻辑符号写出下列命题： 1.王平与王凡是弟兄。 2.王平与王凡一起做作业。 3.王平学过德语或法语。 4.王平是17岁，或是18岁。 5.派王平或王凡中的一个人到上海学习。 6.除非天气好，否则我们不踢足球。 7.生命不息，战斗不止。 8.如果你来了，那么他唱不唱歌将看你是否伴奏而定。 9.2+3=5当且仅当2是偶数。 例2 设A、B、C为任意的命题公式。 1）已知A∨C B∨C，问：A B一定成立吗？ 2）已知A∧C B∧C，问：A B一定成立吗？ 3）已知┐A ┐B，问：A B一定成立吗？ 例3 判断下列公式类型： （1） （2） （3） （4） （5） （6） （7） （8） （9） （10）　　 例4 将下面的程序化简： IF A THEN IF B THEN X ELSE Y ELSE IF B THEN X ELSE Y F F F T T T A B B X Y 化简结果为：IF B THEN X ELSE Y 例5 给定命题公式 ： 该命题公式的主析取范式中含极小项的个数为　 　，主合取范式中含极大项的个数为　 　。该命题公式的所有成真赋值为　 　，所有成假赋值为　 　。 例5 请根据以下说法推证： 张三说李四在说谎，李四说王五在说谎，王五说张三、李四都在说谎，问张三、李四、王五3个人到底谁在说真话，谁在说假话。 分析：这是一个典型的逻辑推理题目。用逻辑符号进行推理可使解题过程简明、程式化，不易出错。 方法是把3个判断表达成一个合取式，再化为主析取范式，这样主析取范式中的极小项就是所求结果。 解：设A：张三说真话；B：李四说真话；C：王五说真话。依题意有： A? ┒B，B ? ┒C，C ? ┒A∧┒B。即： (A? ┒B)∧(B ? ┒ C)∧(C ? ┒A∧┒B)为真。 作出该命题公式的真值表（略）。 从真值表中找出所有成真赋值，写出对应的极小项，故有： (A? ┒B)∧(B ? ┒ C)∧(C ? ┒A∧┒B) ?m2 ?┒A∧B∧┒C。故┒A∧B∧┒C为真，即：张三说假话，李四说真话，王五说假话。 练习思考 甲、乙、丙、丁四个人有且仅有两个人参加了围棋比赛。关于谁参加比赛，下列四种判断都是正确的： 1.甲和乙只有一人参加； 2.丙参加，丁必参加； 3.乙或丁至多一个人参加。 3.丁不参加，甲也不会参加。 请推出哪两个人参加了围棋比赛。 答案：甲、丁参加了比赛 例6 用推理规则论证下述问题： 我或者去北京，或者去广州。如果我去北京，就去长城。去了长城，就不能参加运动会。所以，如果我参加了运动会，那么我去了广州。 证明： 设P：我去北京；Q：我去广州； R：我去长城；S：我参加运动会。所以，本命题可以符号化为： P⊕Q，P→R，R→┒S?S→Q 可用CP规则论证。证明（略） 例7 公安人员审查一件盗窃案时，已知的事实如下： 　　(1)甲或乙盗窃了录音机； 　　(2)若甲盗窃了录音机，则作案时间不能发生在午夜前； 　　(3)若乙的证词正确，则午夜时屋里灯光未灭； 　　(4)若乙的证词不正确，则作案时间发生在午夜之前。 　　(5)午夜时屋里灯光灭了。 　　请根据以上事实，判断谁盗窃了录音机？ * Discrete Mathematics 西南科技大学 计算机科学与技术学院