##### 谓词逻辑 - 谓词逻辑 - **谓词逻辑**是[[经典逻辑]]的一个分支, 也称为一阶逻辑, 扩展了[[命题逻辑]]的表达能力. 它通过引入谓词和量词, 能够描述命题的内部结构和个体之间的关系, 适用于更复杂的推理. 变量是指一个可以表示任意元素或值的符号, 谓词是一个用于描述某些元素性质的符号, 量词用于约束变量在论域中的范围, 主要是全称量词 $\forall$ 和存在量词 $\exists$, 量词可以嵌套. 具有[[合式公式]]和[[推理规则]]. 谓词演算是谓词逻辑的形式化 - 变量 $x$ 可以表示所有数字 - 谓词 $P(x)$ 可以表示 $x$ 是偶数, 其中 $P$ 是谓词, 若 $x=1$, 则 $P(x)=F$ - 量词 $\forall xP(x)$ 表示论域中所有 $x$ 都满足 $P(x)$ - 量词 $\exists xP(x)$ 表示论域中存在 $x$ 满足 $P(x)$