对于公式(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z),下列说法正确的是（）

对于公式(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z),下列说法正确的是（）
A、y是自由变元
B、x是约束变元
C、(∀x)的辖域是(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
D、(∀x)的辖域是P(x,y)
【正确答案】：A

↑