谓词公式∃xF(x,y)⋀∀yG(x,y)中,变元y属于

分类: 离散数学(02324) 发布时间: 2024-08-03 23:54 浏览量: 1
谓词公式∃xF(x,y)⋀∀yG(x,y)中,变元y属于
A、约束变元
B、既是自由变元也是约束变元
C、自由变元
D、既不是自由变元,也不是约束变元
【正确答案】:B