关于谓词逻辑，下列描述正确的是（）
A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C: 仅个体变元被量化的谓词成为一阶谓词
D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C: 仅个体变元被量化的谓词成为一阶谓词
D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
举一反三
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元。（)
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词辖域中与该量词的指导变元相同的变元称为（ ），其它变元称为（ ）
- 【单选题】仅个体变元被量化的谓词称为 A. 一阶谓词 B. 原子公式 C. 二阶谓词 D. 全称量词
- 在下列关于谓词公式的描述中，错误的是（ ）。 A: 在一个谓词公式中，一个变元若是约束的，就不可以是自由的。 B: 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。 C: 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。 D: 在谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。
- 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。