如果结果不匹配，请 
更多“对下列谓词公式中的约束变元进行换名。”相关的问题
第5题
关于谓词逻辑，下列描述不正确的是（)
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为多阶谓词
第6题
谓词公式F（x，y，z)→∀x∃yG（x，y，z)中的变元x（)。
A.既不是自由变元又不是约束变元
B.是约束变元但不是自由变元
C.是自由变元但不是约束变元
D.既是自由变元又是约束变元
第9题
根据谓词和变元之间不同的语义关系，可以把变元分为若干个类型，这种变元的类型一般称为()。
根据谓词和变元之间不同的语义关系，可以把变元分为若干个类型，这种变元的类型一般称为（)。
点击查看答案
