在下列各式中，哪些是指导变项？x，y，z的哪些出现是自由的？哪些出现是约束的？

（1）∀y（F（x，y）→G（y，a））
（2）∀xF（x）→∀zG（x，y，z）
（3）F（z）→（¬∀x∀yG（x，y，z））   

【参考答案】

（1）y是指导变项，它的两次出现均为约束的；x是自由的。
（2）x是指导变项，z是指导变项；第一个x是约束的，第......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)