一、逻辑与命题基础

  1. 命题（Proposition）

    • 能判断真假的语句
    • 例：所有学生都及格 → 真或假

  2. 量词（Quantifiers）

    • 全称量词 ∀：表示“所有元素满足某条件”
    • 存在量词 ∃：表示“至少有一个元素满足”
    • 组合量词：多层嵌套 ∀、∃
      • ∀学生 ∃课程 学生及格 → 每个学生至少有一个及格课程
      • ∃课程 ∀学生 学生及格 → 存在一个课程，所有学生都及格

  3. 命题证明思路

    • 全称命题：任意取一个元素，证明成立
    • 存在命题：构造具体例子或找反例

二、集合与函数

  1. 集合表示关系

    • 用集合表示元素及其关系
    • 例：学生集合 S、课程集合 C

  2. 函数表示结构

    • 函数 f: S×C → 分数，表示学生课程及格情况
    • 函数本质是输入→输出规则

三、整数与数论基础

  1. 奇偶性（整数分类）

    • 偶数：n = 2k

      • 能被 2 整除
      • 偶+偶=偶，偶×整数=偶

    • 奇数：n = 2k+1

      • 不能被 2 整除
      • 奇+奇=偶，奇×奇=奇

    • 平方性质：偶²=偶，奇²=奇

  2. 互质（Coprime）

    • 两个整数最大公约数为 1
    • 用于证明有理数/无理数问题

  3. 有理数与分数化简

    • 每个有理数可以表示为最简分数
    • 用于证明 √2 等无理数问题

四、模运算（Modular Arithmetic）

  1. 定义

    • a mod m = a 除以 m 的余数 r，0 ≤ r < m
    • 例：n mod 3 ∈ {0,1,2}

  2. 性质

    • 加法： (a+b) mod m = ((a mod m) + (b mod m)) mod m
    • 乘法： (a·b) mod m = ((a mod m)·(b mod m)) mod m
    • 指数： (a^k) mod m = ((a mod m)^k) mod m

  3. 核心应用

    • 无限整数 → 分类到有限余数桶
    • 先对每一项 mod → 相加/相乘 → 最后再 mod → 得到最终余数

五、证明方法

  1. 分类法（Case Analysis）

    • 根据 n mod m 或奇偶性，将整数归类
    • 检查每类情况 → 覆盖所有整数

  2. 构造法（Construction）

    • 对存在命题 ∃ 构造具体例子
    • 例：找 n ≡ 1 mod 3 → n²+n+1 可被 3 整除

  3. 反证法（Contradiction）

    • 假设命题为真/假 → 推出矛盾
    • 用于证明“不存在”或“必然成立”的命题

  4. 任取法（Arbitrary Selection）

    • 任取元素证明全称命题成立
    • 例：∀学生 ∃课程 学生及格 → 任取一个学生，找对应课程

六、综合应用示例

  1. 量词 + 函数

    • ∀s ∈ S ∃c ∈ C f(s,c) ≥ 60

      • 分析方法：任取 s → 构造 c → f(s,c) ≥ 60

    • ∃c ∈ C ∀s ∈ S f(c,s) ≥ 60

      • 反例法 → 找到一个学生不及格即可否定

  2. 整数模运算应用

    • 判断 n²+n+1 是否能被 3 整除
    • 分类 n mod 3 ∈ {0,1,2}
    • 代入 f(n) mod 3 → 找到可整除的余数 → 构造反例

七、思维方法总结

  • 归纳无限到有限 → 分类法、模运算
  • 构造具体例子 → 存在量词、证明命题为真
  • 抽象公式化 → 函数、集合表示结构和关系
  • 逻辑分析 → 全称/存在量词嵌套 → 推导真假
  • 直观理解 → 循环、余数桶、图示帮助思考