|
上承
（5）将公式化为前束形。上例的前束形为
("x)("w){{[P(x)ÙQ(x)Ú[S(x,f(x))ÙQ(x)]}Ù[P(w)ÚB(w)]}
（6）把母式化为合取范式。上例可以转化为
("x)("w){[P(x)Ú[S(x,f(x))]ÙQ(x)Ù[P(w)ÚB(w)]}
（7）略去全称量词。由于公式中所有的变量都是全称量词量化的变量，因此可以把全称量词省略，母式中的变量仍然认为是全称量词量化的变量。
（8）把母式用子句集表示，即把子句的合取表示成子句的集合，意义不变。上例的子句形式可以表示成
P(x)Ú[S(x,f(x))
Q(x)
P(w)ÚB(w)
（9）子句变量标准化，即重新命名变量，使每个子句中的变量符号不同，这是由于合式公式的性质
("x)[P(x)ÙQ(x)]≡("x)P(x)Ù("y)Q(y)
上面的子句形式可以转化为
P(x)Ú[S(x,f(x))
Q(x)
P(w)ÚB(w)
在用归结原理进行推理时，总是先把公式集化为子句集。可以证明，如果公式X遵从公式集S，则X逻辑上也应遵从由S转变为子句形式得到的子句集。因此，用子句表示公式是一个完备的一般形式。
习题
1、证明($z)("x)[P(x)®Q(z)]同($z)($x)[P(x)®Q(z)]是等价的。
2、化下列公式成子句形式：
(1)Ø("x){P(x)®{[("y)[P(y)®P(f(x,y))]ÙØ("y)[Q(x,y)®P(y)]}}
(2)("x)("y){[P(x,y)®Q(y,x)]Ù[Q(y,x)®S(x,y)]}®($x)("y)[P(x,y)®S(x,y)]
返回
|