什么是合式公式 定义精简
合式公式：逻辑大厦的精确骨架
合式公式 (Well-Formed Formula) 是形式逻辑的语法基石。它不关心命题的真假，只关心结构是否合法。就像给思维戴上防护镜，让你一眼看穿推理漏洞。
合式公式（简称 wff）是命题逻辑与谓词逻辑中符合严格语法规则的符号串。简单说：只有按照逻辑连接词（¬, ∧, ∨, →, ↔）和括号正确组合的表达式，才有资格成为“合式”。
✔ 合式例子： (P ∧ Q) → R ， ¬(A ∨ B) ， (∀x)(Fx → Gx)
✘ 不合式例子： P Q ∧ （缺少连接对象） ， → R （左端缺失） ， (P → ) Q （括号不配对）
合式公式本身无真假，但它是有效推理的前提。只有合式的句子才能进入逻辑推理系统。
逻辑学家把合式公式看作“语法合格证”。就像自然语言要符合主谓宾，逻辑语言必须符合形成规则。下面通过卡片快速了解核心规则。
命题字母
P, Q, R … 单独出现是合式公式。每个字母代表一个简单命题。
¬ 连接
如果 A 是合式，则 ¬A 也是合式。否定词只修饰一个公式。
∧ ∨ → ↔
如果 A 和 B 合式，则 (A∧B), (A∨B), (A→B), (A↔B) 都是合式。
∀ ∃
在谓词逻辑中，若 F 是合式，则 (∀x)F, (∃x)F 也是合式。
合式公式的“合式”体现在递归定义：从原子命题出发，通过有限次使用连接词构造。这种结构保证了无歧义。来看一个典型结构拆解：
公式： ((P → Q) ∧ (Q → R)) → (P → R)
✔ 结构树：最外层是 → ，左子为 (P→Q)∧(Q→R) ，右子为 (P→R) 。每个子公式都合式，整体才合式。
这也就是著名的假言三段论的合式表达。逻辑链条被括号牢牢锁定。
对比自然语言的模糊，合式公式用括号消除歧义。比如 “如果下雨那么地湿并且有云” 在自然语言中有两种解读，但合式公式用 (P → (Q ∧ R)) 或 ((P → Q) ∧ R) 明确区分。
- 原子公式：最简单的合式，没有连接词。
- 复合公式：通过¬, ∧, ∨, →, ↔ 递归生成。
- 量词作用域：∀x (Fx → Gx) 中括号界定作用域。
- 优先级：¬ 最高，∧ ∨ 次之，→ ↔ 最低，但括号可改变。
对偶律在合式公式中表现完美：¬(P∧Q) 与 ¬P ∨ ¬Q 逻辑等价。合式公式让这种转换一目了然。
经典三段论 · 合式骨架
前提1：所有人都会死 (∀x)(人(x) → 会死(x))
前提2：苏格拉底是人 人(苏格拉底)
结论：苏格拉底会死 会死(苏格拉底)
这个结构是合式公式的典范：每个前提都是合式，量词与谓词匹配，结论通过有效推理得出。如果前提中“所有人都会死”写为 (∀x)(人(x) → 会死(x))，则完全合式。
对比不合式版本：“所有人都会死，苏格拉底是人，故此苏格拉底是人？” —— 结论不匹配，逻辑断裂。
日常决策 · 合式思维
“要是明天下雨，我就带伞；要是明天不下雨，我就吃火锅。” 这句话在自然语言里听着合理，但合式公式指出它缺少连接前提：两个条件之间没有共同基点，形成逻辑悖论（鸡同鸭讲）。
合式拆解：设 P=明天下雨, Q=带伞, R=吃火锅。原句为 (P→Q) ∧ (¬P→R)。这本身合式，但无法推出任何统一结论。合式公式不评判内容，只暴露结构缺失。
稻草人谬误 · 合式红灯
攻击对方时，先歪曲一个不合式的前提，然后推翻它。例如：“所有猫都有四条腿，所有狗都有四条腿，所以所有动物都有四条腿。” 结论明显荒谬。
合式分析：前提中“所有猫”和“所有狗”都是子类，但结论“所有动物”缺少分类限定。公式中需要增加谓词限制，如 (∀x)(猫(x) ∨ 狗(x) → 四条腿(x)) 无法推出 ∀x(动物(x)→四条腿(x))。合式公式在此指出量词跳跃。
这就是合式公式的定海神针作用：不编造理由，只指出断裂。
交通规则 · 合式类比
红灯停、绿灯行、直行、左转——这些指令组合成一套合式系统。如果把“红灯”和“右转”随意连接，或把“直行”与“减速”颠倒，就是语法错误。
合式公式在这里相当于交通导航：它不管路况多复杂，只管把你逼到正确路径。例如 (红灯 → 停) ∧ (绿灯 → 行) 是合式，而 (红灯 → 行) 不合逻辑常理，但在公式层面也属于“合式但前提假”。合式公式不保真，只保结构合法。
公元前 · 亚里士多德三段论
虽然没有现代符号，但合式思想萌芽：前提必须按格和式组合，否则推理无效。
世纪 · 弗雷格概念文字
首次严格定义合式公式，引入量词与变元，逻辑语法独立。
世纪初 · 罗素怀特海《数学原理》
系统化合式公式，命题逻辑与谓词逻辑的形成规则成为标准。
当代 · 计算机科学
合式公式用于程序验证、数据库查询、人工智能推理。如SQL的WHERE子句也需合式。
⚖️ 两难推理 · 合式公式的试金石
前提一：所有猫都有四条腿。前提二：所有狗都有四条腿。结论：所有动物都有四条腿。乍一听似乎科学，但合式公式亮红灯：所有动物这个主项太宽泛，缺少分类限制。用公式表达：(∀x)(猫(x)→四腿(x)) ∧ (∀x)(狗(x)→四腿(x)) 无法推出 (∀x)(动物(x)→四腿(x)) 。中间缺了“限定词”。合式公式就是定海神针，指出断裂。
✔ 正确合式：若增加前提“猫和狗都是动物”，则 (∀x)((猫(x)∨狗(x)) → 动物(x)) ，再结合前提可推出 (∀x)((猫(x)∨狗(x)) → 四腿(x)) ，但依然不能推出所有动物。这就是合式公式的严谨。
合式公式是逻辑世界的语法警察，它不判断真假，只判断结构是否合法。当你习惯了合式思维，讲话不再模棱两可，思考不再是漫无目的的流浪。它让复杂的论证变成明明白白的链条。
从三段论到日常决策，从交通规则到编程语言，合式公式无处不在。它把思维的外壳绷紧，只允许在正确轨道上运行。