对于公式((x)((y)(P(x)∧Q(y))→((x)R(x,y),下列说法正确的是
A.y是自由变元 B.y是约束变元 C.((x)的辖域是R(x,y) D.((x)的辖域是((y)(P(x)∧Q(y))→((x)R(x,y)
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。