找考题网-背景图
单项选择题

A.既是自由变元又是约束变元B.是自由变元但不是约束变元C.既不是自由变元又不是约束变元D.是约束变元但不是自……

谓词公式(∀x)(P(x))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元y()。

A.既是自由变元又是约束变元
B.是自由变元但不是约束变元
C.既不是自由变元又不是约束变元
D.是约束变元但不是自由变元