定义2对一个谓词公式G,通过以下步骤所得的 子句集合S,称为G的子句集 1)消去蕴含词→和等值词 (2)缩小否定词一的作用范围,直到其仅作用于原子公式。 (3)适当改名,使量词间不含同名指导变元和约束变元。 (4)消去存在量词。 (5)消去所有全称量词。 (6)化公式为合取范式。 (7)适当改名,使子句间无同名变元。 (8)消去合取词∧,以子句为元素组成集合S定义2 对一个谓词公式G，通过以下步骤所得的 子句集合S，称为G的子句集。 (1)消去蕴含词→和等值词←→ 。 (2)缩小否定词﹁的作用范围，直到其仅作用于原子公式。 (3)适当改名，使量词间不含同名指导变元和约束变元。 (4)消去存在量词。 (5)消去所有全称量词。 (6)化公式为合取范式。 (7)适当改名，使子句间无同名变元。 (8)消去合取词∧，以子句为元素组成集合S