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

2 命题逻辑中的归结原理 归结原理的提出 要证明 Q1 ∧Q2 ∧… → P 的有效性 可试图证明?（ Q1 ∧Q2 ∧… → P ）的不可满足性 即： ? （ ? (Q1 ∧Q2 ∧… ) ? P） 即： Q1 ∧Q2 ∧… ∧ ? P的不可满足性 2 命题逻辑中的归结原理 定义4 设L为一个文字，则L与?L为互补文字。 定义5 设C1， C2是命题逻辑中的两个子句， C1中有文字L1 ，C2中有文字L2 ，且L1与L2互补， 从C1 、 C2中分别删除L1 、L2 ， 再将剩余部分析取起来， 记构成的新子句为C1 2，则C1 2为C1 、 C2的归结式， C1 、 C2称为其归结式的亲本子句， 称L1 、L2 为消解基。 例3 设 ，则C1 、 C2的归结式为： 2 命题逻辑中的归结原理 定理2 归结式是其亲本子句的逻辑结果。 证明：设C1= L ? C1’，C2 = ? L ? C2’ 其中C1’、C2’都是文字的析取