设论域的元素为a和b,则由消去量词可得∀xA(x)⋀∃yB(y)⇔()。

作者:高老师 浏览 1

设论域的元素为a和b,则由消去量词可得∀xA(x)⋀∃yB(y)⇔()。
【正确答案】:(A(a)⋀A(b))⋀(B(a)⋁B(b))

📱 扫码体验刷题小程序

微信小程序二维码

扫一扫使用我们的微信小程序

热门题目

已复制到剪贴板