命题与真值

📝 命题是逻辑学的基本单位——一个有确定真假值的陈述。理解命题的本质、复合命题的构成方式以及真值表的运作机制，是进入形式逻辑世界的第一步。

命题与非命题

命题（proposition）是一个可以判断真假的陈述。“地球是太阳系中的行星"是一个命题（为真），“2 + 3 = 6"也是一个命题（为假）。命题的关键特征在于：它必须具有确定的真值（truth value），即要么为真（true），要么为假（false），不存在第三种可能——这就是经典逻辑的二值原则（principle of bivalence）。

并非所有句子都是命题。以下类型的句子不具有真值，因此不是命题：

命题与句子的区别值得特别注意。同一个命题可以用不同的句子表达：“下雨了"和"It is raining"表达的是同一个命题——内容相同，只是语言载体不同。反过来，同一个句子在不同语境中可能表达不同的命题：“今天是星期一"在不同日期说出意味着不同的事实。

📝 案例：法律条文中的命题识别。 法律文本看似由命题组成，但实际上混合了多种语言功能。“任何公民都有选举权"是一个命题（可以判断真假）。“犯罪分子应当受到法律制裁"包含了规范性成分（“应当”），其逻辑地位在法哲学中存在争议——道义逻辑（deontic logic）专门处理这类包含"应当"“允许"“禁止"的陈述。“法庭现在开庭"则是一个施行句（performative utterance），它不是在描述事实，而是在通过言说本身创造一种制度事实。识别哪些语句是命题、哪些不是，是法律推理的前提性工作。

简单命题与真值

简单命题（simple proposition）是不包含其他命题作为组成部分的命题。“苏格拉底是哲学家"“月球绕地球转"“2 大于 3"都是简单命题。

每个简单命题恰好拥有一个真值：真（T）或假（F）。在命题逻辑中，简单命题用小写字母表示（p、q、r 等），其内部结构不做进一步分析——这是命题逻辑的简化策略，也是它的局限所在（谓词逻辑弥补了这一局限）。

真值指派（truth value assignment）是为所有简单命题分配真值的操作。如果一个论证包含 n 个不同的简单命题，就有 2^n 种可能的真值指派。这个指数增长意味着：随着命题数量增加，穷举所有可能性的工作量迅速增大——这也是为什么自动化推理工具在计算机科学中如此重要。

复合命题与逻辑联结词

复合命题（compound proposition）由简单命题通过逻辑联结词（logical connective）组合而成。经典命题逻辑有五种基本联结词：

否定（negation）：¬p

否定将命题的真值翻转。如果 p 为真，则 ¬p（“并非 p”）为假；如果 p 为假，则 ¬p 为真。

日常语言中的否定有时并不严格。“这不太好"在自然语言中可能意味着"很差"也可能意味着"还行但不够好”——逻辑否定则没有这种模糊性。

联言（conjunction）：p ∧ q

联言命题"p 并且 q"只有在 p 和 q 都为真时才为真。只要有一个为假，整个联言命题就为假。

📝 案例：合同条款中的联言。 合同中常见这样的条款：“乙方应在交货后 30 天内付款且提供质量检验报告。” 这是一个联言命题，两个条件都必须满足。如果乙方付了款但未提供报告，或者提供了报告但未付款，联言命题为假，即构成违约。法律实践中对联言的严格理解直接影响合同纠纷的裁决。

选言（disjunction）：p ∨ q

选言命题"p 或者 q"在至少一个为真时为真。这是包容性选言（inclusive disjunction）——允许两者都为真。

日常语言中的"或"经常是排斥性的（exclusive disjunction）——“要么……要么……“暗示两者不能同时为真。“主菜选牛排或鱼"通常意味着只能选一个。逻辑学中默认使用包容性选言，排斥性选言需要额外表达为 (p ∨ q) ∧ ¬(p ∧ q)。

条件（conditional）：p → q

条件命题"如果 p，那么 q"中，p 称为前件（antecedent），q 称为后件（consequent）。这是五种联结词中最容易引起困惑的。

关键理解：条件命题只有在前件为真、后件为假时才为假。当前件为假时，无论后件如何，条件命题都为真——这称为虚真（vacuous truth）。“如果月球是方的，那么 2 + 2 = 5"在逻辑上为真，因为前件为假。

这种实质条件（material conditional）与日常的"如果……那么……“之间存在显著差距。日常语言中的条件句通常暗含因果关系或相关性（“如果下雨，路就会湿”），而逻辑上的实质条件纯粹是真值关系，不要求前件与后件之间有任何实质联系。这一差距是逻辑学习中的经典难点，也是哲学争论的活跃领域（如相关逻辑、条件句逻辑等试图更好地刻画日常条件句）。

双条件（biconditional）：p ↔ q

双条件命题"p 当且仅当 q"在两个命题真值相同时为真。

双条件表达的是充要条件关系。“一个整数是偶数，当且仅当它能被 2 整除”——偶数性和能被 2 整除互为充要条件。

真值表方法

真值表（truth table）是判断复合命题真值的系统工具。方法步骤如下：

1. 识别所有简单命题（p、q、r……）
2. 列出所有可能的真值组合（n 个命题有 2^n 行）
3. 根据联结词的真值定义，逐步计算复合命题在每种组合下的真值

通过真值表，可以将复合命题分为三类：

重言式揭示的是纯粹由逻辑形式决定的真理，不依赖任何经验事实。“要么下雨，要么不下雨"永远为真，不需要看天气预报。矛盾式同样不依赖经验——它永远为假。

真值表还可以用来判断两个命题是否逻辑等值（logically equivalent）：如果两个命题在所有真值组合下真值完全相同，则它们逻辑等值。例如，p → q 与 ¬p ∨ q 逻辑等值——“如果下雨那么路湿"等价于"要么不下雨，要么路湿”。

重要的逻辑等值关系包括：

📝 案例：编程中的布尔逻辑。 计算机科学中的布尔代数（Boolean algebra）直接建立在命题逻辑的基础上。编程语言中的 &&（AND）、||（OR）、!（NOT）分别对应联言、选言和否定。条件语句 if (age >= 18 && hasID) 就是一个联言命题的应用。De Morgan 定律在代码优化中经常使用：!(a && b) 等价于 !a || !b。理解真值表和逻辑等值不仅是逻辑训练，也是编程素养的组成部分。数字电路中的逻辑门（AND gate、OR gate、NOT gate）更是命题逻辑的物理实现。

命题逻辑的应用与争议

命题逻辑的应用远超学术领域。在法律推理中，法律条文中的"且"“或"“如果……则……““除非……否则……“本质上都是逻辑联结词，可以用命题逻辑进行形式分析。在人工智能中，专家系统和知识表示大量使用命题逻辑的规则。在日常决策中，“如果不赶上早班车就会迟到，如果迟到就会被扣薪”——假言三段论在不知不觉中运作。

然而，命题逻辑也存在争议。实质条件与日常条件句的差距是否意味着经典逻辑"错了”？直觉主义逻辑（intuitionistic logic）拒绝排中律（p ∨ ¬p 并非总为真），模糊逻辑（fuzzy logic）允许真值在 0 到 1 之间连续取值——这些非经典逻辑试图在不同方面修正或扩展经典命题逻辑的框架。这些争论表明，逻辑学本身并非一成不变的"绝对真理”，而是一个持续发展的研究领域。

💭 延伸思考

• 悖论"这句话是假的"无法被赋予一致的真值。这是否意味着二值原则有根本性缺陷？还是说悖论只是一种语言游戏，不影响逻辑学的实际应用？
• 日常语言中的"或"究竟更多是包容性的还是排斥性的？语境在多大程度上决定了"或"的含义？
• 量子力学中的量子叠加态（一个粒子同时处于两种状态）是否挑战了经典逻辑的二值原则？量子逻辑（quantum logic）是否有必要？

📚 参考文献

1. Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). Pearson. 第二章系统讲解命题、联结词与真值表。
2. Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Cengage Learning. 命题逻辑部分通俗易懂，适合入门。
3. Quine, W. V. O. (1986). Philosophy of Logic (2nd ed.). Harvard University Press. 对命题逻辑基础的哲学反思。
4. Priest, G. (2008). An Introduction to Non-Classical Logic (2nd ed.). Cambridge University Press. 覆盖直觉主义逻辑、模糊逻辑等非经典方向。