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

公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。

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

公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。

∀x∀y（¬P（x）∨Q（y））（或∀x∀y（P（x）→Q（y）））

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

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

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

分享给朋友：

返回列表

上一篇：阅读下列程序，写出程序运行的输出结果。
voidmain()
{intm，n，i；
m=n=i=4；
do{n+=1；／*n自加1*／
i--；／*i自减1*／
m-=n；／*m=m-n*／
}while(i>0)；／*i>0为循环的判断条件*／
prinff("％d，％d，％d＼n"，i，n，m)；
}

下一篇：宋朝出现的“义庄”，是一种财产（）