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

谓词公式∀x(F(x)⋀G(y))→∃y(H(x)→S(y,z)中量词∀x的辖域是

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

谓词公式∀x(F(x)⋀G(y))→∃y(H(x)→S(y,z)中量词∀x的辖域是

A.F(x)⋀G(y)

B.F(x)

C.∀x(F(x)⋀G(y))

D.F(x), H(x)

正确答案是A

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

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

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

分享给朋友: