 [课堂练习] |
|
4、
|
对于公式( z)( y){(x)P(x,y,z)∨(q)(w)(e)Q(q,w,e,z)}，在经过消去存在量词后，正确的公式为: |
|
A (y){P(B,y,A)∨(w)Q(C,w,D,A)} |
|
B (y){P(B,y,A)∨(w)Q(C,w,g(w),A)},g(w)为一Skolem函数
|
|
C (y){P(g1(y),y,A)∨(w)Q(g2(y),w,g3(y),A)}, g1(y),g2(y),g3(w)为Skolem函数
|
|
D (y)P(g1(y),y,A)∨(w)Q(g2(y),w,g3(y,w),A)}, g1(y),g2(y),g3(y,w)为Skolem函数 |
|
(本题您已经做了，答案为D，在此仅供复习用,不能再计分!)
|