当前位置：首页 >
离散数学(02324) > 正文内容
对于公式(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z),下列说法正确的是（）
对于公式(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z),下列说法正确的是（）
A.y是自由变元
B.x是约束变元
C.(∀x)的辖域是(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
D.(∀x)的辖域是P(x,y)
正确答案是A
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。