Negation

歡迎來到邏輯否定的世界！

在你的 H3 數學旅程中，你已經接觸過各種數學命題。但當我們想表達一個命題的「完全相反」時，該怎麼辦呢？這就是所謂的否定 (Negation)。雖然聽起來很簡單——就像把「是」變成「否」一樣——但在數學中，否定複雜的命題需要一點邏輯和謹慎。掌握這一點至關重要，因為它是反證法 (Proof by Contradiction) 和 反例證偽法 (Disproof by Counterexample) 的基礎，這些內容你稍後會在課程大綱中深入探討。

如果起初覺得這些概念有點抽象，別擔心！我們會將其拆解成簡單的「積木」，讓你即使面對最可怕的方程式也能迎刃而解。

1. 基礎：什麼是否定？

命題 \( P \) 的否定是另一個命題，當 \( P \) 為假時它為真，當 \( P \) 為真時它為假。簡單來說，它就是「邏輯上的對立面」。

符號：我們通常使用符號 \( \neg P \) 或 \( \sim P \) 來表示 \( P \) 的否定。你可以將其讀作「非 \( P \)」(not \( P \))。

快速類比：想像一個電燈開關。如果命題 \( P \) 是「燈是開著的」，那麼否定 \( \neg P \) 就是「燈不是開著的」（這意味著燈是關著的）。在古典邏輯中，沒有中間地帶！

關鍵總結：一個命題及其否定永遠具有相反的真值。如果你能證明否定為假，那麼原命題就一定是真的！

2. 否定「且」(\( \land \)) 與「或」(\( \lor \))

當我們使用「且」或「或」來連接命題時，我們需要利用德摩根定律 (De Morgan’s Laws) 來進行否定。這是許多學生最容易犯錯的地方，所以請務必留心！

否定「且」：

"\( P \) 且 \( Q \)" 的否定是 "\( \neg P \) 或 \( \neg Q \)"。
\( \neg (P \land Q) \equiv (\neg P) \lor (\neg Q) \)

否定「或」：

"\( P \) 或 \( Q \)" 的否定是 "\( \neg P \) 且 \( \neg Q \)"。
\( \neg (P \lor Q) \equiv (\neg P) \land (\neg Q) \)

記憶小撇步：當「非」(\( \neg \)) 符號移入括號內時，它會翻轉連結詞！「且」會變成「或」，而「或」會變成「且」。

例子： 假設你父母說：「你可以吃蛋糕 且 吃冰淇淋。」要證明他們說錯了（即否定該命題），你只需要證明你沒有吃到蛋糕 或 你沒有吃到冰淇淋。你不需要兩者都沒吃到！

快速複習：

1. 否定「現在在下雨，且天氣很冷。」
答案：「現在沒有下雨 或 天氣不冷。」

3. 最大陷阱：否定條件句 (\( P \implies Q \))

這是學生最容易失分的地方。如果你遇到「若...則...」的命題，該如何否定它？

常見錯誤：許多學生認為「若 \( P \)，則 \( Q \)」的否定是「若 \( P \)，則非 \( Q \)」。這可是錯誤的！

正確做法：\( P \implies Q \) 的否定是：\( P \) 為真 且 \( Q \) 為假。
\( \neg (P \implies Q) \equiv P \land \neg Q \)

為什麼？想像一個承諾。如果我說：「如果你拿到 A，我就會幫你買手機。」我唯一違背承諾（即否定該命題）的情況，就是你真的拿到 A (\( P \) 為真)，但我沒有幫你買手機 (\( Q \) 為假)。

關鍵總結：「若...則...」命題的否定不是另一個「若...則...」命題。它描述的是一種特定情況：滿足了前提條件，但結果卻失敗了。

4. 否定量詞：「全稱」與「存在」

在 H3 數學中，你會經常看到符號 \( \forall \) (對於所有) 和 \( \exists \) (存在)。否定這些量詞就像跳舞一樣——你需要交換符號並否定後面的命題。

規則一：否定「對於所有」(\( \forall \))

要反證某事對於所有人都成立，你只需要找到一個人不成立即可。
"\( \forall x, P(x) \)" 的否定是 "\( \exists x \) 使得 \( \neg P(x) \)"。

規則二：否定「存在」(\( \exists \))

要反證至少有一個東西存在，你必須證明所有東西都不符合條件。
"\( \exists x \) 使得 \( P(x) \)" 的否定是 "\( \forall x, \neg P(x) \)"。

例子：
命題：「所有的質數都是奇數。」(\( \forall p \in \text{Primes}, p \text{ is odd} \))
否定：「存在一個質數不是奇數。」(\( \exists p \in \text{Primes} \) 使得 \( p \) 為偶數)
（因為 2 是質數且是偶數，所以否定為真，原命題為假！）

處理複雜否定的步驟指引：
1. 將所有的 \( \forall \) 改為 \( \exists \)。
2. 將所有的 \( \exists \) 改為 \( \forall \)。
3. 否定最後的數學命題/謂詞。

你知道嗎？這種「交換」規則正是數學家尋找著名猜想反例的方法！

5. 綜合應用：嵌套量詞

有時你會看到帶有多個量詞的命題，例如：\( \forall \epsilon > 0, \exists \delta > 0 \dots \)
別慌！只需從左到右，一步一步地遵循「交換並否定」的規則即可。

例子： 否定命題 \( \forall x \in \mathbb{R}, \exists y \in \mathbb{R} \) 使得 \( x + y = 0 \)。
步驟 1：將 \( \forall x \) 改為 \( \exists x \)。
步驟 2：將 \( \exists y \) 改為 \( \forall y \)。
步驟 3：將 "\( x + y = 0 \)" 否定為 "\( x + y \neq 0 \)"。
結果： \( \exists x \in \mathbb{R} \) 使得 \( \forall y \in \mathbb{R}, x + y \neq 0 \)。

關鍵總結：像機器一樣處理這些符號。翻轉量詞，然後翻轉最後的命題。

6. 總結與最後小撇步

快速複習表：
- 且 (\( \land \)) 變成 或 (\( \lor \))，反之亦然。
- 對於所有 (\( \forall \)) 變成 存在 (\( \exists \))，反之亦然。
- \( P \implies Q \) 變成 \( P \text{ 且 } \neg Q \)。
- \( = \) 變成 \( \neq \)。
- \( > \) 變成 \( \leq \)（別忘了包含「等於」的部分！）。

常見陷阱：在否定不等式時，學生常忘記包含邊界條件。\( x > 5 \) 的否定不是 \( x < 5 \)，而是 \( x \leq 5 \)。如果原命題沒有「等於」，否定句中就必須要有！

鼓勵：否定是數學邏輯中的「秘密武器」。一旦你能準確地否定一個命題，你就能開始使用反證法——這是數學家工具箱中最強大的工具之一。保持練習這些「翻轉」操作，它們很快就會成為你的直覺！