DOC《摔擒遭梆？》

#172;

P(x, y)∨Q(x, y)) 此公式已为Skolem标准型. 再消去全称量词得子句集: S= &

#172;

P(x, y)∨Q(x, y) (3) 对谓词公式( x)( y)(P(x, y)∨(Q(x, y)→R(x, y))),先消去连接词 → 得: ( x)( y)(P(x, y)∨(&

#172;

Q(x, y)∨R(x, y))) 此公式已为前束范式. 再消去存在量词,即用Skolem函数f(x)替换y得: ( x)(P(x, f(x))∨&

........