数理逻辑课件 第8节 消解法.pptVIP

2 命题逻辑中的归结原理 定理2 归结式是其亲本子句的逻辑结果。 证明：设C1= L ? C1’，C2 = ? L ? C2’ 其中C1’、C2’都是文字的析取式。 则C1 C2的逻辑结果为 C1 = C1 ’? L= ? C1’→ L C2 = ? L ? C2’= L → C2’ 由假言三段论得： C1 ∧ C2 = （? C1’→ L） ∧ （ L → C2’） = ? C1’→ C2’ = C1’? C2’ 则C1 C2的归结式为 C1’? C2’ 命题逻辑中的归结原理： 2 命题逻辑中的归结原理 利用归结原理证明命题公式的思路 先求出要证明的命题公式的否定式的子句集S； 然后对子句集S（一次或者多次）使用归结原理； 若在某一步推出了空子句，即推出了矛盾，则说明子句集S是不可满足的，从而原否定式也是不可满足的，进而说明原公式是永真的。 2 命题逻辑中的归结原理 推出空子句就说明子句集不可满足，原因是： 空子句就是F，推出空子句就是推出了F。 由归结原理可知 ：L ∧? L ＝NIL 另外我们知道：L ∧? L ＝F（假），也就是 NIL F 归结原理是正确的推理形式，由正确的推理形式推出了