JHY-第一章 命题逻辑.ppt

第一章 命题逻辑 到此结束 * 主要内容 1 推理形式 2 推理规则 3 推理定律 4 推理方法 重点难点：命题演算的各种推理方法及应用 * 2.1 推理形式 推理 也称论证，由已知的命题得到新命题的思维过程。 前提 推理所根据的已知命题。 结论 从前提出发应用推理规则推出的新命题。 推理理论 与从前提导出结论的推理规则和论证原理相关的理论。 * 小结与作业 小结 1 推理形式 2 推理规则 3 推理定律 4 推理方法 作业 习题 14、15 中国地质大学计算机系软件教研室 * * 三.反证法 反证法的主要思想是：假设结论不成立，可以推出矛盾的结论(矛盾式)。下面先介绍有关概念和定理。 定义：设H1，H2，...，Hn是命题公式，P1，P2,…,Pm是公式中的命题变元，如果对所有命题变元至少有一种指派，使得 H1∧H2∧...∧Hn 的真值为T，则称公式集合{H1,H2,…Hn}是相容的(也称是一致的)； 如果对所有命题变元每一种指派，都使得H1∧H2∧...∧Hn的真值为F，则称公式集合 {H1,H2,…Hn}是不相容的(也称是不一致的)。 * 定理1-7.2 若要证明相容的公式集合 {H1,H2,... Hn}可以推出公式C，只要证明H1∧H2∧...∧Hn∧?C是个矛盾式即可。 证明 设H1∧H2∧...∧Hn∧?C 是矛盾式，则 ?(H1∧H2∧...∧Hn∧?C)是个永真式。 上式? ?(H1∧H2∧...∧Hn)∨C ?(H1∧H2∧...∧Hn)→C 所以 H1∧H2∧...∧Hn ? C 实际上，要证明H1∧H2∧...∧Hn ? C，只要证明 H1∧H2∧...∧Hn∧?C可推出矛盾式即可，即 H1∧H2∧...∧Hn∧?C ? R∧?R * 例７ P→Q,(?Q∨R)∧?R, ?(?P∧S)??S (1) ??S P(假设前提) (2) S T (1) E1 (3) ?(?P∧S) P (4) P∨?S T (3) E8 (5) P T (2)(4) I10 (6) P→Q P (7) Q T (5)(6) I11 (8) (?Q∨R)∧?R P (9) ?Q∨R T (8) I1 (10) ?R T (8) I2 (11) R T (7)(9) I10 (12) R∧?R T (10)(11) I9 * 下面同学动手作练习 用反证法证明 第47页 (4) a) R→?Q , R∨S , S→?Q ,P→Q ? ?P 证明 (1) ??P P(假设前提) (2) P T (1) E1 (3) P→Q P (4) Q T (2) (3) I11 (5) R→?Q P (6) ?R T (4) (5) I12 (7) R∨S P (8) S T (6) (7) I10 (9) S→?Q P (10) ?Q T (8) (9) I12 (11) Q∧?Q T (4) (10) I9 * 本节要掌握三种推理方法，按照所要求格式正确地书写推理过程。 作业 第47页：(1) b) , (2) b) , e) (3) b) , c) (4) a) , c) (5) c) * 第一章 小结 知识网络： 命 题 原子命题 复合命题 联结词 命题公式 永真式 永真蕴涵式 等价公式 范式 命题逻辑推理 直接推理 间接推理 条件论证 反证法 析取 合取 主析取 主合取 * 本章的重点内容、及要求： １.逻辑联结词，要熟练掌握联结词的真值表定义以及它们在自然语言中的含义。其中特别要注意“∨”和“→”的用法。 ２.会命题符号化。 ３.掌握永真式的证明方法： (1).真值表。