本章节的大部分内容与离散数学的命题、谓词两章重合。
假言推理的合式公式形式
| 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
归结过程如下：
归结结果为空，结论超重得证。
