计算机选择题标准

自由变元与约束变元 — 计算机选择题

离散数学（大学通用）谓词逻辑 AI 三重审校通过

题目

设公式 φ = ∀x(P(x,y) → ∃y(Q(x,y) ∧ R(y,z))) ∧ T(x,y)。按变元出现位置判断，φ 的自由变元集合与约束变元集合分别是哪一组？ A. {y,z}；{x,y}　B. {x,y,z}；{x,y}　C. {x,y,z}；{x}　D. {z}；{x,y}