填空题
公式（∀x）R（x）→Q（y）中，x 是（）出现，y 是（）出现。
【参考答案】
x 是全称量词（∀）下自由出现，y 是存在量词下约束出现。解释：在逻辑公式中，变量的出现可以是自由的也可以是约束的。自由......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
