推理1:设C1与C2是子句集S中的两个子句，C12是它们的归结式，若用C12代替C1和C2后得到新子句集S1,则由S1的不可满足性，可推出原子句集S的不可满足性，即S1的不可满足性=>S的不可满足性
推理2：设C1与C2是子句集S中的两个子句，C12是它们的归结式，若把C12加入S中，得到新子句集S2,则S与S2在不可满足的意义上是等价的。即S2的不可满足性<=>S的不可满足性
(3)谓词逻辑中的归结原理
需要首先对变元进行代换，然后才能进行归结
 
   
 点击看详解
 点击看详解