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

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


【正确答案】：约束变元为x,z;自由变元为y。
【题目解析】：受量词指导的变元为约束变元。