谓词公式(x)(P(x))→(z)Q(x，z)∧(y)R(x，y)中变元y()A既是自由变元又是约束变元B是自由变元但不是约束变元C既不是自由变元又不是约束变元D是约束变元但不是自由变元