问答题

案例分析题

指出下列公式中的约束变元和自由变元

(∀x)(P(x)→Q(y))

【参考答案】