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 數學中所做一切的基礎。花點時間把這些基礎打好，下一章的證明內容會感覺自然得多！