數學術語中法對照表 符號列表 1 命題邏輯 1.1 命題 1.2 否定，合取，析取 1.3 等價 1.4 蘊含 1.5 演繹推理 1.6 證明方法 1.7 習題 2 集合論 2.1 集合的概念 2.1.1 定義與例題 2.1.2 集合的相等 2.1.3 如何定義集合 2.1.4 其他常用參考集合 2.2 量詞 2.2.1 定義與例題 2.2.2 量詞的否定與交換 2.2.3 關于變量的類型 2.2.4 量詞相關的數學方法 2.3 集合的包含 2.3.1 定義，例題與性質 2.3.2 空集 2.3.3 集合的冪集 2.4 集合運算 2.4.1 交集與并集 2.4.2 差集與補集 2.5 邏輯與集合論的對應關系 2.6 笛卡爾積 2.7 集族與劃分 2.7.1 集族 2.7.2 劃分 2.8 習題 2.8.1 量詞 2.8.2 集合 3 映射與函數 3.1 定義與例題 3.1.1 定義 3.1.2 常用映射 3.1.3 復合 3.2 緣集，直接像集，原像集 3.2.1 直接像集 3.2.2 原像集 3.2.3 ，共與延拓 3.3 單射，滿射，雙射 3.3.1 單射 3.3.2 滿射 3.3.3 雙射 3.4 補充 3.4.1 元素族與笛卡爾積 3.4.2 康托爾定理 3.4.3 康托爾-伯恩施坦定理 3.5 習題 4 數學證明方法 4.1 已學方法的概述 4.2 其他常用證明方法 4.2.1 反證法 4.2.2 歸納法 4.2.3 分析綜合法 4.3 常用算術定義