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