[单选题,6.6分] 谓词公式( x)(P(x,y)→( z)Q(x,z)∧( y)R(x,y)中变元x( )
A.是自由变元但不是约束变元
B.既不是自由变元又不是约束变元
C.既是自由变元又是约束变元
D.是约束变元但不是自由变元

---