教材 · 数学 Course 2 · 数与式

集合与命题

集合と命題

集合的表示与运算、命题与条件、充分条件与必要条件、逆・裏・対偶与反证法。

学习目标

  • 能把交集、并集、补集落到韦恩图的具体几块或数轴上的具体范围,并用元素个数公式(含三个集合)算出问卷人数和某范围内倍数的个数。
  • 能用集合的包含关系判断「若 p 则 q」的真假、给出反例,并在 EJU 的四选一里准确选出必要条件、充分条件、充要条件或都不是。
  • 能写出含「且」「或」「所有」「存在」的条件的否定,判断逆・裏・対偶的真假,并用对偶证明或反证法完成倍数和无理数的证明。
阅读路线

按顺序读三节。「集合与元素个数」打底:韦恩图的四块、数轴上的区间、德摩根定律和元素个数公式,后两节都要用。「命题与条件、充要条件」把条件看成集合,用包含关系判断真假和必要・充分,这是 EJU 每回都会出的四选一。「否定、逆・裏・対偶、反证法」把德摩根定律变成否定的规则,再学对偶证明和反证法。时间紧时先读前两节;第三节的证明方法在「整数的性质」一章还会用到。

  1. 1集合与元素个数集合と要素の個数两个集合把全体切成四块,交集、并集、补集都是其中几块的组合;数并集时重叠部分被数了两遍,要减掉一次:n(A∪B)=n(A)+n(B)−n(A∩B)n(A\cup B)=n(A)+n(B)-n(A\cap B)。补集的横线拆开时 ∩\cap 与 ∪\cup 互换(德摩根定律)。集合 · 约 1700 字
  2. 2命题与条件、充要条件命題と条件・必要十分条件p⟹qp\Longrightarrow q 为真就是 P⊂QP\subset Q:小集合 PP 是充分条件,大集合 QQ 是必要条件;两个方向都真(P=QP=Q)是充要条件。说假只要一个反例(满足 pp 却不满足 qq),说真必须讲出对所有情况都成立的理由。命題と条件 · 约 1500 字
  3. 3否定、逆・裏・対偶、反证法否定・逆・裏・対偶と背理法否定时「且」「或」互换、「所有」「存在」互换;命题与它的对偶 q‾⟹p‾\overline q\Longrightarrow\overline p 真假相同,逆与裏则可能不同。直接证不出时,改证对偶,或者假设结论不成立、推出矛盾(反证法)。命題と条件 · 约 1700 字