(∃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)};
C、(∀y){P(g1(y),y,A)∨(∀w)Q(g2(y),w,g3(y),A)};
D、(∀y)P(g1(y),y,A)∨(∀w)Q(g2(y),w,g3(y,w),A)}
发布时间:2025-09-29 01:00:18