(9)、消去合取词入,以子句为元素组成的 集合称为谓词公式的子句集 例、把谓词公式∨x{yP(xy)→> √yQ(xy))R(xy)化为子句集。 定理1谓词公式G不可满足当且仅当其子句 集S不可满足。子句集S是不可满足的是指其 全部子句的合取式是不可满足的。（9）、消去合取词 ，以子句为元素组成的 集合称为谓词公式的子句集。 例、把谓词公式x{yP(x,y) → y[Q(x,y)→R(x,y)]}化为子句集。 定理1 谓词公式G 不可满足当且仅当其子句 集S不可满足。子句集S是不可满足的是指其 全部子句的合取式是不可满足的