当前位置：首页 >
离散数学(02324) > 正文内容
下列谓词公式中,不是 前束范式的为
下列谓词公式中,不是 前束范式的为
A.∀x∀y(A(x)→B(y))
B.∀x∃y(A(x)⋀B(y))
C.∀x∃y(A(x)⋀B(y)→C(z))
D.∀x∃y(A(x)⋀B(y)→∃zC(z))
正确答案是D
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。