设论域的元素为a和b,则由消去量词可得∀xA(x)⋀∃yB(y)⇔()。
(A(a)⋀A(b))⋀(B(a)⋁B(b))
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。
本文链接:https://doc.20230611.cn/post/430282.html
上一篇:不服地方人民法院第一审民事判决的,有权提出上诉的是()
下一篇:下列作品中,为悼念晴雯而作的是______