歡迎來到 H3 數學的世界！
歡迎修讀 H3 數學 (9820)！如果你選擇了這門科目，你一定是一位不僅關心數學「是什麼」，更熱衷於探究其背後的「為什麼」和「如何」的學生。在第一個單元——數學陳述 (Mathematical Statements) 中，我們將會探討數學語言的基石。你可以把它想像成學習一門新語言的文法和詞彙，為日後編寫優美且嚴謹的邏輯「語句」打好基礎。
別擔心，這些概念初看可能有點抽象。在讀完這些筆記後，你就會明白它們其實是整理思維的工具，讓我們能以 100% 的確定性來證明複雜的數學難題！
1. 基礎：什麼是定義 (Definition)？
在日常生活中，詞彙往往很模糊。如果你說一間「大房子」，有人可能覺得是五房單位，而有人卻覺得是五十間房。但在數學中，我們不能有這種混淆。定義 (Definition) 是對一個術語精確含義的共同約定。
重點： 定義本身並不需要證明。它是起點。它只是在說：「當我使用這個詞時，其意思就是指這件事。」
例子：偶數 (Even Numbers)
我們將整數 \( n \) 定義為偶數，條件是存在一個整數 \( k \)，使得 \( n = 2k \)。
為什麼這樣做很有用？ 因為現在當我們在證明過程中要討論偶數時，我們不會只說「像 2, 4, 6 這樣的數」，而是使用精確的代數形式 \( 2k \)。
記憶法：「字典規則」
把定義想像成字典條目。它不會告訴你某樣東西是否「正確」或「好」；它只告訴你這個詞代表什麼，確保大家對概念的理解達成共識。
快速回顧： 定義是我們在進行任何數學運算前所達成共識的「名稱」與「規則」。
2. 提出主張：什麼是命題 (Proposition)？
有了定義，我們就可以開始作陳述。命題 (Proposition) 是一個數學陳述，它必須是真 (True) 或假 (False)，但不能兩者皆是。
避免常見誤區： 並非每個句子都是命題！
- 「5 是質數嗎？」 (這是問題，不是命題)。
- 「數學真有趣！」 (這是主觀意見，不是數學命題)。
- 「\( x > 5 \)」 (這還不是命題，因為我們不知道 \( x \) 是什麼。我們稱這種句子為開放式陳述)。
命題的例子：
1. 「兩個偶數之和必為偶數。」 (這是一個真命題)。
2. 「7 是一個偶數。」 (這是一個假命題，但它依然是一個命題，因為我們可以斷定它是錯的)。
類比：法庭上的證人
把命題想像成法庭上的證人所作的供詞。該陳述必須是一個清晰的主張，可以被驗證為事實或謊言。
重點： 命題是一個具有「真值」（真或假）的「主張」。
3. 黃金標準：什麼是定理 (Theorem)？
在 H3 數學中，你會遇到許多「定理」。簡單來說，定理 (Theorem) 是透過邏輯、定義以及先前已建立的定理，經由證明後確認為真的命題。
你知道嗎？ 科學中的「理論」可能會隨新證據出現而更新，但數學定理則是永恆不變的。畢竟畢氏定理 (Pythagorean Theorem) 在 2,000 年後依然完全正確！
真理的層級
數學家有時會根據定理的「規模」或「重要性」使用不同的名稱：
- 公理 (Axiom)： 我們假設為真且無需證明的陳述（絕對的起點）。
- 定理 (Theorem)： 一個重大且重要的結果。
- 引理 (Lemma)： 一個「墊腳石」結果。它是一個較小的定理，用來幫助證明更大的定理。
- 推論 (Corollary)： 一個「附加」結果。當某個定理被證明後，幾乎可以立即得出的命題。
例子：
定理： 三角形的內角和為 \( 180^\circ \)。
推論： 三角形不可能有多於一個鈍角。（這是一個「附贈」的事實，一旦你知道上面的定理，這顯然是真的！）
重點： 所有定理都是命題，但只有那些被證明為真的命題才能被稱為定理。
4. 整合概念：它們如何連結
看看這三者如何在邏輯鏈中運作會很有幫助。如果覺得有點形式化也別擔心；這只是數學家思考的結構而已！
邏輯鏈：
- 定義： 我們定義「質數」和「偶數」的意思。
- 命題： 有人提出一個主張：「所有質數都是奇數。」
- 調查： 我們檢查該主張。發現 2 既是質數，又是偶數。
- 新命題： 我們修正主張：「只有一個偶數質數，那就是 2。」
- 定理： 當我們利用定義證明了這個修正後的主張，它就成為了一個定理。
快速總結表
術語：定義 (Definition)
是什麼？ 對字詞或符號達成共識的含義。
例子： 設 \( n \) 為整數。若存在某整數 \( k \) 使得 \( n = 2k + 1 \)，則 \( n \) 為奇數。
術語：命題 (Proposition)
是什麼？ 一個要麼為真、要麼為假的陳述。
例子： 「任何奇數的平方都是奇數。」
術語：定理 (Theorem)
是什麼？ 已通過邏輯證明為真的命題。
例子： 二項式定理 (Binomial Theorem) 或畢氏定理 (Pythagoras' Theorem)。
給你的鼓勵：
如果這些區別現在讓你覺得有點「吹毛求疵」，別灰心！當你進入下一個關於「條件句」和「邏輯連接詞」的章節時，你將會明白擁有這些明確的定義標籤，能讓你如何在處理複雜問題時不至於迷失方向。你正在打造大師級數學家的工具箱！