歡迎來到數學邏輯的世界！

在 H3 數學中，你不再只是一個「計算器」——你是一位數學評論家和架構師。在數學探究與閱讀數學文本這一部分中，最重要的技能之一就是完成或評論一個證明過程。

與其單純地解出 \(x\)，你將會面對一份完成（或半完成）的作業，並問自己：「這真的合理嗎？」或是「要讓這座橋樑穩固，還缺了什麼？」如果一開始覺得這有點抽象，別擔心。把它想像成選秀節目的評審——你要做的就是找出作品的亮點，並指出其中的破綻！


1. 完成證明過程：「補全缺失的橋樑」

有時候，數學家只會提供證明的「草圖」。你的任務是填補邏輯上的空缺，使之成為一個完整的解法。這種情況常出現在數學歸納法或直接證明法中。

如何填補空缺：

1. 確認目標：該解法最終試圖達到的定理或命題是什麼？
2. 檢查連接詞：是否遺漏了「蘊含」（\(\Rightarrow\)）的箭頭？下一步是否真的能從前一步推導出來？
3. 檢查分類情況：作者是否只解決了 \(n > 0\) 的情況，卻忽略了 \(n = 0\)？完成證明往往意味著要補上這些特殊情況。

例子：如果一個證明展示了當 \(n\) 為偶數時 \(n^2\) 亦為偶數，但目標是證明所有整數的情況，你就必須考慮 \(n\) 為奇數的情況，從而完成該證明。

小貼士：在文本中留意「同理可證……」(Similarly...) 這類字眼。數學家常以此跳過步驟。要完成證明，你必須能精確解釋該「同理」背後的具體推論！


2. 評論證明過程：化身數學偵探

所謂評論一個證明，是指評估其有效性。邏輯是否嚴密，還是論證中存在「漏洞」？即使最終答案正確，其推論過程也可能是錯誤的。

常見的「警示訊號」：

A. 逆命題謬誤 (Converse Error)：「若 \(P\)，則 \(Q\)」為真，並不代表「若 \(Q\)，則 \(P\)」也為真。 類比：「若正在下雨，草地就會濕」是真的。但如果你看到草地是濕的，不能直接假設是因為下雨——也許有人用了灑水器！

B. 誤用量詞：注意「對於所有」(\(\forall\)) 與「存在」(\(\exists\)) 之間的差別。 常見錯誤：證明了某事對一個數成立 (\(\exists\))，就宣稱它對所有數成立 (\(\forall\))。

C. 除以零：這聽起來很簡單，但在複雜的代數證明中，作者往往會在未確保 \(x \neq a\) 的情況下，除以一個變量（如 \(x - a\)）。這是評論題中經典的「漏洞」。

D. 循環論證：證明是否預設了結論為真來證明該結論？ 例子：為了證明 \(A\) 為真，作者使用了性質 \(B\)。但性質 \(B\) 只有在 \(A\) 為真的前提下才存在。這是一個邏輯上的「死胡同」！

重點總結：

評論並不僅僅是說「這是錯的」。一個好的評論會指出邏輯在哪裡失敗以及為什麼（例如：「作者在沒有證明的情況下，假設了其逆命題為真」）。


3. 邏輯連接詞與條件句

要有效地進行評論，你必須掌握課程大綱中的術語。如果你覺得這些很混淆，把它們想像成「邏輯交通號誌」。

  • 必要條件 (Necessary Condition)：結論要成立所必須滿足的條件。（若條件不滿足，結論絕對為假）。
  • 充分條件 (Sufficient Condition)：如果滿足此條件，就保證結論成立。
  • 若且唯若 (If and only if, iff)：這意味著關係在兩個方向上都完全成立。這是數學等價性的「黃金標準」。

你知道嗎？許多學生因為在題目要求提供充分條件時，卻給出了必要條件而丟分。務必檢查邏輯的「箭頭」是指向單向還是雙向！


4. 評論證明的逐步指南

當你拿到一份文本進行評論時，請遵循以下步驟：

1. 使用反例測試：在閱讀邏輯之前，試試簡單的數值。如果「證明」聲稱對所有 \(n\) 成立，試試 \(n=0\) 或 \(n=1\)。如果失敗，你立刻就找到了反例證明法！
2. 識別「若……則……」：清楚標記作者的假設（前提）以及他們試圖展示的目標（結論）。
3. 檢查定義：作者是否正確使用了定義？例如，當討論「質數」時，他們是否不小心將 1 也包含進去了？
4. 尋找漏洞：文中是否有「顯然……」或「清楚地……」這類句子？這些往往是邏輯鏈中最脆弱環節的藏身之處。


5. 總結與快速複習

如果一開始覺得棘手，不用擔心！評論能力屬於高階技巧，隨著練習會不斷提升。你正在從數學的「使用者」轉變為數學的「分析師」。

快速複習箱：
- 完成證明：找出缺失的步驟、分類情況或邏輯連結。
- 評論證明：尋找邏輯謬誤（逆命題謬誤、循環論證、除以零）。
- 量詞：確保正確使用 \(\forall\)（對於所有）和 \(\exists\)（存在）。
- 反例：「擊破」錯誤證明的最快方法。

記憶口訣：評論時使用 "C.A.S.E." 方法：
Converse (檢查是否有逆命題謬誤)
Assumptions (檢查假設是否有效)
Special cases (檢查是否遺漏 \(n=0\) 或 \(n=1\) 等特殊情況)
Equivalence (檢查「若」是否被誤認為「若且唯若」)？


繼續練習這些探究活動吧！你閱讀他人的數學推論越多，你自己的數學寫作能力就會越進步。