本章节的大部分内容与离散数学的命题、谓词两章重合。

假言推理的合式公式形式

R,R→P⇒P

R,¬R∨P⇒P

链式推理 

R→P,P→Q⇒R→Q

¬R∨P,¬P∨Q⇒¬R∨Q

互补文字：P和¬P 

亲本子句：含有互补文字的子句 ¬R∨P,¬P∨Q为亲本子句

注意：

• 必须化成析取范式才能归结
• 子句之间的逻辑关系是合取关系
• （子句间合取，子句内析取）

可以通过把给定条件与待证结果的非进行合取，若归结结果为空，则得证，如：

已知规则：如果机器人有电，并且货物没有超重，则机器人可以移动货物。

现在已知：机器人有电，且机器人无法移动货物

求证：货物超重

证明过程：

定义 电池有电为BatteryOk，货物超重为OverWeight，机器人能够移动货物为Move。

我们可以列出

1.

已知条件 Battery_Ok，¬Move

2.

已知规则 BatteryOk∧¬OverWeight→Move =¬(BatteryOk∧¬OverWeight)∨Move =¬BatteryOk∨OverWeight∨Move

3.

结论：OverWeight 结论的非为¬OverWeight

归结过程如下： 

 归结结果为空，结论超重得证。