【注：那个倒三角是倒着的A,我实在打不出来……在谓词公式(▽x)(A(x)→B(x)vC(x,y))中,（）．A.x,y都是约束变元B.x,y都是自由变元C.x是约束变元,y都是自由变元D.x是自由变元,y都是约束变元希望】

　　注：那个倒三角是倒着的A,我实在打不出来……

　　在谓词公式(▽x)(A(x)→B(x)vC(x,y))中,（）．

　　A.x,y都是约束变元

　　B.x,y都是自由变元

　　C.x是约束变元,y都是自由变元

　　D.x是自由变元,y都是约束变元

　　希望大侠们给出答案后稍微说下原因