下列式子不是谓词合式公式的是
A.(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
B.(∀x)(∀y)P(x,y)⋁Q(x,z)⋀(∃x)P(x,y)
C.
D.(∃x)P(x)⋀Q(y,z)
正确答案是C
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。
本文链接:https://doc.20230611.cn/post/430172.html
上一篇:下列各项费用中,计入产品成本的是()
下一篇:定值保险的被保险人有可能获得超过实际损失的赔偿。