离散数学——归结原理

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