注：那个倒三角是倒着的A,我实在打不出来……
问题描述：
注：那个倒三角是倒着的A,我实在打不出来……
在谓词公式(▽x)(A(x)→B(x) v C(x,y))中,（ ）．
A.x,y都是约束变元
B.x,y都是*变元
C.x是约束变元,y都是*变元
D.x是*变元,y都是约束变元
希望大侠们给出答案后稍微说下原因
答
量词后的变元如"(▽x),Ey中的x,y称为量词的指导变元(或作用变元),而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元,其他变元(如果有的话)称为*变元
(▽x)的管辖区域是A(x)→B(x),因此X是约束变元,区域C(x,y)中y是*变元