【单选题】仅个体变元被量化的谓词称为
A. 一阶谓词 B. 原子公式 C. 二阶谓词 D. 全称量词
A. 一阶谓词 B. 原子公式 C. 二阶谓词 D. 全称量词
举一反三
- 关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
- 全称量词和存在量词仅针对谓词支配的实体，不针对谓词本身，称为： A: 一阶谓词 B: 低阶谓词 C: 原子公式 D: 高阶谓词
- 【多选题】谓词中的个体,可以是()。 A. 常量 B. 变元 C. 函数 D. 谓词
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词辖域中与该量词的指导变元相同的变元称为（ ），其它变元称为（ ）
- 全称量词和存在量词仅针对谓词支配的实体，不针对谓词本身，称为（ ）：