请在 下方输入 要搜索的题目:

(∃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-08-02 18:49:21
推荐参考答案 ( 由 快搜搜题库 官方老师解答 )
联系客服
答案:(∀y)P(g1(y),y, A)∨(∀w)Q(g2(y),w,g3(y,w),A)}
专业技术学习
专业技术学习
搜搜题库系统