歡迎來到數學邏輯的世界！
歡迎來到 H3 數學！如果你曾看過複雜的數學證明，並好奇數學家是如何決定下一步該做什麼的，那麼你正在接觸邏輯陳述 (logical statements) 的力量。在本章中，我們將聚焦於條件句 (Conditionals)。你可以把它們想像成數學推理的「交通規則」。透過理解「若……則……」句式是如何運作的，你將能夠拆解複雜的問題，並建立穩固的證明。
如果起初覺得有點棘手，別擔心！ 邏輯感覺就像是在學習一門新語言，但一旦你掌握了其中的規律，它就會成為你數學工具箱中最強大的工具之一。
1. 基礎概念：「若……則……」（蘊含式 Implication）
數學推理最基本的構件就是條件句 (conditional statement)，通常寫作「若 \( P \)，則 \( Q \)」。在符號表示法中，我們將其寫為 \( P \implies Q \)。
在這個陳述中：
- \( P \) 被稱為假設 (hypothesis)（或前件 antecedent）。這是我們起始的條件。
- \( Q \) 被稱為結論 (conclusion)（或後件 consequent）。這是當條件滿足時會發生的結果。
類比： 想像你的父母說：「如果你洗車，我就給你 10 元。」
- \( P \)：你洗了車。
- \( Q \)：你得到 10 元。
邏輯連接詞：「蘊含 (Implies)」
符號 \( \implies \) 是一個邏輯連接詞。當我們說 \( P \implies Q \) 時，我們是指：每當 \( P \) 為真時，\( Q \) 必然也為真。這並不一定意味著 \( P \) 導致了 \( Q \)，只是它們以這種特定的方式連結在一起。
你知道嗎？ 在數學中，一個條件句只有在特定情況下才被視為偽 (False)：當假設 (\( P \)) 為真，但結論 (\( Q \)) 為偽時。如果你洗了車，而父母卻沒有給你錢，那他們就是在說謊！
重點摘要： \( P \implies Q \) 的意思是如果前件發生，後件就一定會發生。
2. 充分條件與必要條件
這部分是許多同學容易卡住的地方，但一旦你用對了關鍵字，其實非常簡單！
充分條件 (Sufficient Conditions)
如果知道 \( P \) 為真就「足以」保證 \( Q \) 也為真，我們就稱 \( P \) 是 \( Q \) 的充分條件。
例子： 成為正方形是成為長方形的充分條件。如果你知道某個形狀是正方形，這項資訊就足以讓你確認它同時也是長方形。
必要條件 (Necessary Conditions)
如果 \( P \) 要成立，\( Q \) 必須為真，那麼我們稱 \( Q \) 是 \( P \) 的必要條件。沒有 \( Q \)，\( P \) 就無法發生。
例子： 有燃油是汽車發動的必要條件。如果沒有燃油，汽車絕對無法發動。
記憶法：SUN 記憶術
思考箭頭 \( P \implies Q \) 的方向：
S \( \implies \) N
(Sufficient 充分 \( \implies \) Necessary 必要)
箭頭的起點是充分 (Sufficient)；箭頭指向的是必要 (Necessary)。
快速回顧：
- 充分 (Sufficient)：「如果有這個，就足夠了。」
- 必要 (Necessary)：「我必須有這個才能繼續。」
3. 雙條件句：「若且唯若 (if and only if)」
有時，關係是雙向的。我們稱之為雙條件句 (bi-conditional statement)，寫作「\( P \) 若且唯若 \( Q \)」，或以符號寫作 \( P \iff Q \)。
這意味著兩件事同時發生：
1. \( P \implies Q \)（若 \( P \)，則 \( Q \)）
2. \( Q \implies P \)（若 \( Q \)，則 \( P \)）
在此情況下，\( P \) 對 \( Q \) 而言是既充分又必要的。它們在邏輯上是等價的；它們「同生共死」。
例子： 一個三角形是等邊三角形，若且唯若它的三個內角皆為 \( 60^\circ \)。
- 如果是等邊三角形，角度必然是 \( 60^\circ \)。
- 如果角度是 \( 60^\circ \)，它必然是等邊三角形。
4. 相關條件句：逆敘述、否敘述與逆否敘述
當我們有一個原始陳述 \( P \implies Q \) 後，我們可以將其翻轉或否定，以創造三種新的陳述。這是考試題目中最愛考的部分！
讓我們使用原始陳述：「如果正在下雨 (\( P \))，那麼地面是濕的 (\( Q \))。」
逆敘述 (Converse)
交換順序： \( Q \implies P \)
例子：「如果地面是濕的，那麼正在下雨。」
注意： 逆敘述並不總是正確的！即使原始陳述是真的（可能有人潑了一桶水）。
否敘述 (Inverse)
同時否定兩邊： \( \text{not } P \implies \text{not } Q \)
例子：「如果沒有下雨，那麼地面不是濕的。」
注意： 和逆敘述一樣，否敘述並不一定為真。
逆否敘述 (Contrapositive)
交換順序且同時否定： \( \text{not } Q \implies \text{not } P \)
例子：「如果地面不是濕的，那麼沒有下雨。」
關鍵點： 逆否敘述在邏輯上總是與原始陳述等價。如果原始陳述為真，那麼逆否敘述也必然為真！
\( P \implies Q \) 的總結表
- 原始陳述 (Original)： \( P \implies Q \)
- 逆敘述 (Converse)： \( Q \implies P \)
- 否敘述 (Inverse)： \( \neg P \implies \neg Q \)
- 逆否敘述 (Contrapositive)： \( \neg Q \implies \neg P \) （逆否證法中的「黃金法則」！）
5. 需避免的常見錯誤
1. 誤以為逆敘述為真： 僅僅因為「如果 \( x=2 \)，則 \( x^2=4 \)」是真的，並不代表「如果 \( x^2=4 \)，則 \( x=2 \)」是真的（因為 \( x \) 可能是 \( -2 \)）。在假設「若且唯若」之前，務必檢查反向是否確實成立。
2. 否定混淆： 當否定一個陳述時，請記住「若 \( P \)，則 \( Q \)」的否定並不是另一個「若……則……」句式。其否定其實是：「\( P \) 為真，且 \( Q \) 為偽。」
總結檢查清單
在進入下一章之前，請確保你能夠：
- 識別「若……則……」句式中的假設與結論。
- 解釋為什麼充分條件是「足夠的」，而必要條件是「必須的」。
- 寫出任何陳述的逆敘述、否敘述與逆否敘述。
- 記住一個陳述及其逆否敘述總是具有相同的真值。
- 在「若且唯若」的情況下正確使用符號 \( \iff \)。
做得好！ 你已經掌握了建構所有高等數學證明的邏輯基礎。繼續練習在其他數學課題中識別這些邏輯結構吧！