Logical connectives

欢迎来到逻辑语言的世界！

欢迎来到 H3 数学！你可能习惯于解复杂的方程或绘制精密的曲线，但这一章节有些不同。你可以将逻辑连接词 (Logical Connectives) 视为数学的“语法”。在我们编写复杂的数学“句子”或证明之前，我们需要先理解这些基本的组成单元，以及如何将它们连接起来。如果一开始觉得很抽象也不用担心——一旦你掌握了其中的规律，这就像学习一门全新的、极其精确的语言！

1. 组成单元：命题、定义与定理

在探讨连接词之前，我们需要先了解我们在连接些什么。在数学中，我们不会随便使用句子，而是使用特定类型的陈述。

命题 (Propositions)

命题是一个要么为真 (True)，要么为假 (False)，但不能两者皆是的陈述。这是一种“事实主张”。
例子：“7 是质数”（真）。
例子：“所有偶数都能被 3 整除”（假）。
非命题：“数学有趣吗？”（这是一个问题，并非关于真伪的主张）。

定义 (Definitions)

定义是对某个术语含义的共识。在数学中，定义是“游戏规则”。我们不需要证明定义；它们是我们开启旅程的起点。
例子：我们定义偶数为一个整数 \(n\)，使得对于某个整数 \(k\)，满足 \(n = 2k\)。

定理 (Theorems)

定理是一个透过逻辑和定义证明为真的数学陈述。它就像是真理的“黄金标准”。
例子：毕氏定理 (Pythagoras' Theorem)。

快速回顾：将定义想像成身份证，将命题想像成某人的主张，而将定理想像成已经过官方验证的主张。

2. 基本逻辑连接词：“与”、“或”、“非”

连接词是让我们将简单命题结合成复杂命题的“胶水”。

“非”(Negation)

陈述 \(P\) 的否定是“非 \(P\)”，通常写作 \(\neg P\)。它单纯地将真值反转。
例子：如果 \(P\) 是“正在下雨”，那么 \(\neg P\) 就是“没有在下雨”。

“与”(Conjunction)

只有当 \(P\) 和 \(Q\) 两个陈述皆为真时，\(P\) 与 \(Q\) 的合取才为真。如果其中有一个为假，整个陈述就是假的。
类比：如果服务生说：“这个套餐包含汉堡和薯条”，如果你只拿到其中一样，你一定会很生气！

“或”(Disjunction)

在数学中，“或”是包含性的。如果 \(P\) 为真，或 \(Q\) 为真，或者两者皆真，那么陈述“\(P\) 或 \(Q\)”就是真的。
类比：如果职位要求写着“申请人必须拥有学位或 5 年经验”，如果你有学位、有经验，或者两者皆有，你都可以申请！

重点归纳：“与”是很严格的（两者都必须成立）；“或”则是慷慨的（至少一个成立即可）。

3. 条件句：“如果……那么……”陈述

这是数学推理的核心。我们将“如果 \(P\)，那么 \(Q\)”写作 \(P \implies Q\)（读作“\(P\) 蕴含 \(Q\)”）。

在陈述 \(P \implies Q\) 中：
- \(P\) 是假设 (Hypothesis)（“如果”的部分）。
- \(Q\) 是结论 (Conclusion)（“那么”的部分）。

必要条件与充分条件

这两个术语常让学生困惑，这里有一个简单的记法：

1. 充分条件 (Sufficient Condition)：如果 \(P\) 为真，这就足以保证 \(Q\) 为真。所以，\(P\) 对于 \(Q\) 是充分的。
2. 必要条件 (Necessary Condition)：为了让 \(P\) 有机会为真，\(Q\) 必须为真。所以，\(Q\) 对于 \(P\) 是必要的。

生活类比：
“如果你在滨海湾金沙酒店 (Marina Bay Sands)，那么你就在新加坡。”
- 在滨海湾金沙酒店是知道你在新加坡的充分条件（这已经是足够的证据了）。
- 在新加坡是身处滨海湾金沙酒店的必要条件（如果你不在新加坡，就不可能在滨海湾金沙！）。

“若且唯若”(Bi-conditional)

我们将其写作 \(P \iff Q\)。这意味着蕴含关系是双向的：\(P \implies Q\) 且 \(Q \implies P\)。当两个陈述在逻辑上完全相同时，我们会使用这个符号。

4. 条件句的变体：逆命题、否命题与逆否命题

一旦我们有了“如果 \(P\)，那么 \(Q\)”的陈述，我们就可以进行转换。让我们用这个陈述为例：“如果是正方形，那么它是矩形。”

1. 逆命题 (Converse)：交换顺序 (\(Q \implies P\))。
“如果是矩形，那么它是正方形。”（警告：原命题为真，不代表逆命题也一定为真！）

2. 否命题 (Inverse)：否定两边 (\(\neg P \implies \neg Q\))。
“如果不是正方形，那么它不是矩形。”（这也不一定为真！）

3. 逆否命题 (Contrapositive)：交换且否定 (\(\neg Q \implies \neg P\))。
“如果不是矩形，那么它不是正方形。”

你知道吗？逆否命题是原命题的“秘密双胞胎”。它们在逻辑上是等价的。如果原命题为真，逆否命题也永远为真。这是证明过程中的强大工具！

记忆小撇步：要得到逆否命题，只需要“翻转并交换”——翻转顺序并切换真伪（否定）。

5. 量词：“对于所有”与“存在”

量词告诉我们一个陈述适用于多少元素。

全称量词 (\(\forall\))

符号：\(\forall\)（看起来像倒转的 'A'，代表 'All'）。
它的意思是“集合中的每一个”。
例子：\(\forall x \in \mathbb{R}, x^2 \ge 0\)。(对于所有实数 \(x\)，\(x^2\) 大于或等于零)。

存在量词 (\(\exists\))

符号：\(\exists\)（看起来像反转的 'E'，代表 'Exists'）。
它的意思是“至少存在一个”。
例子：\(\exists x \in \mathbb{Z}\) 使得 \(x + 5 = 10\)。(存在一个整数 \(x\) 使这成立——在本例中，\(x=5\))。

唯一存在 (\(\exists!\))

如果你看到惊叹号 \(\exists!\)，它意味着“恰好存在一个”唯一元素。

常见错误：不要搞混顺序！“对于每个人，都存在一顶合适的帽子”与“存在一顶适合每个人的帽子”是非常不同的。量词的顺序很重要！

6. 否定复杂命题

否定含有量词和连接词的陈述是常见的考试任务。以下是“黄金法则”：

1. 否定量词：\(\forall\) 变成 \(\exists\)，\(\exists\) 变成 \(\forall\)。
2. 否定陈述：对最后的性质进行否定。
例子：“所有天鹅都是白色的”(\(\forall s, s\) 是白色的) 的否定是“至少存在一只天鹅是不白色的”(\(\exists s, s\) 不是白色的)。

否定“与”/“或”：
- (\(P\) 与 \(Q\)) 的否定是 (\(\neg P\) 或 \(\neg Q\))。
- (\(P\) 或 \(Q\)) 的否定是 (\(\neg P\) 与 \(\neg Q\))。
（这就像代数中的分配负号，但中间的符号会翻转！）

重点归纳：要否定一个陈述，将“所有”改为“有些”，“有些”改为“所有”，并将“是”改为“不是”。

最终总结清单

在继续学习证明之前，请确保你已经掌握以下内容：

• 你能辨别命题与定义吗？
• 你知道 \(P \implies Q\) 与它的逆否命题是相同的吗？
• 你能解释为什么“年满 18 岁”是成为首相的必要条件，但不是充分条件吗？
• 在否定一个陈述时，你能将 \(\forall\) 翻转为 \(\exists\) 吗？

逻辑是你之后在 H3 数学中所做一切的基础。花点时间把这些基础打好，下一章的证明内容会感觉自然得多！