左孝凌离散数学课件.ppt

* 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) 1.8.4 间接证法 (Indirect Proof) 附加前提证明法 适用于如下类型蕴含式的证明: 　 (A1∧A2∧…∧Ak) ?(A?B) (*) 欲证明(*)式，只需证明 　 (A1∧A2∧…∧Ak∧A) ? B 即可，因为 * 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) (A1∧A2∧…∧Ak)?(A?B) ?┐(A1∧A2∧…∧Ak) ∨ (A ? B ) ?┐(A1∧A2∧… Ak) ∨ (┐ A ∨ B ) ? (┐A1∨┐A2∨…∨ ┐Ak) ∨ (┐A∨B) ? ┐A1∨┐A2∨…∨┐Ak∨┐A∨B ? (┐A1∨┐A2∨…∨┐Ak∨┐A)∨B ? ┐(A1∧A2∧…∧Ak∧A)∨B ?(A1∧A2∧…∧Ak∧A)? B 这样一来,原来结论中的前件A就变成了前提,称A为附加 前提. * 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) 由证(A1∧A2∧…∧Ak∧A)?B永真而证得 (A1∧A2∧…∧Ak)?(A?B)永真的证明方法, 称为 附加前提证明法或CP规则. * 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) 例1:证明:(A→B?C)?(B→┐A)?(D→┐C) ? (A→┐D) 证： * 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) 例1:证明:(A→B?C)?(B→┐A)?(D→┐C) ? (A→┐D) 证：1. A→B? C P 2. B→┐A P 3. D→┐C P 4. A P(附加前提) 5. B? C T1，4 I11 6. A→┐B T2, E 7. C→┐D T3 ，E 8. ┐B T4，6 I11 9. C T5，8 I11 10. ┐D T7，9 I11 11. A→┐D Ｔ４，10 CP * 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) ?????例2：前提：P?(Q?R) , S?P , Q 结论：S?R. 证明： * 第一章 命题逻辑（Propositional Logic） 1.8推理理论(Inference Theory) ?????例2：前提：P?(Q?R) , S?P , Q 结论：S?R. 证明： 1. S?P P 2. S P（附加前提引入） 3. P T（1, 2） I11 4. P?(Q?R) P 5. Q?R T（3,4） I11 6. Q P 7. R T（5,6） I11 8. S?R T（2,7）