大学职业资格刷题搜题APP
创建自己的小题库
搜索
【单选题】
(∃z)(∀y){(∃x)P(x,y,z)∨(∃q)(∀w)(∃e)Q(q,w,e,z)} 在消去存在量词后，正确的为( )。
A.
(∀y){P(g1(y),y, A)∨(∀w)Q(g2(y),w,g3(y),A)}
B.
(∀y){P(B, y, A)∨(∀w)Q(C, w, g(w),A)}
C.
(∀y){P(B, y, A∨(∀w)Q(C, w, D, A)}
D.
(∀y)P(g1(y),y, A)∨(∀w)Q(g2(y),w,g3(y,w),A)}
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报
参考答案：
举一反三
【单选题】设个体域A={a,b} ,公式 ∧ 在 A 上消去量词为 ( )
A.
P(a)∧P(b)∧(S(a)∨S(b))
B.
P(a)∧S(b)
C.
P(a)∧S(a)∧P(a)∨S(b)
D.
P(x)∧S(x)
相关题目：
【单选题】设个体域A={a,b} ,公式 ∧ 在 A 上消去量词为 ( )
A.
P(a)∧P(b)∧(S(a)∨S(b))
B.
P(a)∧S(b)
C.
P(a)∧S(a)∧P(a)∨S(b)
D.
P(x)∧S(x)
参考解析：
题目纠错 0
发布
