OCME · 中英數學知識與推導

數學基礎語言候選路徑

從計數的具體語言前進到集合、命題與邏輯連接詞，建立閱讀後續數學物件所需的基礎語言。

這是教學建議順序，不是一般性的邏輯依賴或已形式化證明。

1. 階段 1 · required

   自然數

   先用熟悉的計數對象建立數學概念與符號的區分。

   相關題目 概念導讀

2. 階段 2 · required

   集合

   再以集合整理對象、元素與整體之間的語言。

   相關題目 概念導讀

3. 階段 3 · required

   命題

   引入可被斷言、判定與證明的數學陳述。

   相關題目 概念導讀

4. 階段 4 · required

   邏輯連接詞

   用否定、合取、析取、蘊涵與雙條件組合命題。

   相關題目 概念導讀

5. 階段 5 · required

   數學證明

   以明示前提與合法推理建立結論。

   相關題目 概念導讀