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

谓词公式∃xF(x,y)⋀∀yG(x,y)中,变元y属于
A、约束变元
B、既是自由变元也是约束变元
C、自由变元
D、既不是自由变元,也不是约束变元
【正确答案】：B