老师说"高个子的同学站起来"——全班面面相觑：多高算高？175 算吗？174.9 呢？数学拒绝这种含糊。集合就是把"一堆东西"钉死成一个明确定义的整体，逻辑用语就是把"如果…那么…"这种人话翻译成不会吵架的命题。这一站是高中数学的第一块地基：后面所有函数定义域、不等式解集、概率样本空间，全靠它。
集合：把"一堆东西"钉死成数学对象 （可参看：集合运算深化）（可参看「集合运算：交并补、Venn 图与区间表示」深化）
【为什么先学它】高中第一章不是函数，而是集合。原因很简单：后面你写"函数 f(x) 的定义域是 x ∈ ℝ"，那个 ∈ 就是集合语言。不会集合，你连"x 能取什么值"都写不清楚。
① 集合三性：一个集合凭什么成立
则三条铁律，缺一个就不是集合
1. 确定性：给定一个对象，它要么属于这个集合，要么不属于，不能模棱两可。"高个子的人"不是集合（174.9 算高吗？说不清）；"身高 ≥ 180cm 的人"是集合（一量就知道）。
2. 互异性：集合里的元素互不相同。写 {1, 1, 2} 等于写 {1, 2}，重复元素只算一次。这条在做集合相等题时是隐形考点：解出参数后必须代回去检验有没有重复。
3. 无序性：{1, 2, 3} 和 {3, 2, 1} 是同一个集合。集合不关心顺序，只关心"有谁"。
② 三种表示法：什么时候用哪个
思三种写法，三种场景
列举法：把元素一个个列出来，写在大括号里，如 {1, 2, 3, 4}。元素少、能数清时用。无限集不能用列举法写全（除非像自然数那样写 {1, 2, 3, …}）。
描述法：{x | x 满足什么条件}，如 {x | x > 3}、{x | x² − 1 = 0}。元素多、是连续区间或满足某规律时用。竖线左边写代表元素，右边写限制条件，别搞反。
Venn 图：用圆圈画在纸上，靠面积和重叠关系看交并补。它不是"表示法"，是"看图工具"，做运算题时画两个圈一秒出答案。
③ 子集、真子集、空集：谁装着谁
⊂子集是"我里面的你全有"
子集 A ⊆ B：A 的每一个元素都在 B 里。注意：空集 ∅ 是任何集合的子集，任何集合是它自身的子集。这条每年都有人忘。
真子集 A ⊊ B：A ⊆ B 且 A ≠ B（B 里至少有一个元素不在 A 里）。写 ⊂ 时多数教材默认指真子集，高考里要看清符号。
空集 ∅：不含任何元素的集合。它是"最容易被漏掉的子集"。题目给 A ⊆ B，求参数范围时，一定要单独讨论 A = ∅ 的情况！
④ 交、并、补：集合的三种运算
| 运算 | 符号 | 定义 | 记忆画面 |
|---|---|---|---|
| 交集 | A ∩ B | 既在 A 又在 B 的元素 | 两个圆重叠的那块 |
| 并集 | A ∪ B | 在 A 或在 B 的全部元素 | 两个圆合起来的整块 |
| 补集 | ∁ᵤ A | 全集 U 中不在 A 里的元素 | 方框里扣掉圆剩下的部分 |
思运算心法：交=且，并=或，补=非
看到"且/同时/都要"→ 交 ∩。同时满足两个条件，就是取公共部分。
看到"或/至少一个/要么"→ 并 ∪。满足任一条件即可，全部合起来。
看到"不/不是/排除"→ 补 ∁。先定全集 U（题目给的范围），再扣掉 A。
德摩根定律：∁(A ∪ B) = (∁A) ∩ (∁B)，∁(A ∩ B) = (∁A) ∪ (∁B)。口诀："补号进，交变并、并变交"。
⑤ 区间：集合的简写外套
段区间就是连续数集的缩写
连续数集用区间写比描述法快：开区间 (a, b) = {x | a < x < b}（端点不取），闭区间 [a, b] = {x | a ≤ x ≤ b}（端点取）。方括号挨着 = 取端点；圆括号挨着 = 不取端点。∞ 端永远用圆括号，因为无穷不是一个能"取到"的数。
并集符号 ∪ 在区间运算里照样用，如 {x | x < 1 或 x ≥ 3} = (−∞, 1) ∪ [3, +∞)。
① A = (−1, 3]，B = [1, +∞)
② 交：两者重叠部分从 1（B 的端点，取）到 3（A 的端点，取）→ A ∩ B = [1, 3]
③ 并：从 A 的左端 −1（不取）往右全部覆盖 → A ∪ B = (−1, +∞)
答案：A ∩ B = [1, 3]，A ∪ B = (−1, +∞)。
① 因为 1 ∈ A，所以 1 ∈ B。分三种情况：
② 若 a = 1：则 A = {1, 1, b}，违反互异性（两个 1），舍。
③ 若 a² = 1：则 a = −1（a=1 已舍）。此时 A = {1, −1, b}，B = {−1, 1, −b}。比较得 b = −b → b = 0。
④ 若 ab = 1：结合 a² = b（A=B 还需对应），联立 ab=1 与 a²=b 得 a³=1 → a=1，又舍。
⑤ 检验：a=−1, b=0 时 A = {1,−1,0}，B = {−1,1,0}，确实相等。
答案：a = −1，b = 0。易错提醒：解完必须代回检验互异性！
① 解 A：x² − 3x − 4 = (x−4)(x+1) ≤ 0 → A = [−1, 4]
② 情况一：B = ∅。当 m+1 > 2m−1，即 m < 2 时 B 为空集，空集 ⊆ A 恒成立。
③ 情况二：B ≠ ∅。需 m+1 ≤ 2m−1（即 m ≥ 2），且 B 的区间落在 [−1, 4] 内：
左端：m+1 ≥ −1 → m ≥ −2（与 m≥2 合并仍为 m≥2）
右端：2m−1 ≤ 4 → m ≤ 2.5
得 2 ≤ m ≤ 2.5
④ 合并两种情况：m < 2 或 2 ≤ m ≤ 2.5 → m ≤ 2.5
答案：m 的取值范围是 (−∞, 5/2]。
常用逻辑用语：把话说成不会吵架的命题 （可参看：充分必要条件深化）（可参看「充分条件与必要条件：什么时候够用」深化）
【为什么重要】高考选择题第一题常考"p 是 q 的什么条件"。它不是送分题，是送命题——因为"充分"和"必要"经常搞反。
① 充分条件与必要条件：谁推谁
⇒命题 p ⇒ q 的两种读法
给定"若 p，则 q"（记作 p ⇒ q）：
p 是 q 的充分条件：有 p 就够了，p 成立一定能推出 q 成立。"充分"= 足够。
q 是 p 的必要条件：q 是 p 的底线，p 成立必须先有 q 成立；q 不成立则 p 一定不成立。"必要"= 缺它不行。
充要条件：p ⇒ q 且 q ⇒ p（双向箭头 p ⇔ q）。p 和 q 说的是同一件事。
思判断口诀：箭头方向定身份
画箭头：从条件推结论，能推出的方向打 ⇒。问"p 是 q 的什么条件"，就看 p→q 能不能推。
前充分后必要："p ⇒ q"中，箭尾 p 是充分条件，箭头 q 是必要条件。
集合法秒判：设 p 对应集合 P，q 对应集合 Q。P ⊆ Q 就是 p ⇒ q（小范围推大范围）。小范围是大范围的充分不必要条件。这条做选择题最快。
① P ⊂ Q（小范围在大范围里）。
② p 成立则 q 一定成立（x>3 必然 x>1）→ p ⇒ q。
③ 反过来 q 成立推不出 p（x=2 时 x>1 但不 x>3）。
答案：p 是 q 的充分不必要条件。
② 全称量词 ∀ 与存在量词 ∃
∀两种"量词"，两种命题
全称命题：对所有 x 都成立，记 ∀ x ∈ M, p(x)。读作"任意 x 属于 M，都有 p(x)"。例：∀ x ∈ ℝ，x² ≥ 0。
存在命题：存在至少一个 x 使它成立，记 ∃ x ∈ M, p(x)。读作"存在 x 属于 M，使 p(x)"。例：∃ x ∈ ℝ，x² = 2。
否定规则（必须背）：∀ 的否定是 ∃，∃ 的否定是 ∀，同时把结论否定。
"∀ x, p(x)" 的否定 = "∃ x, ¬p(x)"；"∃ x, p(x)" 的否定 = "∀ x, ¬p(x)"。
学生最常犯：只否定结论，忘了把量词也换掉。例如把"所有男生都高"的否定写成"所有男生都不高"——错！正确否定是"存在至少一个男生不高"。
③ 四种命题与逻辑联结词
| 命题 | 形式 | 真假关系 |
|---|---|---|
| 原命题 | 若 p，则 q | — |
| 逆命题 | 若 q，则 p | 与原命题真假无关 |
| 否命题 | 若 ¬p，则 ¬q | 与原命题真假无关 |
| 逆否命题 | 若 ¬q，则 ¬p | 与原命题同真同假 |
逻辑联结词：且（p ∧ q，两者都真才真）、或（p ∨ q，至少一真就真）、非（¬p，取反）。记忆点："且"像交集（都要），"或"像并集（有一个就行）。
为什么学逆否命题：原命题不好证明时，证它的逆否命题，真假完全等价。这是反证法的根子。
① 命题即：对所有 x ∈ [1,2]，a ≥ x²。
② 要让 a 比区间里所有 x² 都大，a 只要 ≥ x² 的最大值。
③ x ∈ [1,2] 时 x² ∈ [1,4]，最大值为 4。
答案：a ≥ 4，即 a ∈ [4, +∞)。
① 求子集忘空集：A ⊆ B 求参数，永远先讨论 A = ∅。
② 集合相等不验互异：解出参数代回去，看有没有元素重复。
③ 充分必要搞反：记住"小范围推大范围"，画集合图比背定义快。
④ 否定命题只否结论不换量词：∀↔∃ 必须一起换。
⑤ 区间端点开闭搞错：含等号取闭括号，不含取开括号，∞ 永远开。
① 集合看三性（确定/互异/无序），运算看三个字（交=且、并=或、补=非）。
② 判断条件画集合：小范围是大范围的充分不必要，大范围是小范围的必要不充分。
③ 含量词命题的否定：量词翻过来（∀↔∃），结论再否定。
综合自测（点击选项即时判断）
共 6 题，覆盖集合运算、条件判断、量词否定。
1. 下列各组对象，能构成集合的是？
2. 集合 {1, 2, 3} 的真子集个数是？
3. 设 A = {x | x < 2}，B = {x | x ≥ −1}，则 A ∩ B = ？
4. "x > 2" 是 "x² > 4" 的什么条件？
5. 命题 "∀ x ∈ ℝ，x² + x + 1 > 0" 的否定是？
6. 原命题"若 a = 0，则 ab = 0"，与其同真同假的是？