归结原理是怎样的？？？

归结原理是怎样的？？？

归结原理是一种推理规则。从谓词公式转化为子句集的过程中看出，在子句集中子句之间是合取关系，其中只要有一个子句不可满足，则子句集就不可满足。若一个子句集中包含空子句，则这个子句集一定是不可满足的。归结原理就是基于这一认识提出来的。
他的原理就是：
P->Q,Q->R 则 P->R
由于 P->Q 就是 ￢P∨Q
而 Q->R 就是 ￢Q∨R
所以，他相当于将Q 和 ￢Q合并。也就是说，
P∨{∑1} 与 ~P∨{∑2}
可以归结为 {∑1}∨{∑2}
其中∑1,∑2是文字的集合

将普通形式逻辑中充分条件的假言联锁推理形式符号化，并向一阶谓词逻辑推广的一种推理法则，又称归结法则、分解法则、消解法则。...