谓词公式是由原子公式、逻辑连接词、量词和圆括号等组成的符号串,命题逻辑中的命题公式仅是它的特例,所以命题逻辑包含于谓词逻辑中。
举一反三
- 谓词公式是指无论是命题逻辑还是谓词逻辑，可以利用连接词把 一些简单的命题连接起来构成一个合命题，表示一个比较复杂的含义。
- 关于谓词逻辑说法错误的是() A: 谓词逻辑中简单命题被分解成个体词和谓词 B: 谓词逻辑可以解决命题逻辑解决不了的“苏格拉底三段论“问题” C: 量词有全称量词和存在量词 D: 谓词逻辑的可以解决悖论的问题
- 一阶谓词逻辑将原子命题分解为( )词和谓词。
- 谓词逻辑中，原子命题是最小单位。
- 命题逻辑用符号表示命题，通过逻辑符号连接命题得到复合命题，从而实现知识表示，但命题逻辑的局限性有那些？ A: 缺少逻辑符号 B: 对不同命题的共同特征缺少描述手段 C: 缺少逻辑描述 D: 不能表达整个命题