5.2.2命题逻辑中的归结原理 定义设C1,C2是命题逻辑中的两个子句,C1 中有文字L1,C2中有文字L2,且L1与L2互补,从 C1,C2中分别删除L1,L2,再将剩余部分析取起来, 记构成的新子句为C12,则称C12为C1,C2的归结 式(或消解式),C1,C2称为其归结式的亲本子句 L1,L2称为消解基 例59设C1=- PVOVR,C2=-QVS,则 C1,C2的归结式为 PVRVS5.2.2 命题逻辑中的归结原理 定义 设C1,C2是命题逻辑中的两个子句,C1 中有文字L1,C2中有文字L2,且L1与L2互补,从 C1,C2中分别删除L1,L2,再将剩余部分析取起来, 记构成的新子句为C12,则称C12为C1,C2的归结 式(或消解式),C1,C2称为其归结式的亲本子句, L1,L2称为消解基。 例5.9 设C1= ﹁ P∨Q∨R, C2= ﹁ Q∨S, 则 C1,C2的归结式为 ﹁ P∨R∨S