4、归结：
a、与命题逻辑相比，有一个置换的过程
b、这k+n个元素中至少有两个为真，其中l有一个，m有一个
c、因为li和！mj是一致的，在θ下是可置换的，所以在θ置换下，删除这两个元素之后，结果依然为真
d、举例：
e、步骤：
①、CNF化，将知识库中的所有知识转换为CNF
②、KB（知识库）和否a（结论）进行消元
③、如果得到空，证明KB可推出a
④、如果不为空，证明KB不可推出a
f、证明过程：
上文的题目
首先，将知识库中的规则全转换为合取范式
然后，找到第一条规则：
然后，进行子句的消元，将确定的变量进行置换（如果为空，则说明不可满足。）
然后，再与其余结果进行消元，将确定的变量进行置换
得到：
继续进行，直到不能再进行消元
如果最终的结果为空，说明原合取范式不可满足
g、归结能够证明语句之间的蕴涵关系，但不能够产生所有蕴含的语句。
