基子句的归结

    没有变量的子句称为基子句，我们先来讨论基子句的归结问题。设有两个基子句

        P1∨P2∨...∨Pn

和    

        ØP1∨Q2∨...∨Qm

其中所有的Pi和Qi都是不同的。这两个子具有一个互补的文字，从这两个子句可以推断出一个新的子句，称为它们的归结式

       P2∨P3∨...∨Pn∨Q2∨...∨Qm

    这个结论很容易证明：设P1为假，因为P1∨P2∨...∨Pn为真，故P2、...、Pn之中必有一个为真。设P1为真,则ØP1为假，由于 ØP1∨Q2∨...∨Qm为真，故Q2、...、Qm之中必有一个为真。所以P2∨P3∨...∨Pn∨Q2∨...∨Qm必为真。

　                                 返回