一阶谓词逻辑表示法

一阶谓词逻辑表示法

命题

一个非真即假的陈述句

谓词

一般形式：P(X1, X2, ..., Xn)

P是谓词名，X是个体

个体可分为：

1. 个体是常量：
2. 个体是变元：
3. 个体是函数：（个体到另一个体的映射）
4. 个体是谓词：

谓词公式

连接词

合取 ∧ （与）

析取 ∨ （或）

否定 ﹁（非）

蕴含 →（若...则）

等价 ↔ （当且仅当）

量词

全称量词 ∀x

存在量词 ∃x

量词的辖域

即位于量词后面的单个谓词或者用括弧括起来的谓词公式

约束变元：辖域内

自由变元：辖域外