公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。
∀x∀y(¬P(x)∨Q(y))(或∀x∀y(P(x)→Q(y)))
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。
本文链接:https://doc.20230611.cn/post/430129.html
上一篇:当需要撤销一个用户的权限、而又不希望将该用户从系统中删除的语句是
下一篇:发展中国家引进外资的主要渠道有()