当前位置:首页 > 离散数学(02324) > 正文内容

¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。

高老师2年前 (2024-03-26)离散数学(02324)12

¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。

∃x∀y¬(F(x,u)ⅤG(v,y))

扫描二维码免费使用微信小程序搜题/刷题/查看解析。

版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。

本文链接:https://doc.20230611.cn/post/430131.html

分享给朋友:
返回列表

上一篇:人身权属于()

下一篇:命题画