未分类题

公式中自由变元是什么?约束变元是什么?

公式
(1)(Ax)(R(x)→(Ez)F(x,z))
(2)(Ex)P(y)
(3)(Ax)R(x)∧Q(x)
中自由变元是什么?约束变元是什么?

【参考答案】

(1)无自由变元,约束变元为x,z(2)自由变元为y(3)x既是约束变元,又是自由变元