§4.3归结演绿推理 1子句 (1)文字：原子调词公式及其否定 定义1：任向文字的析取式称为子句 定义2：不包含任何文字的子句称为空子句， 空子句是永假的 (2)由子句构成的集合称为子句集，调词公式 化成子句集的步骤 ①利用等价关系消去谓词公式中的→或 PQ台PvQ PQ台(PAQ)V(-PA-Q)§4.3 归结演绎推理 1 子句 (1)文字：原子谓词公式及其否定 定义1:任何文字的析取式称为子句 定义2:不包含任何文字的子句称为空子句， 空子句是永假的 (2)由子句构成的集合称为子句集，谓词公式 化成子句集的步骤 ①利用等价关系消去谓词公式中的→或 P→QPQ PQ(PQ)(PQ)