2 海伯伦理论

点击看详解
定理1：子句集S不可满足的充要条件是S对H域上的一切解释都为假。
定理2：子句集不可满足的充要条件是存在一个有限的不可满足的集子句集s’。该定理称为海伯伦定理
3 鲁宾逊归结定理：（又称消解原理）
(1)基本思想：检查子句集s中是否包含空子句，若包含则s不可满足；若不包含，就在子句集中选择合适的子句进行归结，一旦通过归结能推出空子句，就说明子句集s是不可满足的。
定义：若p是原子谓词公式，则称p与非p为互补文字。
(2)命题逻辑中的归结原理
定义：设C1与C2是子句集中的任意两个子句，如果C1中的文字L1与C2种的文字L2互补，那么从C1和C2中分别消去L1和L2,并将两个子句中余下的部分析取，构成一个新子句C12，则称这个过程为归结，称C12为C1和C2的归结式，称C1和C2为C12的亲本子句。