Contrapositive

歡迎來到邏輯翻轉的世界！

在 H3 數學中，我們不再只是單純地計算數字，而是開始探討邏輯本身的結構。你可以把這一章想像成學習數學的「語法」。在你的邏輯工具箱中，最強大的工具之一就是逆否命題 (Contrapositive)。

如果起初覺得邏輯有點抽象，別擔心！讀完這份筆記後，你會發現逆否命題其實只是以另一種角度來表達同一件事的巧妙方法。它是數學命題的「秘密雙胞胎」，往往能讓艱澀的證明變得迎刃而解。

1. 基礎架構：條件命題與否定

在定義逆否命題之前，我們先快速重溫課程中的兩個基本概念：

• 條件命題 (\( P \implies Q \))： 這是一個「如果……那麼……」的語句。例如：「如果正在下雨 (P)，那麼草地是濕的 (Q)。」
• 否定 (\( \neg \))： 這是語句的「非」。如果 \( P \) 是「正在下雨」，那麼 \( \neg P \)（讀作「非 P」）就是「沒有在下雨」。

2. 什麼是逆否命題？

條件命題 \( P \implies Q \) 的逆否命題是通過兩個步驟形成的：
1. 調換 \( P \) 和 \( Q \) 的位置。
2. 將兩者同時否定。

公式：
如果原命題是 \( P \implies Q \)，那麼它的逆否命題就是 \( \neg Q \implies \neg P \)。

現實生活中的例子：新加坡案例

讓我們看一個顯而易見的正確命題：
「如果你在烏節路 (Orchard Road)，那麼你就在新加坡。」

• \( P \)： 你在烏節路。
• \( Q \)： 你在新加坡。

要得出逆否命題，我們將它們翻轉並否定：
「如果你不在新加坡，那麼你不在烏節路。」

這有道理嗎？當然有！如果你連這個國家都不在，你當然不可能在那條特定的街道上。這邏輯完全站得住腳。

重點總結： 要寫出逆否命題，請記得：「翻轉它並否定它！」

3. 邏輯等價：「黃金法則」

在 H3 數學中最重要的一點就是：一個命題與其逆否命題在邏輯上是等價的。

這意味著如果原命題是真 (True)，其逆否命題也必為真；如果原命題是假 (False)，其逆否命題也必為假。它們就像一枚硬幣的兩面。

快速複習：「冒牌貨」命題

學生經常將逆否命題與逆命題 (Converse) 或否命題 (Inverse) 混淆。請小心！它們與原命題在邏輯上不一定等價。

沿用剛才的新加坡例子 (\( P \implies Q \))：
• 逆命題 (\( Q \implies P \))： 「如果你在新加坡，那麼你在烏節路。」（不一定正確！你可能在裕廊）。
• 否命題 (\( \neg P \implies \neg Q \))： 「如果你不在烏節路，那麼你不在新加坡。」（同樣不一定正確！你可能在淡濱尼）。

唯有逆否命題保證與原命題完全一致。

4. 為什麼逆否命題很有用？

在課程的第三部分（問題解決策略）中，我們鼓勵你「重述問題」。有時候，直接證明 \( P \implies Q \) 非常令人沮喪，因為「如果」部分（假設）並未提供足夠的資訊供你推導。

策略小貼士： 如果直接證明陷入困境，試著證明逆否命題 (\( \neg Q \implies \neg P \))。由於它們在邏輯上等價，證明了逆否命題，就等同於證明了原命題！

數學分步示例

命題： 「如果 \( n^2 \) 是偶數，那麼 \( n \) 是偶數」（其中 \( n \) 為整數）。
直接證明會比較麻煩，因為從「\( n^2 \) 是偶數」開始，意味著 \( n^2 = 2k \)，而開根號會引入根式 (\( \sqrt{2k} \))，運算過程會變得雜亂。

步驟 1：找出逆否命題。
「偶數」的否定是「奇數」。因此，逆否命題為：
「如果 \( n \) 是奇數，那麼 \( n^2 \) 是奇數。」

步驟 2：進行邏輯推導。
如果 \( n \) 是奇數，那麼對於某個整數 \( k \)，\( n = 2k + 1 \)。
那麼 \( n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 \)。
我們可以將其寫成 \( n^2 = 2(2k^2 + 2k) + 1 \)。
這顯然符合奇數的定義形式！

步驟 3：結論。
既然我們證明了逆否命題為真，那麼原命題也必定為真。這樣寫是不是乾淨利落多了？

5. 常見錯誤避雷區

• 忘記否定： 只調換位置而不進行否定，得到的是逆命題，而不是逆否命題。
• 忘記調換： 只進行否定而不調換位置，得到的是否命題。
• 否定錯誤： 在否定包含「且」或「或」的語句時要特別小心。（記得德摩根定律： 「A 且 B」的否定是「非 A 或 非 B」）。

你知道嗎？

使用逆否命題是間接證明 (Indirect Proof) 的精髓。數學家們數千年來一直利用它來解決看似無法正面突破的問題。這就像當正門鎖住時，找到一扇側門進入建築物一樣！

總結清單

• \( P \implies Q \) 的逆否命題是 \( \neg Q \implies \neg P \)。
• 原命題與其逆否命題總是共享相同的真值（邏輯等價）。
• 當結論的否定 (\( \neg Q \)) 比原命題的假設 (\( P \)) 更容易作為證明的起點時，請使用逆否命題。
• 不要慌張——如果感到困惑，回想一下新加坡/烏節路的例子來重整思路！