|
2.2.2 子句与子句集
不含有任何联结词的谓词公式叫原子公式，而原子或原子的否定统称文字。
规定子句就是一些文字的析取。如
P(x)∨～Q(x ,y), ～P(x ,c)∨R(x ,y ,f(x))
都是子句。
由于G的SKOLEM标准形的母式已为合取范式，从而母式的每一个合取项都是一个子句，于是可以说母式是由一些子句的合取组成的。
将G的已消去存量词的SKOLEM标准，再略去全称量词，最后以，代替合取符号∧，便得G的子句集S。
例 G＝(
x)(
y)(z)((～P(x
,y)∨R(x ,y ,z))∧(Q(x ,z)∨R(x ,y ,z)))的 SKOLEM 标准形为(
x)((～P(x
,f(x))∨ R(x,f(x),g(x)))∧(Q(x ,g(x))∨R(x ,f(x),g(x))))而G的子句集 S＝{～P(x,f(x))∨R(x ,f(x),g(x)),Q(x ,g(x))∨R(x ,f(x),g(x))}
子句集S中的变量，都认为是由全称量词约束着，子句间是合取关系。由于
(
x)(P(x)∧Q(x))
=(x)P(x)∧(x)Q(x))也可以说每个子句中的变量都是由全称量词作用的。对于任一公式G，都可通过SKOLEM,标准化建立起子句集与之对应。而子句只不过是一些文字的析取，这是很简单的形式，十分容易处理。
凡对G的讨论将以对S的讨论来代替，因为S是一种简单的标准化形式。