谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。

分类: 离散数学(02324) 发布时间: 2024-08-03 23:48 浏览量: 4
谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。
A、自由变元
B、约束变元
C、既不是自由变元,也不是约束变元
D、既是自由变元又是约束变元
【正确答案】:D