1-7-aolm-离散数学(精品·公开课件).ppt

1.7 命题演算推理 1.7.1 有效论证的概念 推理理论对于计算机科学中的程序验证、定理的机械化证明及人工智能都是十分重要的。那么什么是推理呢？ 推理又称为论证: 是由已知的命题得到新命题的思维过程. 任何一个推理都是由前提、推理规则和结论组成。 若前提和结论之间的联系是必然的是演绎推理.否则称为归纳推理。 数理逻辑主要研究演绎推理。 从语言角度，推理分为语义和语法两种。 语义推理注重内涵的正确性，也就是从真的前提出发要推出真的结论来，推理过程考虑的少，关心的是结论的正确性。 语法推理则注重形式上的有效性，注重推理过程是否符合某些事先规定的逻辑规则，若结论是严格遵循规则得到的，那便是有效的。 数理逻辑主要采用语法推理，它关心的是结论的有效性，而不关心前提的实际真假，当然语法推理作为一种推理方法，它必须能反映客观事物中真实存在的逻辑关系．换句话说，语法推理必须保证语义上的正确性。 1.7.2 真值表法 设 P1, P2, …, Pn 是出现在前提 H1, H2, …, Hn 和结论 B 中的全部命题变元，通过对 P1, P2, …, Pn 作各种可能的真值指派，从而确定前提 H1, H2, …, Hn 和结论B的真值，列出真值表。 若真值表中对于 H1, H2, …, Hn 的真值都为 T 的每一行， B 的真值也为 T 或者对于 B 的真值为 F 的每一行， H1, H2, …, Hn 中都至少有一个真值为 F， 这两种情况下都称为 B 可由 {H1, H2, …, Hn} 逻辑地推出。 【例1.48】一份统计表格的错误或者是由于材料不可靠，或者是由于计算有错误；这份统计表格的错误不是由于材料不可靠，所以这份统计表格是由于计算有错误。 解：设各命题变元为： P：统计表格的错误是由于材料不可靠 Q：表格的错误是由于计算有错误 则将原命题符号化为：(P∨Q )∧﹁P ? Q，其中，(P∨Q ), ﹁P 是前提，Q 是结论。列出真值表： 1.7.3 直接证法 设给定的前提为H1, H2, …, Hn，结论为B。若存在如下一个有限序列： C1 , C2 , …, Cm 满足以下条件： (1) Cj (1≤j≤m )是某个Hi (1≤i≤n )或者； (2) Cj (1≤j≤m )是, , … , (1≤t1, t2, …, ts ≤ j ? 1)的有效结论； (3) Cm＝B。 则称从前提 H1, H2, … , Hn 可推出结论 B。 这样的推理过程所用的方法即为直接证法，在直接证明过程中，通常使用如下三条规则： P 规则：前提在推导过程中的任何时候都可以引入使用。 T 规则：在推导过程中，如果有一个或多个公式、重言蕴涵着公式 S，则公式 S 可以引入推导之中。 CP规则：若从 A 和 B 能有效地推出 C，则从 A 可有效地推出 B ?C。 现以表格的形式列出推理过程中常用的一些等价式和蕴涵式。 表中的 I11 是著名的三段论，I12 是著名的二难论。 【例1.51】证明(﹁P ? Q )∧(P ?R )∧(﹁Q∨S ) ? S∨R。 证明：(1)﹁P ?Q P (2)﹁Q∨S P (3) Q ?S T, (2), E16 (4)﹁P ?S T, (1), (3), I13 (5)﹁S ?P T, (4), E18 (6)P ?R P (7)﹁S ?R T, (5), (6), I13 (8)﹁﹁S∨R T, (7), E16 (9) S∨R