题目内容
（请给出正确答案）
[单选题]
谓词公式∃xF（x,y) ∧∀yG（x,y) 中,变元y属于（)。
A.约束变元
B.既是自由变元,也是约束变元
C.自由变元
D.既不是自由变元,也不是约束变元
单选题，请选择你认为正确的答案：
提交
查看答案
如搜索结果不匹配，请 联系老师 获取答案
A.自由变元
B.约束变元
C.既是自由变元又是约束变元
D.既不是自由变元又不是约束变元
更多“谓词公式∃xF（x,y) ∧∀yG（x,y) 中,变元y属于…”相关的问题
中y是自由变元。（）此题为判断题(对，错)。第4题
关于谓词逻辑，下列描述正确的是（）。
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
