紧接于量词之后最小的子公式称为量词的辖域（或作用域）
举一反三
- 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元。（)
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词辖域中与该量词的指导变元相同的变元称为（ ），其它变元称为（ ）
- 量词的约束范围称为量词的( )。 A: 定义域 B: 个体域 C: 辖域 D: 值域
- 关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词