第一章：启程与逻辑基石——命题、联结词与证明入门
那是一个潮湿的下午，我在祖父遗物的底层发现了一张用羊皮纸制成的地图。地图边缘已经磨损，但中央用古老的墨水勾勒出一片名为“数学王国”的土地，以及一条蜿蜒通向“逻辑之门”的路径。好奇心驱使我按图索骥，穿过一片迷雾笼罩的森林，最终站在了一扇巨大的石门前。门上刻满了奇怪的符号，而门前站着一位须发皆白的老者，他自称“逻辑长老”。他目光如炬，开口道：“欢迎，旅行者。数学王国的一切——从最微小的数到最宏大的结构——皆由严密的逻辑构建。欲入此门，必先解读门上铭文，证明你已掌握逻辑的基石。”他指向石门中央，那里刻着一行字：
> “若你理解‘与’、‘或’、‘非’、‘蕴含’，且你证明自己理解它们，则你可进入；但若你不理解‘蕴含’，则即使你理解其他，也不能进入。”
我凝视着这行字，感到困惑。什么是“理解”？如何“证明”？这些“与”、“或”、“非”、“蕴含”又是什么？长老似乎看透了我的心思，微笑道：“让我们从头开始。首先，逻辑处理的对象是‘命题’。”
---
命题：逻辑的基本单元
命题（Proposition）是能判断真假的陈述句。这是逻辑学中最基本的概念，如同化学中的原子。一个命题必须具有确定的真值：真（True）或假（False），二者必居其一，且仅居其一。这里的关键是“能判断”，即原则上存在一个客观标准决定其真伪，尽管我们可能不知道具体真值。
- **简单命题**：不包含其他命题的原子陈述。例如：
- “2是素数。”（真）
- “雪是黑色的。”（假）
- “北京是中国的首都。”（真）
- **复合命题**：由简单命题通过**逻辑联结词**（Logical Connectives）组合而成。例如：
- “2是素数且3是素数。”（真，因为两者皆真）
- “如果今天下雨，那么地面湿。”（这是一个条件命题，其真值取决于具体情境）
并非所有句子都是命题：
- 疑问句：“2是素数吗？”（无真假值）
- 命令句：“请关门。”（无真假值）
- 感叹句：“多么美丽的花啊！”（无真假值）
- 悖论：“这句话是假的。”（无法一致地赋予真值，属于逻辑悖论，不在经典命题逻辑范围内）
在数学中，命题的真假往往基于定义和公理。例如，“所有质数都是奇数”是一个命题，但它是假的，因为存在反例：2是质数且是偶数。而“所有质数大于1”是真的，由质数定义保证。
> 电子版侧边栏：命题的“真”在数学中是绝对的、无歧义的，不同于日常语言中的“真实”。数学真值取决于演绎系统，一旦前提和推理规则确定，结论的真值便唯一确定。
---
逻辑联结词：构建复合命题的砖瓦
逻辑联结词是用于组合命题形成复合命题的运算符。在经典命题逻辑中，有五个基本联结词：否定（¬）、合取（∧）、析取（∨）、蕴含（→）、等价（↔）。本章聚焦前四个，因为它们在初等数学和日常推理中最常见。每个联结词都有严格的真值表（Truth Table）定义，即根据输入命题的真值，唯一确定输出复合命题的真值。
1. 否定（Negation）：¬
否定联结词“¬”作用于一个命题P，得到“非P”或“P的否定”，记作¬P。其真值完全相反：P真则¬P假，P假则¬P真。
| P | ¬P | |-----|-----| | 真 | 假 | | 假 | 真 |
例子：
- 设P：“3是偶数。”则¬P：“3不是偶数。”P假，故¬P真。
- 设Q：“π是无理数。”则¬Q：“π不是无理数（即π是有理数）。”Q真，故¬Q假。
否定是一元联结词（只作用于一个命题）。在自然语言中，否定常通过“不”、“并非”等词表达，但需注意双重否定的消除：¬¬P等价于P。
2. 合取（Conjunction）：∧
合取联结词“∧”表示“且”，用于连接两个命题P和Q，形成“P且Q”（P∧Q）。P∧Q为真当且仅当P和Q同时为真；否则为假。
| P | Q | P∧Q | |-----|-----|-----| | 真 | 真 | 真 | | 真 | 假 | 假 | | 假 | 真 | 假 | | 假 | 假 | 假 |
例子：
- “2是素数且4是偶数。”P真（2是素数），Q真（4是偶数），故P∧Q真。
- “2是素数且4是素数。”P真，Q假，故P∧Q假。
- “0是正数且1是负数。”两者皆假，故P∧Q假。
合取对应日常语言的“同时满足”。在数学定义中常见：“一个函数f在点x₀连续，当且仅当f在x₀有定义、极限存在、且极限等于函数值。”这实质是三个命题的合取。
3. 析取（Disjunction）：∨
析取联结词“∨”表示“或”，用于连接P和Q，形成“P或Q”（P∨Q）。在经典逻辑和数学中，∨是包容的（Inclusive Or）：P∨Q为真当P真、Q真或两者皆真；仅当P和Q同时为假时为假。
| P | Q | P∨Q | |-----|-----|-----| | 真 | 真 | 真 | | 真 | 假 | 真 | | 假 | 真 | 真 | | 假 | 假 | 假 |
例子：
- “2是素数或4是偶数。”P真，Q真，故P∨Q真（即使两者皆真）。
- “2是素数或4是素数。”P真，Q假，故P∨Q真。
- “0是正数或1是负数。”两者皆假，故P∨Q假。
> 常见误解澄清：日常语言中“或”有时是排斥的（Exclusive Or，XOR），即“P或Q但不同时”。例如，“你要茶或咖啡”通常暗示只能选一种。但在数学命题逻辑中，∨始终是包容的。若需表达排斥或，可用“(P∨Q) ∧ ¬(P∧Q)”。在正式数学文本中，除非特别说明，“或”均指包容或。
4. 蕴含（Implication）：→
蕴含联结词“→”表示“如果…那么…”，形成“如果P，那么Q”（P→Q）。P称为前件（Antecedent），Q称为后件（Consequent）。其真值表最易引起困惑：
| P | Q | P→Q | |-----|-----|-----| | 真 | 真 | 真 | | 真 | 假 | 假 | | 假 | 真 | 真 | | 假 | 假 | 真 |
关键理解：
- P→Q为假**仅当**P真而Q假。换言之，当前件真而后件假时，承诺被打破，蕴含为假。
- 其他三种情况均为真。特别是，**前件假时，无论后件如何，P→Q自动为真**。这称为“**空洞真理**”（Vacuously True）。
为什么这样定义？ 数学中的“如果…那么…”表达的是逻辑上的保证关系：每当P成立时，Q必须成立。如果P从未成立（前件假），则没有任何反例，故蕴含被视为真。例如：
- “如果1+1=3，那么巴黎在法国。”前件假，故整个蕴含为真（尽管后件真）。
- “如果1+1=3，那么巴黎在德国。”前件假，后件假，蕴含仍为真。
- “如果今天是星期一，那么明天是星期三。”前件真（假设）而后件假（明天应是星期二），故蕴含假。
蕴含P→Q等价于“P是Q的充分条件”，即P真可保证Q真。同时，Q是P的必要条件，即P真必须Q真（若Q假则P必假）。这将在后文详述。
电子版交互提示：尝试构造真值表：对于命题“(P→Q) ∧ (Q→R)”，当P真、Q假、R真时，其真值为何？(P→Q)为真（前件真后件假？不，P真Q假，故P→Q假；Q假R真，Q→R真；合取为假。可拖动真值滑块实时查看结果（假设有交互功能）)
---
复合命题的真值表方法
当命题包含多个联结词时，需通过真值表系统计算其真值。方法：列出所有输入命题（如P、Q、R）的所有可能真值组合（共2ⁿ行，n为命题数），然后逐列计算每个子公式，最后得到复合命题的真值。
示例：设命题公式为 $(P \land Q) \to (R \lor \lnot S)$。有四个原子命题P、Q、R、S，故有2⁴=16种组合。为节省篇幅，我们展示部分：
| P | Q | R | S | P∧Q | ¬S | R∨¬S | (P∧Q)→(R∨¬S) | |-----|-----|-----|-----|-----|-----|------|---------------| | 真 | 真 | 真 | 真 | 真 | 假 | 真 | 真 | | 真 | 真 | 真 | 假 | 真 | 真 | 真 | 真 | | 真 | 真 | 假 | 真 | 真 | 假 | 假 | 假 | |
那是一个潮湿的下午，我在祖父遗物的底层发现了一张用羊皮纸制成的地图。地图边缘已经磨损，但中央用古老的墨水勾勒出一片名为“数学王国”的土地，以及一条蜿蜒通向“逻辑之门”的路径。好奇心驱使我按图索骥，穿过一片迷雾笼罩的森林，最终站在了一扇巨大的石门前。门上刻满了奇怪的符号，而门前站着一位须发皆白的老者，他自称“逻辑长老”。他目光如炬，开口道：“欢迎，旅行者。数学王国的一切——从最微小的数到最宏大的结构——皆由严密的逻辑构建。欲入此门，必先解读门上铭文，证明你已掌握逻辑的基石。”他指向石门中央，那里刻着一行字：
> “若你理解‘与’、‘或’、‘非’、‘蕴含’，且你证明自己理解它们，则你可进入；但若你不理解‘蕴含’，则即使你理解其他，也不能进入。”
我凝视着这行字，感到困惑。什么是“理解”？如何“证明”？这些“与”、“或”、“非”、“蕴含”又是什么？长老似乎看透了我的心思，微笑道：“让我们从头开始。首先，逻辑处理的对象是‘命题’。”
---
命题：逻辑的基本单元
命题（Proposition）是能判断真假的陈述句。这是逻辑学中最基本的概念，如同化学中的原子。一个命题必须具有确定的真值：真（True）或假（False），二者必居其一，且仅居其一。这里的关键是“能判断”，即原则上存在一个客观标准决定其真伪，尽管我们可能不知道具体真值。
- **简单命题**：不包含其他命题的原子陈述。例如：
- “2是素数。”（真）
- “雪是黑色的。”（假）
- “北京是中国的首都。”（真）
- **复合命题**：由简单命题通过**逻辑联结词**（Logical Connectives）组合而成。例如：
- “2是素数且3是素数。”（真，因为两者皆真）
- “如果今天下雨，那么地面湿。”（这是一个条件命题，其真值取决于具体情境）
并非所有句子都是命题：
- 疑问句：“2是素数吗？”（无真假值）
- 命令句：“请关门。”（无真假值）
- 感叹句：“多么美丽的花啊！”（无真假值）
- 悖论：“这句话是假的。”（无法一致地赋予真值，属于逻辑悖论，不在经典命题逻辑范围内）
在数学中，命题的真假往往基于定义和公理。例如，“所有质数都是奇数”是一个命题，但它是假的，因为存在反例：2是质数且是偶数。而“所有质数大于1”是真的，由质数定义保证。
> 电子版侧边栏：命题的“真”在数学中是绝对的、无歧义的，不同于日常语言中的“真实”。数学真值取决于演绎系统，一旦前提和推理规则确定，结论的真值便唯一确定。
---
逻辑联结词：构建复合命题的砖瓦
逻辑联结词是用于组合命题形成复合命题的运算符。在经典命题逻辑中，有五个基本联结词：否定（¬）、合取（∧）、析取（∨）、蕴含（→）、等价（↔）。本章聚焦前四个，因为它们在初等数学和日常推理中最常见。每个联结词都有严格的真值表（Truth Table）定义，即根据输入命题的真值，唯一确定输出复合命题的真值。
1. 否定（Negation）：¬
否定联结词“¬”作用于一个命题P，得到“非P”或“P的否定”，记作¬P。其真值完全相反：P真则¬P假，P假则¬P真。
| P | ¬P | |-----|-----| | 真 | 假 | | 假 | 真 |
例子：
- 设P：“3是偶数。”则¬P：“3不是偶数。”P假，故¬P真。
- 设Q：“π是无理数。”则¬Q：“π不是无理数（即π是有理数）。”Q真，故¬Q假。
否定是一元联结词（只作用于一个命题）。在自然语言中，否定常通过“不”、“并非”等词表达，但需注意双重否定的消除：¬¬P等价于P。
2. 合取（Conjunction）：∧
合取联结词“∧”表示“且”，用于连接两个命题P和Q，形成“P且Q”（P∧Q）。P∧Q为真当且仅当P和Q同时为真；否则为假。
| P | Q | P∧Q | |-----|-----|-----| | 真 | 真 | 真 | | 真 | 假 | 假 | | 假 | 真 | 假 | | 假 | 假 | 假 |
例子：
- “2是素数且4是偶数。”P真（2是素数），Q真（4是偶数），故P∧Q真。
- “2是素数且4是素数。”P真，Q假，故P∧Q假。
- “0是正数且1是负数。”两者皆假，故P∧Q假。
合取对应日常语言的“同时满足”。在数学定义中常见：“一个函数f在点x₀连续，当且仅当f在x₀有定义、极限存在、且极限等于函数值。”这实质是三个命题的合取。
3. 析取（Disjunction）：∨
析取联结词“∨”表示“或”，用于连接P和Q，形成“P或Q”（P∨Q）。在经典逻辑和数学中，∨是包容的（Inclusive Or）：P∨Q为真当P真、Q真或两者皆真；仅当P和Q同时为假时为假。
| P | Q | P∨Q | |-----|-----|-----| | 真 | 真 | 真 | | 真 | 假 | 真 | | 假 | 真 | 真 | | 假 | 假 | 假 |
例子：
- “2是素数或4是偶数。”P真，Q真，故P∨Q真（即使两者皆真）。
- “2是素数或4是素数。”P真，Q假，故P∨Q真。
- “0是正数或1是负数。”两者皆假，故P∨Q假。
> 常见误解澄清：日常语言中“或”有时是排斥的（Exclusive Or，XOR），即“P或Q但不同时”。例如，“你要茶或咖啡”通常暗示只能选一种。但在数学命题逻辑中，∨始终是包容的。若需表达排斥或，可用“(P∨Q) ∧ ¬(P∧Q)”。在正式数学文本中，除非特别说明，“或”均指包容或。
4. 蕴含（Implication）：→
蕴含联结词“→”表示“如果…那么…”，形成“如果P，那么Q”（P→Q）。P称为前件（Antecedent），Q称为后件（Consequent）。其真值表最易引起困惑：
| P | Q | P→Q | |-----|-----|-----| | 真 | 真 | 真 | | 真 | 假 | 假 | | 假 | 真 | 真 | | 假 | 假 | 真 |
关键理解：
- P→Q为假**仅当**P真而Q假。换言之，当前件真而后件假时，承诺被打破，蕴含为假。
- 其他三种情况均为真。特别是，**前件假时，无论后件如何，P→Q自动为真**。这称为“**空洞真理**”（Vacuously True）。
为什么这样定义？ 数学中的“如果…那么…”表达的是逻辑上的保证关系：每当P成立时，Q必须成立。如果P从未成立（前件假），则没有任何反例，故蕴含被视为真。例如：
- “如果1+1=3，那么巴黎在法国。”前件假，故整个蕴含为真（尽管后件真）。
- “如果1+1=3，那么巴黎在德国。”前件假，后件假，蕴含仍为真。
- “如果今天是星期一，那么明天是星期三。”前件真（假设）而后件假（明天应是星期二），故蕴含假。
蕴含P→Q等价于“P是Q的充分条件”，即P真可保证Q真。同时，Q是P的必要条件，即P真必须Q真（若Q假则P必假）。这将在后文详述。
电子版交互提示：尝试构造真值表：对于命题“(P→Q) ∧ (Q→R)”，当P真、Q假、R真时，其真值为何？(P→Q)为真（前件真后件假？不，P真Q假，故P→Q假；Q假R真，Q→R真；合取为假。可拖动真值滑块实时查看结果（假设有交互功能）)
---
复合命题的真值表方法
当命题包含多个联结词时，需通过真值表系统计算其真值。方法：列出所有输入命题（如P、Q、R）的所有可能真值组合（共2ⁿ行，n为命题数），然后逐列计算每个子公式，最后得到复合命题的真值。
示例：设命题公式为 $(P \land Q) \to (R \lor \lnot S)$。有四个原子命题P、Q、R、S，故有2⁴=16种组合。为节省篇幅，我们展示部分：
| P | Q | R | S | P∧Q | ¬S | R∨¬S | (P∧Q)→(R∨¬S) | |-----|-----|-----|-----|-----|-----|------|---------------| | 真 | 真 | 真 | 真 | 真 | 假 | 真 | 真 | | 真 | 真 | 真 | 假 | 真 | 真 | 真 | 真 | | 真 | 真 | 假 | 真 | 真 | 假 | 假 | 假 | | 真 | 真 | 假 | 假 | 真 | 真 | 真 | 真 | | 真 | 假 | 真 | 真 | 假 | 假 | 真 | 真 | | 真 | 假 | 真 | 假 | 假 | 真 | 真 | 真 | | 真 | 假 | 假 | 真 | 假 | 假 | 假 | 真 | | 真 | 假 | 假 | 假 | 假 | 真 | 真 | 真 | | 假 | 真 | 真 | 真 | 假 | 假 | 真 | 真 | | 假 | 真 | 真 | 假 | 假 | 真 | 真 | 真 | | 假 | 真 | 假 | 真 | 假 | 假 | 假 | 真 | | 假 | 真 | 假 | 假 | 假 | 真 | 真 | 真 | | 假 | 假 | 真 | 真 | 假 | 假 | 真 | 真 | | 假 | 假 | 真 | 假 | 假 | 真 | 真 | 真 | | 假 | 假 | 假 | 真 | 假 |