离散数学4_命题逻辑.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4.3.3 构造证明推理 简单证明推理是从命题公式的真值角度进行解释和论证的，推理过程中没有明确的推演过程，并且当命题变元较多时，会非常繁琐，工作量太大。 分析有效推理和永真蕴含式的定义，可以发现，如果命题公式A1，A2，…，An和C 满足A1?A2，A2? A3，…，且An?C，那A1? C，即，我们可以通过一系列永真蕴含式证明出命题公式C是命题公式A1的有效结论。 基于永真蕴涵式或推理规则进行的命题公式的推理称为构造证明推理。 判断推理是否正确(构造证明法) 待判断的推理为： A1, A2, ?, Ak╞ B 什么是“证明”： 命题公式的序列； 其中的每个公式 要么是已知的前提 （即集合A1, A2, ?, Ak中的元素）， 要么是由某些前提应用推理规则得到的结论； 该序列的最后一个公式为B。 基本的永真（重言）蕴涵式/推理规则 共12组，18个 A?B?A， A?B?B ?(A?B)?A ?(A?B)??B A, B ? A?B A?A?B, ? A? A?B A? (A?B) ?B　　 ?B? (A?B) ??A　 ?A? (A?B) ?B　　　 (A?B)?(B?C)?(A?C)　　 (A?B)?(B?C)?(A?C)　　 (A?B)?(C?D)?(A?C)?(B?D)　　 化简式 假言推理 拒取式 析取三段论 双条件三段论 析取构造性二难推理 合取引入 附加式 条件三段论 基本的永真（重言）蕴涵式/推理规则 (A?B)?(C?D)?(A?C)?(B?D) 　 (A?B)?(C?B)?(A?C) ?B (A?B)?(C?B)?(A?C) ?B A?B ?(A?C)?(B?C) A?B ?(A?C)?(B?C) 二难推论 合取取构造性二难推理 前后件附加 判断推理是否正确(构造证明法) 在构造推理证明中，还用到如下几个中重要的推理规则： (1)前提引入规则：在证明的任何步骤上，都可以 引入前提。 (2)结论引入规则：在推理中，若一个或一组前提 已证出结论B，则B可引入到 以后的推理中作为前提使用 。 (3)置换规则：在推理过程的任何步骤上，命题公 式中的任何命题公式都可以用与之 等值的命题公式置换 。 判断推理是否正确(构造证明法) 直接构造证明推理：从一组已知的命题公式的前提出发，利用推理规则逐步推演出逻辑结论的推理 间接构造证明推理：从一组已知的命题公式的前提以及附加的前提出发，利用推理规则间接地给出推理有效性证明的推理。 例：为推理 p?(q?r), s??q, p, s╞ r构造相应的证明。 证明： ①　p?(q?r)　　前提引入 ②　p　　　　　前提引入 ③　q?r ①②假言推理 ④　s??q　　　前提引入 ⑤　s 前提引入 ⑥ ?q ④⑤假言推理 ⑦　r ③⑥析取三段论 直接构造证明推理 构造证明法－－间接构造证明推理 定理4.6 命题公式A?B是命题公式A1,A2,…,An的有效结论当且仅当命题公式B是命题公式A,A1,A2,…,An的有效结论。 证明： 命题公式A?B是命题公式A1,A2,…,An的有效结论当且仅当命题公式A1?A2 ?…? An?(A?B)是重言式。由于 A1?A2 ?…? An?(A?B) ? ?(A1?A2 ?…? An)?(?A?B) ? (?(A1?A2 ?…? An)??A)?B ? ?((A1?A2 ?…? An)?A)?B ? ?(A1?A2 ?…? An ?A)?B ? (A1?A2 ?…? An ?A)?B 所以，命题公式A?B是命题公式A1,A2,…,An的有效结论当且仅当命题公式B是命题公式A,A1,A2,…,An的有效结论。证毕。 构造证明法－－间接构造证明推