离散数学 教学课件.pptxVIP

1/601/60离 散 数 学 Discrete Mathematics计算机科学与工程学院 金 忠http://patternrecognition.asia/dm 2/422.3 命题演算的假设推理系统 ——自然推理系统一、扩充的推理规则二、假设推理过程三、推理定理四、假设推理证明定理的方法2.3.1 假设推理系统的组成 3/42一、扩充的推理规则记R： A1，A2，…，An ├ B称B是由 A1，A2，…，An实施规则R而得。设有重言式： (A1 ? A2 ? … ? An)? B A1 前提 A2 前提 … … An 前提 B 结论规则R：在假设推理系统中的重言式既可以是公理系统中的公理及定理，也可以是利用真值表法验证的等值公式。 4/42肯定前提律（化简） P ∧ Q 前提 P 结论推理的有效性由公理(8)所保证。一般地， A1，A2，…，An ├ Ai (i=1，2，…，n)即前提中的任何命题均可作为结论。 5/42置换(替换)任何命题公式都可以用与之等值的命题公式置换。如果A=B，则 A ┣ B例 P┣ ? ?P ??P┣ P P?Q ┣ ?P∨Q P∨Q ┣ ?P?Q 6/42析取三段论 P ∨ Q 大前提 ?P 小前提 Q 结 论推理的有效性由永真公式：((P ∨ Q)??P)?Q所保证。 7/42拒取规则 P ? ?Q 前提 Q 前提 ? P 结论推理的有效性由公理11：(P ? ? Q)?(Q ? ?P)所保证。 8/42二、假设推理过程定义: 如果能够作出一系列合式公式序列 A1，A2, A3, …，An，它们满足下列性质：(1) 诸Ai或为公理/定理之一(可以使用代入规则)；(2) 或为公式?1, ?2, …,?k之一(对假设?i不能代入)；(3) 或由前面的Ag、Ah利用分离规则而得；(4) An=B。称这个公式序列A1，A2, …，An为由公式 ?1， ?2， …，?k证明B的证明过程。?1， ?2， …，?k├ B 9/42三、推理定理 附加前提推理定理(CP规则) 如果 Γ，A├B，则 Γ├A?B Γ ? (A?B)与 (Γ∧A) ? B同真假 10/42附加前提推理定理如果 A1，A2，… ，An-1 ，An，A├B，则 A1，A2，… ，An-1 ，An├ A?B进而，有下面定理： A1，A2…，An-1├ An ? (A?B) A1，A2，…，An-2├ An-1 ? (An ? (A?B))依次类推可得定理： ├ A1?(A2?(…?(An?(A?B))…)) 11/42四、 反证律如果 Γ，?A├ B 且 Γ，?A├ ?B这里B是一个公式。 则有: Γ├ A。 12/42五、假设推理证明定理的方法 把待证公式的前件一一列出，注明为假设或前提。按推理规则进行推理，但此时不能对假设以及演绎公式实施代入规则。(3) 当推导出待证公式的后件时，就完成了该定理的证明。附加前提推理证明方法 13/42反证法(1) 把待证公式的前件一一列出，把待证公式的后件的否定列出，注明为假设或前提。(2) 按推理规则进行推理，但此时不能对假设以及演绎公式实施代入规则。(3) 当推导出两个矛盾的结论时，就完成了该定