1. 从“命题”这个词说起为什么它值得单独拎出来讲很多人第一次接触“命题”这个概念是在数学课或者逻辑课上。老师站在讲台上说“命题就是可以判断真假的陈述句”然后举几个例子大家点点头觉得懂了。可真到了自己写证明、做推理、分析问题的时候才发现事情没那么简单——哪些句子算命题哪些不算符号怎么用为什么有的命题看起来差不多逻辑结构却完全不同我当年也是这么过来的。后来在实际工作中处理逻辑推理、条件判断、甚至写代码里的布尔表达式时才慢慢意识到命题和符号这套东西本质上是一套“把话说清楚”的工具。它帮你把模糊的日常语言翻译成精确的、无歧义的形式让推理变得可检验。这篇文章就是想把这件事讲透。不管你是正在学离散数学的学生还是工作中需要用到逻辑思维的开发者或者只是想把“命题”这个概念彻底搞明白的人下面这些内容应该都能帮到你。我会从命题的定义讲起把常用的逻辑符号一个一个拆开配上例子和实操中的注意事项最后再聊聊怎么用这套符号系统去分析真实问题。1.1 命题到底是什么一个容易被低估的定义课本上对命题的定义通常是这样的命题是一个可以判断真假的陈述句。这句话听起来简单但里面有两个关键词需要仔细抠。第一个关键词是“陈述句”。这意味着疑问句、祈使句、感叹句都不算命题。比如“你今天吃饭了吗”这不是命题因为它没有真假可言。“请把门关上”也不是命题它是一个请求。“哇这个景色真美”同样不是命题它是一个感叹。只有陈述句——也就是在描述某个事实或状态的句子——才有资格成为命题。第二个关键词是“可以判断真假”。注意这里说的是“可以判断”而不是“已经知道”。有些命题我们目前不知道真假但它原则上是可以判断的。比如“宇宙中存在外星生命”这个陈述句我们目前不知道它是真还是假但它确实是一个命题因为原则上它要么真要么假不存在第三种可能。反过来像“这句话是假的”这种自指句就构成了悖论——如果它是真的那它说的就是假的如果它是假的那它说的就是真的。这种句子不满足“可以判断真假”的条件所以它不是命题。类似的还有“本命题不可证”之类的自指结构。我在实际教学中发现很多人容易把“命题”和“判断”搞混。判断是人的一种思维活动而命题是这种思维活动的结果是一个陈述句所表达的内容。你可以对同一个命题做出不同的判断但命题本身是客观的。1.2 命题的分类原子命题与复合命题命题分为两大类原子命题和复合命题。原子命题也叫简单命题它不能再分解成更小的命题。比如“今天下雨”就是一个原子命题你没法把它拆成更小的命题。“2加3等于5”也是原子命题。原子命题是逻辑推理的基本单位就像化学里的原子一样。复合命题则是由原子命题通过逻辑联结词组合而成的。比如“今天下雨并且我带了伞”这就是一个复合命题它由“今天下雨”和“我带了伞”两个原子命题通过“并且”联结而成。复合命题的真假取决于两个因素一是组成它的原子命题的真假二是联结词的性质。这里有一个很重要的点复合命题的真假完全由原子命题的真假和联结词决定。这意味着哪怕你不知道“今天下雨”到底是真的还是假的你也可以分析“今天下雨并且我带了伞”这个复合命题的逻辑结构。这就是符号化的力量——它让你可以脱离具体内容只关注逻辑形式。我在带学生做逻辑练习时经常让他们先把一段自然语言里的原子命题找出来标上不同的字母然后再看这些字母之间是用什么联结词连起来的。这个“找原子命题”的步骤看起来简单实际上非常关键因为一旦找错了后面的符号化就全错了。2. 五个基本逻辑联结词符号、含义与真值表命题逻辑里最常用的联结词有五个否定、合取、析取、蕴含、等价。这五个联结词构成了命题逻辑的完整体系任何一个复合命题都可以用这五个联结词加上原子命题来表示。下面我逐个拆解每个都配上符号、读法、真值表和实际例子。真值表是理解联结词的核心工具它穷举了所有可能的真假组合让你一眼就能看出复合命题的真假规律。2.1 否定最简单的联结词但最容易用错否定的符号是¬有时候也写成~或者!。读作“非”。如果 p 是一个命题那么 ¬p 就是它的否定。否定的真值表非常简单p¬p真假假真看起来没什么好说的但实际用起来否定是最容易出错的联结词。问题出在自然语言里“不”这个字的位置和范围往往很模糊。举个例子“所有学生都通过了考试。”它的否定是什么很多人第一反应是“所有学生都没通过考试。”但这是错的。原命题的否定应该是“存在至少一个学生没有通过考试。”你看否定的范围不一样意思完全不同。再比如“你可以同时选A和B。”它的否定不是“你可以同时不选A和不选B”而是“你不能同时选A和B”等价于“你至少不能选A或者不能选B”。注意在符号化的时候否定符号 ¬ 的作用范围要明确。¬(p∧q) 和 ¬p∧q 是完全不同的两个命题。前者否定的是整个合取后者只否定 p。括号在这里至关重要。我在实际写代码的时候也经常遇到类似的问题。比如一个条件判断if not (a and b)和if not a and b结果完全不同。很多人调试半天最后发现是括号没加对。逻辑符号和代码里的布尔表达式本质上是一回事。2.2 合取两个都为真才是真合取的符号是∧读作“并且”。p ∧ q 表示 p 和 q 同时为真。合取的真值表pqp ∧ q真真真真假假假真假假假假合取的逻辑很直观只有两个都真结果才真。任何一个假结果就是假。自然语言里表达合取的方式很多“并且”“而且”“同时”“既……又……”“不但……而且……”等等。但要注意有些词看起来像合取实际上不是。比如“但是”它表达的是转折关系但在逻辑上“p 但是 q”和“p 并且 q”的真假条件是一样的——都是 p 和 q 同时为真。逻辑只关心真假不关心语气和情感色彩。还有一个常见的坑“和”有时候不表示合取。比如“小明和小红是同学”这里的“和”不是逻辑联结词它只是把两个人名并列在一起整个句子是一个原子命题。你不能把它拆成“小明是同学”和“小红是同学”因为这两句话单独拿出来都不完整。提示判断一个“和”是不是逻辑合取标准是看拆开后的两个句子是否各自都是完整的命题。如果是那就是合取如果不是那就只是一个原子命题内部的成分。2.3 析取至少一个为真就是真析取的符号是∨读作“或者”。p ∨ q 表示 p 和 q 至少有一个为真。析取的真值表pqp ∨ q真真真真假真假真真假假假析取有一个非常重要的特点它是包容性的。也就是说当 p 和 q 都为真的时候p ∨ q 也为真。这跟日常语言里的“或者”有时候不太一样。日常语言里“或者”有时候是排斥性的比如“你要么选A要么选B”意思是不能同时选。但在逻辑里∨ 默认是包容性的同时为真也算真。如果要表达排斥性的“或者”需要用更复杂的符号组合(p ∨ q) ∧ ¬(p ∧ q)意思是“至少一个为真但不能同时为真”。这个表达式读作“异或”在数字电路里非常常见。自然语言里表达析取的词有“或者”“要么……要么……”“可能……也可能……”等等。同样要注意“或者”有时候不是逻辑联结词。比如“张三或者李四去开会”这句话有歧义——它可能表示“张三去或者李四去”也可能表示“张三或李四其中一个人去”。前者是析取后者更像是一个原子命题。2.4 蕴含最反直觉的联结词蕴含的符号是→读作“如果……那么……”。p → q 表示 p 蕴含 q其中 p 叫前件q 叫后件。蕴含的真值表是五个联结词里最反直觉的pqp → q真真真真假假假真真假假真注意看后两行当 p 为假的时候不管 q 是真还是假p → q 都为真。这叫做“虚真”或“空真”。很多人第一次看到这个真值表都觉得不可思议如果前件是假的整个蕴含怎么就真了呢理解这个的关键在于蕴含不是因果关系它只是一个真值函数。p → q 的定义是“不可能出现 p 真而 q 假的情况”。换句话说p → q 为假当且仅当 p 真且 q 假。其他所有情况下p → q 都为真。用一个例子来说明假设我说“如果明天下雨我就带伞”。那么什么情况下我这句话是假的只有一种情况明天下雨了但我没带伞。如果明天没下雨不管我带没带伞我这句话都不算说谎。这就是虚真的直观含义。注意蕴含和“因为……所以……”不同。后者表达的是因果关系而蕴含只表达真值关系。在逻辑里p → q 不要求 p 和 q 之间有因果联系。比如“如果112那么雪是白的”这个蕴含是真的因为前件真后件也真尽管两者之间没有因果关系。在实际应用中蕴含是最常用的联结词之一。数学定理几乎都是以蕴含的形式出现的“如果 n 是偶数那么 n² 是偶数。”程序里的条件语句if p then q也是蕴含。理解蕴含的真值表是理解数学证明和程序逻辑的基础。2.5 等价同真同假才是真等价的符号是↔读作“当且仅当”。p ↔ q 表示 p 和 q 的真值相同。等价的真值表pqp ↔ q真真真真假假假真假假假真等价的意思是p 和 q 要么都真要么都假。只要两者的真值不同等价就为假。自然语言里表达等价的词有“当且仅当”“如果且仅如果”“……等价于……”等等。在数学里“当且仅当”是一个非常精确的表达它同时包含了两个方向的蕴含p → q 和 q → p。等价在逻辑推理中非常重要因为它允许我们进行替换。如果 p ↔ q 为真那么在任何一个包含 p 的命题中我们都可以用 q 来替换 p而不改变整个命题的真值。这就是“等价替换”的原理。3. 符号化实战从自然语言到逻辑表达式知道了五个联结词和它们的真值表接下来最重要的一步是把自然语言翻译成逻辑符号。这一步叫符号化是逻辑分析的核心技能。符号化看起来简单实际上有很多坑。自然语言充满了歧义、省略和隐含信息而逻辑符号要求精确、无歧义。下面我通过几个典型例子把符号化的完整过程拆开来讲。3.1 符号化的基本步骤我总结了一个四步法基本上可以应对大部分符号化任务第一步找出所有原子命题。把句子拆成最小的、不能再分的陈述句每个原子命题用一个字母表示。通常用 p、q、r、s 这些字母。第二步确定联结词。看这些原子命题之间是用什么词连接的——“并且”“或者”“如果……那么……”“当且仅当”“不”等等。第三步确定联结词的作用范围。这一步最关键。自然语言里的联结词有时候作用范围不明确需要根据语义判断。必要的时候加括号来明确范围。第四步写出逻辑表达式。按照确定的联结词和范围写出完整的符号表达式。下面用几个例子来演示。3.2 例子一简单复合命题原句“小明既聪明又努力。”第一步原子命题有两个——“小明聪明”p和“小明努力”q。第二步联结词是“既……又……”这是合取对应 ∧。第三步作用范围很明确两个原子命题直接合取。第四步符号化为p ∧ q。这个例子很简单但它展示了最基本的符号化流程。实际中遇到的句子往往更复杂。3.3 例子二包含否定的复合命题原句“如果明天不下雨我们就去爬山。”第一步原子命题有两个——“明天下雨”p和“我们去爬山”q。第二步联结词有两个——“不”和“如果……那么……”。“不”是否定“如果……那么……”是蕴含。第三步注意“不”只作用于“明天下雨”所以是 ¬p。“如果……那么……”连接的是 ¬p 和 q。第四步符号化为¬p → q。这里有一个容易出错的地方有人会把“如果明天不下雨”符号化成 ¬(p → q)这是完全不同的意思。¬(p → q) 等价于 p ∧ ¬q意思是“明天下雨并且我们不去爬山”跟原句的意思差了十万八千里。3.4 例子三嵌套的复合命题原句“如果你完成了作业并且复习了功课那么你可以看电视或者玩游戏。”第一步原子命题有四个——“你完成作业”p、“你复习功课”q、“你可以看电视”r、“你可以玩游戏”s。第二步联结词有“并且”∧、“如果……那么……”→、“或者”∨。第三步确定范围。“你完成了作业并且复习了功课”是前件用括号括起来(p ∧ q)。“你可以看电视或者玩游戏”是后件也用括号括起来(r ∨ s)。整个句子是前件蕴含后件。第四步符号化为(p ∧ q) → (r ∨ s)。这个例子展示了嵌套结构。如果没有括号写成 p ∧ q → r ∨ s按照优先级规则通常 ¬ 最高∧ 次之∨ 再次→ 最低它会被解析成 ((p ∧ q) → (r ∨ s))结果是一样的。但为了清晰起见加括号总是好的。3.5 例子四容易歧义的句子原句“张三或者李四去开会如果王五不去的话。”这句话有歧义。它可以理解为“如果王五不去那么张三或者李四去。”也可以理解为“张三去或者李四去如果王五不去的话。”这两种理解对应的逻辑表达式不同。第一种理解设 p 王五去q 张三去r 李四去。符号化为¬p → (q ∨ r)。第二种理解符号化为q ∨ (¬p → r)。这两个表达式不等价。第一种意思是“王五不去的话至少张三和李四中有一个人去”第二种意思是“要么张三去要么如果王五不去则李四去”。在实际沟通中这种歧义会造成很大的误解。提示遇到有歧义的句子符号化之前先确认语义。如果无法确认就把所有可能的解释都列出来分别符号化然后分析它们的区别。这也是逻辑分析的一个价值——它能帮你发现自然语言里的歧义。4. 命题公式的分类与等价演算符号化之后我们得到的就是命题公式。命题公式可以根据其真值情况分为三类重言式、矛盾式和可满足式。理解这些分类以及掌握等价演算的方法是进一步学习逻辑推理的基础。4.1 重言式、矛盾式与可满足式重言式也叫永真式是指在任何赋值下都为真的命题公式。比如 p ∨ ¬p不管 p 是真还是假整个公式永远为真。重言式代表了逻辑真理是推理中最重要的工具。矛盾式也叫永假式是指在任何赋值下都为假的命题公式。比如 p ∧ ¬p不管 p 是真还是假整个公式永远为假。矛盾式代表了逻辑上的不可能。可满足式是指至少存在一种赋值使其为真的命题公式。重言式当然是可满足的但可满足式不一定是重言式。比如 p ∧ q当 p 和 q 都真的时候它为真所以它是可满足的但它不是重言式因为当 p 假的时候它为假。判断一个公式属于哪一类最直接的方法是真值表法。列出所有可能的赋值组合计算每种组合下公式的真值然后看结果。如果全是真就是重言式如果全是假就是矛盾式如果有真有假就是可满足式。真值表法虽然直接但当原子命题数量多的时候计算量会指数增长。n 个原子命题有 2ⁿ 种赋值组合n10 的时候就是 1024 行n20 的时候超过一百万行。所以实际中我们更常用等价演算的方法。4.2 常用等价律逻辑演算的基本工具等价演算的核心思想是利用已知的等价关系把一个公式逐步变形直到得到想要的形式。下面这些等价律是必须记住的名称等价式双重否定律¬¬p ≡ p幂等律p ∧ p ≡ pp ∨ p ≡ p交换律p ∧ q ≡ q ∧ pp ∨ q ≡ q ∨ p结合律(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)分配律p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)德摩根律¬(p ∧ q) ≡ ¬p ∨ ¬q¬(p ∨ q) ≡ ¬p ∧ ¬q吸收律p ∧ (p ∨ q) ≡ pp ∨ (p ∧ q) ≡ p蕴含等价式p → q ≡ ¬p ∨ q等价等价式p ↔ q ≡ (p → q) ∧ (q → p)逆否律p → q ≡ ¬q → ¬p这些等价律里德摩根律和蕴含等价式是最常用的两个。德摩根律告诉你否定怎么穿过括号否定合取变成析取的否定否定析取变成合取的否定。蕴含等价式则把蕴含转化成否定和析取的组合这在化简公式的时候非常有用。4.3 等价演算的实操示例来看一个具体的例子。假设我们要证明¬(p → q) ≡ p ∧ ¬q。第一步用蕴含等价式把 p → q 替换成 ¬p ∨ q。得到 ¬(¬p ∨ q)。第二步用德摩根律把否定穿进去。¬(¬p ∨ q) ≡ ¬¬p ∧ ¬q。第三步用双重否定律化简 ¬¬p 为 p。得到 p ∧ ¬q。证明完成。这个等价关系非常重要它告诉我们一个蕴含的否定等于前件真且后件假。换句话说“如果 p 那么 q”为假当且仅当 p 真且 q 假。这跟蕴含真值表的定义完全一致。再来看一个稍微复杂一点的例子证明(p → q) ∧ (p → r) ≡ p → (q ∧ r)。左边(p → q) ∧ (p → r) ≡ (¬p ∨ q) ∧ (¬p ∨ r)。用分配律(¬p ∨ q) ∧ (¬p ∨ r) ≡ ¬p ∨ (q ∧ r)。再用蕴含等价式反过来¬p ∨ (q ∧ r) ≡ p → (q ∧ r)。这就是右边。证明完成。这个等价关系在数学证明中经常用到如果你要证明“如果 p 那么 q 且 r”你可以分别证明“如果 p 那么 q”和“如果 p 那么 r”然后合起来。这就是所谓的“分情况证明”的逻辑基础。注意等价演算的每一步都必须是等价变换不能是单向蕴含。如果你在演算过程中用了单向的推理规则那得到的只是蕴含关系不是等价关系。这一点在写证明的时候要特别小心。5. 范式把命题公式标准化在实际的逻辑分析和计算机处理中我们经常需要把命题公式转化成某种标准形式这就是范式。最常见的两种范式是析取范式和合取范式。5.1 析取范式与合取范式的定义析取范式是形如 (子句1) ∨ (子句2) ∨ ... 的公式其中每个子句是原子命题或其否定的合取。简单说就是“合的或”——几个合取式用析取连起来。合取范式是形如 (子句1) ∧ (子句2) ∧ ... 的公式其中每个子句是原子命题或其否定的析取。简单说就是“或的合”——几个析取式用合取连起来。举个例子(p ∧ q) ∨ (¬r ∧ s)是一个析取范式它有两个子句p ∧ q 和 ¬r ∧ s用 ∨ 连接。(p ∨ q) ∧ (¬r ∨ s)是一个合取范式它有两个子句p ∨ q 和 ¬r ∨ s用 ∧ 连接。任何一个命题公式都可以转化成等价的析取范式或合取范式。转化的方法就是利用前面讲的等价律特别是分配律和德摩根律。5.2 范式转化的完整步骤我总结了一个范式转化的标准流程第一步消去蕴含和等价。用 p → q ≡ ¬p ∨ q 消去所有蕴含用 p ↔ q ≡ (p → q) ∧ (q → p) 消去所有等价。第二步内移否定。用德摩根律把否定符号移到原子命题前面确保每个否定只作用于原子命题。第三步使用分配律。如果要转成析取范式就用 ∧ 对 ∨ 的分配律如果要转成合取范式就用 ∨ 对 ∧ 的分配律。第四步化简。用幂等律、吸收律等去掉冗余的子句。下面用一个例子完整演示。假设原公式是(p → q) → r。第一步消去蕴含。p → q ≡ ¬p ∨ q所以原式变成 (¬p ∨ q) → r。再消去外层蕴含(¬p ∨ q) → r ≡ ¬(¬p ∨ q) ∨ r。第二步内移否定。¬(¬p ∨ q) ≡ ¬¬p ∧ ¬q ≡ p ∧ ¬q。所以公式变成 (p ∧ ¬q) ∨ r。第三步这已经是析取范式了。它有两个子句p ∧ ¬q 和 r。如果要转成合取范式继续用分配律(p ∧ ¬q) ∨ r ≡ (p ∨ r) ∧ (¬q ∨ r)。这就是合取范式两个子句分别是 p ∨ r 和 ¬q ∨ r。5.3 范式在计算机科学中的应用范式不仅仅是理论上的玩具它在计算机科学里有非常实际的应用。数字电路设计合取范式和析取范式直接对应与或门电路。析取范式对应“与-或”两级电路合取范式对应“或-与”两级电路。设计数字电路的时候工程师会先把逻辑功能表示成真值表然后转化成范式再根据范式画出电路图。自动定理证明在自动定理证明系统中命题公式通常被转化成合取范式然后使用归结法进行推理。归结法是一种非常高效的推理规则它要求公式必须是合取范式。SAT求解器SAT问题是判断一个命题公式是否存在可满足赋值的问题。SAT求解器是现代计算机科学中非常重要的工具广泛应用于硬件验证、软件分析、人工智能规划等领域。SAT求解器的输入格式通常就是合取范式。数据库查询优化数据库的查询条件可以表示成逻辑表达式转化成范式之后可以进行优化。比如把查询条件转化成合取范式可以更方便地利用索引。我在实际工作中处理复杂条件判断的时候也经常用范式来化简。比如一个业务规则有十几个条件组合直接写代码很容易漏掉情况。先把规则符号化转化成范式然后检查每个子句就能确保没有遗漏。6. 命题逻辑的局限与扩展命题逻辑虽然强大但它也有局限。最大的局限是它把原子命题当作不可分割的整体不分析命题内部的结构。比如下面这个经典的三段论所有人都会死。苏格拉底是人。所以苏格拉底会死。在命题逻辑里这三个句子都是原子命题分别记为 p、q、r。推理形式是 p ∧ q → r。但这个推理的有效性不是由命题逻辑保证的因为命题逻辑看不到“所有人”“是人”“会死”这些词之间的内部联系。它只看到三个独立的原子命题。要分析这种推理需要用到谓词逻辑。谓词逻辑把原子命题进一步拆解成个体、谓词和量词能够表达“所有”“存在”这样的概念。谓词逻辑是命题逻辑的扩展也是现代逻辑的基础。不过命题逻辑作为最基础的逻辑系统它的价值不容忽视。它是理解更复杂逻辑系统的前提也是计算机科学中布尔代数、数字电路、程序逻辑的基础。把命题逻辑学扎实了后面学谓词逻辑、模态逻辑、时序逻辑都会轻松很多。6.1 从命题逻辑到谓词逻辑的过渡谓词逻辑在命题逻辑的基础上增加了三个东西个体词、谓词和量词。个体词表示对象比如“苏格拉底”。谓词表示对象的性质或对象之间的关系比如“是人”“会死”。量词表示数量包括全称量词 ∀表示“对所有”和存在量词 ∃表示“存在”。用谓词逻辑重新表达上面的三段论∀x (人(x) → 会死(x))人(苏格拉底)所以 会死(苏格拉底)这个推理在谓词逻辑里是有效的因为量词和谓词的结构使得“所有人都会死”和“苏格拉底是人”能够结合起来推出“苏格拉底会死”。从命题逻辑到谓词逻辑的过渡本质上是从“看整体”到“看内部”的过渡。命题逻辑关注的是命题之间的连接关系谓词逻辑关注的是命题内部的结构关系。两者各有各的用处实际中经常结合使用。6.2 命题逻辑在实际问题中的边界我在实际工作中发现命题逻辑最适合处理的是条件组合判断类的问题。比如用户满足条件A并且满足条件B或者满足条件C但不满足条件D那么执行某个操作。系统检测到异常X或者异常Y并且没有人工确认那么触发告警。这类问题的特点是每个条件本身是一个独立的布尔值我们只关心这些布尔值之间的逻辑组合。命题逻辑正好擅长这个。但如果问题涉及到“所有”“存在”“至少一个”“恰好一个”这样的量词命题逻辑就不够用了。比如“所有订单都已经支付”或者“存在一个用户没有验证邮箱”这些需要谓词逻辑来表达。还有一种情况是命题逻辑处理起来比较别扭的时序关系。比如“先执行A然后执行B”这里的“然后”不是逻辑联结词命题逻辑无法表达时间顺序。要处理时序关系需要用到时序逻辑。了解这些边界很重要它让你知道什么时候该用命题逻辑什么时候该换工具。不要拿着一把锤子看什么都像钉子。7. 我踩过的坑与实操建议最后这部分我想分享一些自己在学习和使用命题逻辑过程中踩过的坑以及总结出来的一些实操建议。这些内容在课本上通常不会写但实际用起来非常有用。7.1 符号化时最常见的三个错误错误一把“不”的位置搞错。前面已经讲过“不”的作用范围很关键。¬(p ∧ q) 和 ¬p ∧ q 完全不同。我的建议是每次看到“不”字先问自己它否定的是什么。是整个后面的句子还是只是某个词如果不确定就把两种理解都写出来看看哪个更符合原意。错误二把“或者”默认当成排斥性的。逻辑里的 ∨ 是包容性的但日常语言里的“或者”有时候是排斥性的。遇到“或者”的时候先判断它是不是排斥性的。如果是就要用 (p ∨ q) ∧ ¬(p ∧ q) 来表达。不确定的时候宁可先按包容性处理然后在注释里说明可能的歧义。错误三忽略蕴含的虚真情况。很多人符号化的时候看到“如果……那么……”就写成 p → q但分析的时候忘了前件为假时整个蕴含为真。这在验证推理有效性的时候会导致错误。我的建议是每次分析蕴含都把真值表的四种情况过一遍确保没有遗漏。7.2 真值表法的实用技巧真值表法是命题逻辑的基本工具但当原子命题多的时候手算真值表很容易出错。我总结几个实用技巧技巧一按二进制顺序排列赋值。n 个原子命题的真值表有 2ⁿ 行。按照二进制顺序排列从全假到全真不容易漏行。比如三个命题 p、q、r赋值顺序是假假假、假假真、假真假、假真真、真假假、真假真、真真假、真真真。技巧二分步计算。不要试图一步算出整个公式的真值。先算最内层的子公式再逐层往外算。每一步的结果写在旁边最后再汇总。这样即使出错也能快速定位是哪一步错了。技巧三利用等价律简化。如果公式很复杂先用等价律化简再画真值表。化简之后原子命题可能减少真值表的行数也会减少。比如 (p ∧ q) ∨ (p ∧ ¬q) 可以化简成 p真值表从四行变成两行。7.3 逻辑等价演算的检查方法等价演算的时候最容易犯的错误是用了不等价的变换。我自己的检查方法是每一步变换之后随机取一组赋值验证变换前后公式的真值是否相同。如果相同说明这一步很可能是等价的如果不同那肯定有问题。这个方法不能保证100%正确但能抓住大部分错误。特别是德摩根律和分配律用错的时候很容易通过随机赋值发现。还有一个更严格的方法把变换前后的公式都转化成真值表逐行对比。这个方法虽然麻烦但绝对可靠。对于重要的证明我通常会这样做。7.4 命题逻辑在编程中的实际应用最后聊聊命题逻辑在编程中的应用。很多人觉得逻辑学离编程很远其实不然。编程里的布尔表达式、条件判断、循环控制本质上都是命题逻辑。比如下面这段代码if (user.is_active and user.has_permission) or user.is_admin: grant_access()这个条件可以符号化为(p ∧ q) ∨ r其中 p 用户活跃q 用户有权限r 用户是管理员。如果你要优化这个条件可以用分配律把它转化成(p ∨ r) ∧ (q ∨ r)。转化之后代码可能更容易理解也可能更容易优化。再比如处理复杂的业务规则时我经常先把规则写成逻辑表达式然后用等价演算化简最后再翻译成代码。这样做的好处是逻辑表达式比代码更容易验证正确性而且化简之后代码通常更简洁、更高效。提示写复杂条件判断的时候先用逻辑符号把条件写出来化简之后再翻译成代码。这个习惯能帮你避免很多逻辑错误。命题逻辑这套工具入门容易精通难。但只要你把基本概念搞清楚把五个联结词的真值表记牢把符号化的方法练熟再配合等价演算和范式转化就能应对大部分逻辑分析任务了。剩下的就是在实践中不断积累经验慢慢体会其中的门道。