歡迎來到數學邏輯的世界！
歡迎各位 H3 數學探索者！當你們深入鑽研 9820 課程大綱中的「數學陳述」部分時，你會發現數學不僅僅是數字的運算，更是邏輯的語言。今天，我們將聚焦於變換陳述的一種特定方式：逆命題 (Inverse)。
如果起初覺得這些概念有點抽象，請不用擔心。讀完這份筆記後，你就會明白邏輯遵循著非常明確的「道路規則」，這些規則能讓即使是最複雜的定理也變得易於理解。讓我們開始吧！
1. 舞台搭建：條件陳述
在討論逆命題之前，我們需要先回顧一下基礎。在邏輯學中，我們經常使用條件陳述 (Conditional Statements)，也就是所謂的「若……則……」陳述。
我們通常寫作：
若 \(P\)，則 \(Q\)。
或用符號表示：\(P \implies Q\)
• \(P\) 被稱為前件 (antecedent)（條件部分）。
• \(Q\) 被稱為後件 (consequent)（結果部分）。
例子：「如果正在下雨 (\(P\))，那麼地面就是濕的 (\(Q\))。」
2. 什麼是逆命題？
一個陳述的逆命題是通過對「若」的部分和「則」的部分同時進行否定 (negating) 來建立的。簡單來說，我們只需要在兩邊都加上「不」字！
定義：
如果原始陳述為 \(P \implies Q\)，
那麼逆命題為：若非 \(P\)，則非 \(Q\)。
用符號表示：\(\neg P \implies \neg Q\)
記憶小撇步：「In-verse」就是「In-sert」一個「not」！
請記住，對於逆命題，你保持原來的順序，但要否定兩個部分。
逐步示例：
1. 原始陳述：如果你住在新加坡 (\(P\))，那麼你住在亞洲 (\(Q\))。
2. 否定第一部分：你不是住在新加坡 (\(\neg P\))。
3. 否定第二部分：你不是住在亞洲 (\(\neg Q\))。
4. 逆命題：如果你不是住在新加坡，那麼你不是住在亞洲。
重點總結： \(P \implies Q\) 的逆命題是 \(\neg P \implies \neg Q\)。你不需要交換順序；只需反轉兩個部分的真值即可。
3. 黃金法則：真值與逆命題
這是許多同學容易絆倒的地方：僅僅因為原始陳述為真，並不代表逆命題也一定為真。
讓我們再看看剛才新加坡的例子：
• 原始陳述：「如果你住在新加坡，那麼你住在亞洲。」（這是真的）。
• 逆命題：「如果你不是住在新加坡，那麼你不是住在亞洲。」（這是假的！因為你可能住在日本或泰國，而這些地方同樣位於亞洲）。
快速複習：邏輯等價性
重要提示：一個陳述與其逆命題並非邏輯等價。它們的真值並不總是相同。如果你僅僅因為原始陳述為真就假設逆命題也為真，那麼你就犯了一種被稱為「否定前件」的邏輯謬誤。
你知道嗎？
在法律界和電腦程式設計中，混淆陳述及其逆命題可能會導致嚴重的錯誤！在 H3 數學中，我們會訓練大腦去識別這些「邏輯謬誤」，從而構建出完美的證明。
4. 逆命題 vs. 逆否命題 vs. 否命題
既然你在研讀「數學陳述」，你會遇到三個「表親」。讓我們看看它們的區別，這樣你就不用搞混了：
• 原始： \(P \implies Q\)
• 逆命題 (Inverse)： \(\neg P \implies \neg Q\)（兩邊同時否定）
• 否命題 (Converse)： \(Q \implies P\)（交換位置）
• 逆否命題 (Contrapositive)： \(\neg Q \implies \neg P\)（交換位置且同時否定）
生活類比：
想像一台自動販賣機。
原始：如果我投入一美元 (\(P\))，那麼我會得到一罐汽水 (\(Q\))。
逆命題：如果我不投入一美元，那麼我不會得到一罐汽水。
（逆命題總是真的嗎？未必！也許有人留了一罐免費汽水在那裡，或者機器壞了在免費掉落飲料！邏輯要求我們必須非常嚴謹。）
5. 處理量詞
在 H3 數學中，你經常會看到像「對於所有」(\(\forall\)) 和「存在」(\(\exists\)) 這樣的量詞 (Quantifiers)。當你對包含這些量詞的陳述進行取逆命題時，請務必格外小心！
例子：「對於所有 \(x\)，若 \(x > 5\)，則 \(x^2 > 25\)。」
要找出條件部分的逆命題：
「對於所有 \(x\)，若 \(x \le 5\)，則 \(x^2 \le 25\)。」
避免常見錯誤：
當否定「大於」(\(>\)) 時，逆命題中的符號應變為「小於或等於」(\(\le\))。千萬別忘了「等於」的部分！
6. 總結與最後的建議
重點總結：
• 要構建逆命題，請否定假設和結論：\(\neg P \implies \neg Q\)。
• 逆命題與原始陳述不相同（它們不是邏輯等價的）。
• 逆命題與否命題 (\(Q \implies P\)) 具有邏輯等價性。如果你證明了否命題為真，那麼你也自動證明了逆命題為真！
最後的鼓勵：
邏輯就像一場拼圖遊戲。當你第一次看到像 \(\neg P \implies \neg Q\) 這樣的符號時，它看起來可能像一門外語。但一旦你意識到這只是「如果這不發生，那麼那也不會發生」的一種正式表達方式，它就會成為你數學工具箱中強大的武器。繼續用不同的陳述進行練習，它很快就會變成你的直覺！