公式 的约束变元为___________，自由变元为________________。

公式 的约束变元为___________，自由变元为________________。


【正确答案】：x，z；y
【题目解析】：凡是受到∃和∀限制的叫做约束变元，其他的微自由变元。