关于谓词逻辑，下列描述正确的是（）A、紧接于量词之后被量词作用的谓词公式称为该量词的辖域B、在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元C、仅个体变元被量化的谓词成为一阶谓词D、个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词-易过题库-题库最全的搜题网站