定理2归结式是其亲本子句的逻辑结果。 由定理2即得推理规则: C1∧C2冰=>(C1-{L1})U(C2-{L2)) 其中C1,C2是两个子句,L1,L2分别是C1C2中的文字, 且L1,L2互补。 此规则就是命题逻辑中的归结原理。定理2 归结式是其亲本子句的逻辑结果。 由定理2即得推理规则： C1∧C2＝＞ (C1-｛L1｝)∪(C2-｛L2｝) 其中C1,C2是两个子句，L1,L2分别是C1,C2中的文字， 且L1,L2互补。 此规则就是命题逻辑中的归结原理。 