= 归结原理 =

'''归结原理'''是一种[[推理]]规则。从[[谓词]]公式转化为[[子句]]集的过程中看出，在子句集中子句之间是[[合取]]关系，其中只要有一个子句不可满足，则子句集就不可满足。若一个子句集中包含空子句，则这个子句集一定是不可满足的。归结原理就是基于这一认识提出来的。

他的原理就是：
　　P->Q, Q->R 则 P->R
　　由于 P->Q 就是 ~P∨Q
　　而 Q->R 就是 ~Q∨R
　　所以，他相当于将Q 和 ~Q合并。也就是说，
　　P∨{∑1} 与 ~P∨{∑2}
　　可以归结为 {∑1}∨{∑2}
　　其中∑1,∑2是[[文字]]的集合