命题逻辑剖析.ppt

补充题：请根据下面事实，找出凶手： 1. 清洁工或者秘书谋害了经理。 2. 如果清洁工谋害了经理，则谋害不会发生在午夜前。 3.如果秘书的证词是正确的，则谋害发生在午夜前。 4.如果秘书的证词不正确，则午夜时屋里灯光未灭。 5. 如果清洁工富裕，则他不会谋害经理。 6.经理有钱且清洁工不富裕。 7.午夜时屋里灯灭了。 令A:清洁工谋害了经理。 B:秘书谋害了经理。 C:谋害发生在午夜前。 D:秘书的证词是正确的. E:午夜时屋里灯光灭了。H:清洁工富裕. G:经理有钱. A∨B,A??C,D?C,?D??E,H??A,G∧?H,E ?? A∨B,A??C,B?C, D?C, ?D??E,H??A,G∧?H,E ?? ⑴ E P ⑵ ?D??E P ⑶ D T⑴⑵ I ⑷ D?C P ⑸ C T⑷⑸ I ⑹ A??C P ⑺ ?A T ⑹⑺ I ⑻ A∨B P ⑼ B T⑻⑼ I ⑽ B∧?A T⑻⑽ I 结果是秘书谋害了经理。 * 例７ P→Q,(?Q∨R)∧?R, ?(?P∧S)??S (1) ??S P(假设前提) (2) S T (1)E (3) ?(?P∧S) P (4) P∨?S T (3)E (5) P T (2)(4)I (6) P→Q P (7) Q T (5)(6)I (8) (?Q∨R)∧?R P (9) ?Q∨R T (8)I (10) ?R T (8)I (11) R T (7)(9)I (12) R∧?R T (10)(11)I 本节要掌握三种推理方法，按照所要求格式正确地书写推理过程。 作业 第47页： 第一章小结 知识网络： 命 题 原子命题 复合命题 联结词 命题公式 永真蕴涵 等价 范式 命题逻辑推理 直接推理 间接推理 条件论证 反证法 析取 合取 主析取 主合取 永真公式 本章的重点内容、及要求： １.逻辑联结词，要熟练掌握联结词的真值表定义以及它们在自然语言中的含义。其中特别要注意“∨”和“→”的用法。 ２.会命题符号化。 ３.掌握永真式的证明方法： (1).真值表。 (2).等价变换，化简成Ｔ。 (3).主析取范式。 ４.掌握永真蕴含式的证明方法，熟练记忆并会应用 43页中表1-8.3中的永真蕴含式。 ５.掌握等价公式的证明方法，熟练记忆并会应用 43页表1-8.4中的等价公式。 ６.熟练掌握范式的写法及其应用。 ７.熟练掌握三种推理方法。 第一章 命题逻辑 习题课 一.命题符号化 注意讲过的命题符号化方法。 P8习题(3) P:天下雪。Q:我将去镇上。R:我有时间。 a) 如果天不下雪且我有时间，那么我将去镇上。 (?P∧R)→Q b) 我将去镇上，仅当我有时间。 Q→R d) 天下雪，那么我不去镇上。 P→?Q P12习题(5) a) 或者你没有给我写信，或者它在途中丢失了。 显然这里的“或者”是“不可兼取的或”。 令 P:你给我写信。Q:信在途中丢失了。 表达式为: ?P Q 或 (P∧Q)∨(?P∧?Q) c) 我们不能既划船又跑步。 令 P:我们划船。Q:我们跑步。 表达式为 ?(P∧Q) d)如果你来了，那么他唱不唱歌将看你是否为他 伴奏而定。