一句话说清
命题逻辑看整句真假，谓词逻辑把句子拆成零件。
为什么值得懂
日常争论里最常见的一类错误，是把「有人赞成」当成「所有人都赞成」。命题逻辑治不了它——整句只能标真或假；谓词逻辑把句子拆成对象、性质、关系，再加上「所有」与「存在」两个量词，于是这两种说法在符号层面就分开了。数学定理几乎都写在这个格式里，数据库查询的语义也来自它。
零基础讲解
一、把句子拆成三样。 命题逻辑里 P 是不可拆的整体；谓词逻辑把「苏格拉底会死」写成 死(苏格拉底)：个体（对象）加谓词（性质）；「张三喜欢李四」写成 喜欢(张三, 李四)：二元谓词表达关系。拆开的价值在于跨句推理：同一套符号能复用。
二、量词。 ∀ 读作「对所有」，∃ 读作「存在」。「所有学生都交了作业」＝∀x（学生(x) → 交了作业(x)）；「有学生没交作业」＝∃x（学生(x) ∧ ¬交了作业(x)）。注意配对：全称配蕴含，存在配合取。这是翻译日常语言最容易翻错的一处：把全称写成合取，等于说世上所有东西都是学生。
三、否定的换位规则。 ¬∀x P(x) 等价于 ∃x ¬P(x)；¬∃x P(x) 等价于 ∀x ¬P(x)。用中文说：「并非所有人都交了作业」＝「有人没交作业」。这是德摩根律在量词上的版本，也是「反驳一个全称判断只需一个反例」的形式化写法。
四、为什么它是数学与数据库的地基。 数学定理的标准写法就是量词串：「对每个 ε>0，存在 δ>0……」；数列收敛、函数连续、群的定义，全是 ∀ 与 ∃ 的排列。数据库同理：查询条件（WHERE 里的比较与逻辑连接）就是谓词，关系演算从一阶逻辑借来语义——一条 SQL 语句可以读成「找出所有满足 P 的对象」。
边界与反例：量词顺序不能随便换。 「每个人的朋友都不同」在中文里就有歧义：∀x∃y F(y,x) 说的是「每个人各有一个朋友」，各人可以有各人的；∃y∀x F(y,x) 说的是「存在一个人，所有人都把他当朋友」。两者强弱完全不同，后者是前者的加强版，中文的同一句话却可以指两者。自然语言不带着括号，形式化的工作就是把它补上。
有争议： 主流观点是经典一阶谓词逻辑（含等词）构成数学与计算机科学的标准语言；争议在它的边界——斯坦福哲学百科全书在「量词与量化」条目里专设「如何理解二阶量化」一节：一派认为二阶量词仍属于逻辑，另一派认为它实际是伪装的集合论，两种立场至今没有共识。
一个例子
微积分的极限定义写作：∀ε>0 ∃δ>0，使得当 0<|x−a|<δ 时总有 |f(x)−L|<ε。把两个量词交换位置，就变成「存在一个 δ 对所有 ε 都管用」——那是强得多的要求，多数函数并不满足。同一个公式，只换一下顺序，就从「连续」变成「一致连续」。
常见误解
- 以为谓词逻辑只是命题逻辑换个写法：真正新增的是量词，没有它连三段论都写不出来。
- 以为「所有」和「存在」可以互换：∀ 配蕴含、∃ 配合取，配反了意思全变。
- 以为量词顺序无关紧要：∀x∃y 与 ∃y∀x 是两条不同的命题。
- 以为这是数学家的事：SQL 查询、类型检查、规则引擎都在用它。
应用场景
- 生活：听到「大家都说」，先分清是「所有人」还是「有一些人」——这是 ∀ 与 ∃ 的日常版本。
- 职场：写规则时把量词写明确，「部分用户可以……」这类条款在执行时最容易被各自解释。
- 写作与创作：让辩论双方一个用全称、一个用存在，逻辑漏洞会自己浮出来，不必靠旁白点破。
关联知识点
- 命题逻辑（propositional-logic，先读那篇，谓词逻辑是它的扩充）
- 集合论（set-theory，量词的范围就是集合）
- 分析哲学（analytic-philosophy，分析哲学的语言工具）
- 证明方法（proof-methods，∀ 要任取、∃ 要构造，证明规则不同）
- 数据库（database，查询条件就是谓词）