对于任一个公式G，都可以通过Skolem标准形，标准化建立起一个子句集与之相对应。因为子句不过是一些文字的析取，是一种比较简单的形式，所以对G的讨论就用对子句集S的讨论来代替，以便容易处理。 　　子句集S可由下面的步骤求取： 　　1. 谓词公式G转换成前束范式 　　2. 消去前束范式中的存在变量，略去其中的任意变量，生成SKOLEM标准形 　　3. 将SKOLEM标准形中的各个子句提出，表示为集合形式 　　教师提示：为了简单起见，子句集生成可以理解为是用"，"取代SKOLEM标准形中的"Λ"，并表示为集合形式 。 　　注意：SKOLEM标准形必须满足合取范式的条件。即，在生成子句集之前逻辑表达式必须是各"谓词表达式"或"谓词或表达式"的与。