全称量词和存在量词仅针对谓词支配的实体，不针对谓词本身，称为：
A: 一阶谓词
B: 低阶谓词
C: 原子公式
D: 高阶谓词
A: 一阶谓词
B: 低阶谓词
C: 原子公式
D: 高阶谓词
举一反三
- 全称量词和存在量词仅针对谓词支配的实体，不针对谓词本身，称为（ ）：
- 【单选题】仅个体变元被量化的谓词称为 A. 一阶谓词 B. 原子公式 C. 二阶谓词 D. 全称量词
- 关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
- 关于谓词逻辑说法错误的是() A: 谓词逻辑中简单命题被分解成个体词和谓词 B: 谓词逻辑可以解决命题逻辑解决不了的“苏格拉底三段论“问题” C: 量词有全称量词和存在量词 D: 谓词逻辑的可以解决悖论的问题
- 在全称量词的描述中,特性谓词是条件式的前件,在存在量词中,特性谓词后跟一个合取项