第三章基于谓词逻辑的机器推理--32归结 演绎推理 321子句集 定义1原子谓词公式及其否定称为文字;文字的析取式 称为子句;r个文字组成的子句称为r文字子句。1-文 字子句也称为单元子句。不含任何文字的子句称为空 子句,记为或ML。由子句构成的集合称为子句集。 任何一个谓词公式都可以化为子句集,步骤如下: (1)、利用等价式A→B分AVB 和A分>B令(A→>B)∧(B→A)消去联结词“→”和 (2)、缩小否定联结词的作用范围,使其仅作用于 原子公式。可利用下列等价式:第三章 基于谓词逻辑的机器推理----3.2 归结 演绎推理 3.2.1子句集 定义1 原子谓词公式及其否定称为文字；文字的析取式 称为子句；r个文字组成的子句称为r-文字子句。1-文 字子句也称为单元子句。不含任何文字的子句称为空 子句，记为•或NIL。由子句构成的集合称为子句集。 任何一个谓词公式都可以化为子句集，步骤如下： （1）、利用等价式A → B  A B 和 A  B  (A → B) (B → A)消去联结词“ → ” 和 “  ”。 （2）、缩小否定联结词的作用范围，使其仅作用于 原子公式。可利用下列等价式：