第一章 集合与常用逻辑用语

本章核心定位：本章是高中数学的"元语言"——集合提供了一种精确描述数学对象的语言，逻辑用语则为数学推理提供了严密的表达工具。掌握本章内容，是理解后续高中数学各章节的必要前提。

---

0. 前置：为什么高中数学从"集合"讲起？

0.1 集合论的诞生：康托尔与"无穷"的严格化

在19世纪以前，数学界对"无穷"的处理缺乏严格性。古希腊的芝诺悖论、中世纪关于无穷的讨论，均暴露出当时数学在应对无穷概念时的逻辑困境。

格奥尔格·康托尔（Georg Cantor, 1845–1918） 的研究改变了这一状况。1874年，康托尔发表了关于无穷集合的论文，首次以严格的数学方式处理无穷集合。其主要发现包括：

• 无穷集合的基数差异：自然数集 $\mathbb{N}$ 和实数集 $\mathbb{R}$ 均为无穷集，但实数集的基数严格大于自然数集的基数（不可数无穷）。康托尔用对角线论证法证明了不存在从自然数到实数的一一对应。
• 无穷集合的特征性质：对于无穷集合，真子集可以与全集建立一一对应（如偶数集与自然数集等势）。这一性质在有限集合中不成立。

康托尔的工作最初遭到部分数学家的反对（包括他的老师克罗内克），但最终被数学界接受。1900年，希尔伯特在巴黎国际数学家大会上将连续统假设列为23个最重要的数学问题之一。如今，集合论已成为现代数学的基础——从函数的定义到微积分的严格化，均以集合论为语言框架。

0.2 高中为什么要学集合？

教材将集合放在高中数学开篇，原因在于集合语言在后续章节中的基础性作用：

后续课程	集合语言的应用
函数	"设 $f:A\to B$ 是从集合 $A$ 到集合 $B$ 的映射"
解不等式	解集 $\{x\mid x^2-3x+2>0\}$ 的本质就是集合
定义域与值域	分别对应自变量和函数值所构成的集合
轨迹与方程	曲线是满足条件的点的集合
概率	样本空间、事件都是集合

集合语言是阅读和理解高中数学各章节定义的必要工具。

---

1.1 集合的概念

1.1.1 元素的三个特性：集合概念的内在逻辑要求

教材指出集合中的元素具有确定性、互异性、无序性。这三条特性并非人为规定，而是集合概念内在的逻辑要求：

1. 确定性

一个对象要么属于这个集合，要么不属于，不存在中间状态。

反例："我们班身高比较高的同学"不能构成集合——"比较高"没有客观标准。而"我们班身高超过175cm的同学"就可以构成集合。

深层含义：确定性意味着讨论一个集合时，必须先有一个明确的判定法则 $P(x)$，使得对任何对象 $x$，"$P(x)$ 成立"这个命题的真假是确定的。

2. 互异性

集合 $\{1,1,2\}$ 实际上就是 $\{1,2\}$。重复的元素只算一个。

深层含义：互异性源于集合的本质——集合关注的是"有哪些不同种类的对象"，而非"每个对象出现了几次"。（如需记录重复次数，则为多重集的概念，不在高中范围内。）

隐性考点：已知 $\{a,a^2,1\}$ 是一个集合，求 $a$ 的取值范围。

分析：由互异性，需 $a\ne a^2$ 且 $a\ne 1$ 且 $a^2\ne 1$。解得 $a\ne 0,a\ne 1,a\ne -1$。

易错点：部分学生只列 $a\ne 1$，遗漏了 $a^2=1$ 导致 $a=-1$ 也不满足条件，以及 $a=0$ 时 $a=a^2$ 的情况。

3. 无序性

$\{1,2,3\}$ 与 $\{3,1,2\}$ 是同一个集合。

深层含义：集合只关心"成员资格"（membership），不关心成员的排列顺序。这与数列（有序）形成对照。

1.1.2 集合的表示法

列举法：$\{1,2,3,4,5\}$

• 优点：直观
• 局限：无法表示元素无限或规律复杂的集合

描述法：$\{x\in A\mid P(x)\}$（读作"满足 $P(x)$ 的 $A$ 中元素 $x$ 的集合"）

• 左边是代表元素及其取值范围
• 右边竖线后是元素满足的条件

描述法的本质：描述法是集合的内涵式定义——不罗列元素，而是给出元素所满足的判定条件。这与列举法（外延式定义）等价，但适用范围更广。

隐性考点①：代表元素的识别

集合表示	集合的本质	元素类型
$\{(x,y)\mid y=x\}$	直线 $y=x$ 上的所有点	点（有序数对）
$\{y\mid y=x\}$	若无其他限制，$y=x$ 中 $x$ 未说明，通常理解为数集（需明确 $x$ 的范围）	数
$\{x\mid y=x\}$	同上，代表元素是 $x$	数
$\{(x,y)\mid y=x^2,x\in \mathbb{R}\}$	抛物线 $y=x^2$ 上的所有点	点
$\{y\mid y=x^2,x\in \mathbb{R}\}$	抛物线的值域 $[0,+\mathrm{\infty })$	数
$\{x\mid y=x^2,x\in \mathbb{R}\}$	抛物线的定义域 $\mathbb{R}$	数

核心区别：代表元素是 $(x,y)$ 还是 $x$ 还是 $y$，直接决定了集合是点集还是数集。

1.1.3 常用数集符号（必须熟记）

符号	名称	含义
$\mathbb{N}$	自然数集	$\{0,1,2,3,\dots \}$（注意：人教A版2019版含0）
${\mathbb{N}}^{\ast }$ 或 ${\mathbb{N}}_{+}$	正整数集	$\{1,2,3,\dots \}$
$\mathbb{Z}$	整数集	$\{\dots ,-2,-1,0,1,2,\dots \}$
$\mathbb{Q}$	有理数集	可以表示为 $\frac{p}{q}$（$p,q\in \mathbb{Z},q\ne 0$）的数
$\mathbb{R}$	实数集	所有有理数和无理数
${\mathbb{R}}_{+}$	正实数集	$(0,+\mathrm{\infty })$

词源说明：$\mathbb{N}$ 来自 "Natural"，$\mathbb{Z}$ 来自德语"Zahl"（数），$\mathbb{Q}$ 来自"Quotient"（商），$\mathbb{R}$ 来自"Real"。

---

1.2 集合间的基本关系

1.2.1 子集：$A\subseteq B$ 的严格定义

定义：如果集合 $A$ 的每一个元素都是集合 $B$ 的元素，那么称 $A$ 是 $B$ 的子集，记作 $A\subseteq B$（或 $B\supseteq A$）。

逻辑形式化：

$$A\subseteq B⟺\mathrm{\forall }x(x\in A\Rightarrow x\in B)$$

这里的符号 $\mathrm{\forall }$ 是全称量词（读作"对所有的"），$\Rightarrow$ 表示逻辑蕴含。这一对应关系建立了集合语言与逻辑语言之间的形式联系。

1.2.2 为什么空集是任何集合的子集？

定理：对任意集合 $A$，都有 $\mathrm{\varnothing }\subseteq A$。

证明：根据子集定义，需证 $\mathrm{\forall }x(x\in \mathrm{\varnothing }\Rightarrow x\in A)$。

对任意 $x$，命题 "$x\in \mathrm{\varnothing }$" 恒为假（空集没有元素）。在逻辑学中，当前提为假时，整个蕴含式 "$P\Rightarrow Q$" 恒为真（称为"实质蕴含"或"空虚真"）。

因此 $\mathrm{\varnothing }\subseteq A$ 对任意 $A$ 成立。

易错警示②：$A\subseteq B$ 包含 $A=B$ 和 $A⊊B$ 两种情况。特别地，$\mathrm{\varnothing }\subseteq \mathrm{\varnothing }$ 成立，但 $\mathrm{\varnothing }⊊\mathrm{\varnothing }$ 不成立（真子集要求"不等于"）。

1.2.3 真子集与集合相等

关系	符号	定义	逻辑表达
子集	$\subseteq$	$A$ 的元素都在 $B$ 中	$\mathrm{\forall }x(x\in A\Rightarrow x\in B)$
真子集	$⊊$（或 $⫋$）	$A\subseteq B$ 且 $A\ne B$	$\mathrm{\forall }x(x\in A\Rightarrow x\in B)\wedge \mathrm{\exists }x(x\in B\wedge x\notin A)$
集合相等	$=$	$A\subseteq B$ 且 $B\subseteq A$	$\mathrm{\forall }x(x\in A\iff x\in B)$

集合相等的证明策略：要证 $A=B$，通常证 $A\subseteq B$ 且 $B\subseteq A$（双向包含）。这是证明两个集合相等的最常用方法。

1.2.4 子集关系与逻辑蕴含的对应

本章的核心深层联系：

集合语言	逻辑语言	含义
$A\subseteq B$	$\mathrm{\forall }x(x\in A\Rightarrow x\in B)$	"属于 $A$" 蕴含 "属于 $B$"
$A=B$	$\mathrm{\forall }x(x\in A\iff x\in B)$	双向蕴含
$A⊊B$	$\mathrm{\forall }x(x\in A\Rightarrow x\in B)\wedge \mathrm{\exists }x(x\in B\wedge x\notin A)$	单向蕴含且不等价

上述对应揭示了：集合的包含关系本质上是命题的蕴含关系在元素层面的累积。

---

1.3 集合的基本运算

1.3.1 并集：$A\cup B$

定义：$A\cup B=\{x\mid x\in A\text{ 或 }x\in B\}$

关键词是**"或"**——这是逻辑中的"相容或"（inclusive or），即 $x$ 可以同时属于 $A$ 和 $B$。

Venn图表示：两个相交圆中所有被至少一个圆覆盖的点构成的区域。

运算律：

• 交换律：$A\cup B=B\cup A$
• 结合律：$(A\cup B)\cup C=A\cup (B\cup C)$
• 幂等律：$A\cup A=A$
• 零元律：$A\cup \mathrm{\varnothing }=A$

1.3.2 交集：$A\cap B$

定义：$A\cap B=\{x\mid x\in A\text{ 且 }x\in B\}$

关键词是**"且"**——必须同时满足两个条件。

重要性质：

• $A\cap B\subseteq A$ 且 $A\cap B\subseteq B$
• 若 $A\cap B=\mathrm{\varnothing }$，称 $A$ 与 $B$ 互不相交

1.3.3 补集：${\complement }_{U}A$

定义：设 $U$ 为全集，${\complement }_{U}A=\{x\in U\mid x\notin A\}$

注意：补集运算必须指定全集。同一个集合在不同全集中的补集不同。例如，${\complement }_{\mathbb{R}}\mathbb{Q}$ 是无理数集，但 ${\complement }_{\mathbb{C}}\mathbb{Q}$ 包含了所有无理数和虚数。

1.3.4 集合运算与逻辑运算的对应关系

集合运算与逻辑运算之间存在同构关系：

集合运算	逻辑运算	符号对应
并集 $\cup$	析取（或）	$\vee$
交集 $\cap$	合取（且）	$\wedge$
补集 ${\complement }_U$	否定（非）	$\mathrm{\neg }$
包含 $\subseteq$	蕴含	$\Rightarrow$
相等 $=$	等价	$\iff$

上述对应可以从定义直接推出：

• $x\in A\cup B⟺(x\in A)\vee (x\in B)$
• $x\in A\cap B⟺(x\in A)\wedge (x\in B)$
• $x\in {\complement }_{U}A⟺\mathrm{\neg }(x\in A)$（在全集 $U$ 范围内）

思想方法：基于上述对应关系，集合问题可以转化为逻辑问题，逻辑问题也可以转化为集合问题。解题时可根据具体情况选择更便利的表述形式。

1.3.5 运算律（德摩根律）

$${\complement }_U(A\cup B)={\complement }_{U}A\cap {\complement }_{U}B$$

$${\complement }_U(A\cap B)={\complement }_{U}A\cup {\complement }_{U}B$$

表述："并集的补集等于补集的交集"，"交集的补集等于补集的并集"——运算符号发生互换。

与逻辑的对应：这正是逻辑中德摩根律的集合版本：

• $\mathrm{\neg }(P\vee Q)\equiv \mathrm{\neg }P\wedge \mathrm{\neg }Q$
• $\mathrm{\neg }(P\wedge Q)\equiv \mathrm{\neg }P\vee \mathrm{\neg }Q$

---

1.4 充分条件与必要条件

1.4.1 从蕴含关系说起

我们已经知道：$A\subseteq B$ 对应 $\mathrm{\forall }x(x\in A\Rightarrow x\in B)$。

现在单独审视命题 $P\Rightarrow Q$：

• 如果 $P\Rightarrow Q$ 成立，我们说 $P$ 蕴含 $Q$
• 从集合角度看，$P$ 对应的集合是 $Q$ 对应集合的子集

1.4.2 充分条件与必要条件的定义

设命题 $P$ 对应的集合为 $A=\{x\mid P(x)\}$，命题 $Q$ 对应的集合为 $B=\{x\mid Q(x)\}$：

条件关系	命题形式	集合关系	说明
$P$ 是 $Q$ 的充分条件	$P\Rightarrow Q$	$A\subseteq B$	$P$ 成立足以推出 $Q$ 成立
$P$ 是 $Q$ 的必要条件	$Q\Rightarrow P$（即 $P\Leftarrow Q$）	$A\supseteq B$	$Q$ 成立要求 $P$ 必须成立
$P$ 是 $Q$ 的充要条件	$P\iff Q$	$A=B$	等价
$P$ 是 $Q$ 的充分不必要	$P\Rightarrow Q$ 且 $Q\nRightarrow P$	$A⊊B$	单向，$A$ 真包含于 $B$
$P$ 是 $Q$ 的必要不充分	$Q\Rightarrow P$ 且 $P\nRightarrow Q$	$A⊋B$	反向单向，$A$ 真包含 $B$

方向判断方法：

• 先判断 $P\Rightarrow Q$ 还是 $Q\Rightarrow P$ 成立
• 箭头起点对应充分条件，箭头终点对应必要条件
• 即：若 $P\Rightarrow Q$，则 $P$ 充分，$Q$ 必要

1.4.3 集合图示法（Venn图）

用 Venn 图表示条件关系：

• $P$ 是 $Q$ 的充分条件：$A\subseteq B$（$A$ 的基数不大于 $B$ 的基数，$A$ 位于 $B$ 内部）
• $P$ 是 $Q$ 的必要条件：$A\supseteq B$（$A$ 的基数不小于 $B$ 的基数，$A$ 包含 $B$）

规律：集合的基数相对较小对应充分条件，集合的基数相对较大对应必要条件。集合越小，条件限制性越强（充分性越高）；集合越大，条件限制性越弱（只能作为必要条件）。

易错警示③：区分 "$P$ 是 $Q$ 的充分条件" 与 "$Q$ 是 $P$ 的充分条件"。这两句话互为逆命题，一般不等价。

---

1.5 全称量词与存在量词

1.5.1 量词的引入：从具体到抽象

日常语言中的表述如：

• "所有的直角三角形都满足勾股定理"
• "存在一个正整数，它等于它自己的平方"

数学需要将上述表达精确化，于是引入量词（quantifier）。

1.5.2 全称量词 $\mathrm{\forall }$

符号：$\mathrm{\forall }$（倒写的 A，来自 "All"）

含义："对所有的"、"对任意的"、"对每一个"

例：$\mathrm{\forall }x\in \mathbb{R},x^2\ge 0$ 表示"对所有实数 $x$，$x^2$ 大于等于零"

命题的真假判断：全称命题为真，需要对集合中每一个元素验证；为假，只需找到一个反例。

1.5.3 存在量词 $\mathrm{\exists }$

符号：$\mathrm{\exists }$（倒写的 E，来自 "Exists"）

含义："存在"、"至少有一个"

例：$\mathrm{\exists }x\in \mathbb{Q},x^2=2$ 表示"存在有理数 $x$ 使得 $x^2=2$"（这是一个假命题）

命题的真假判断：存在命题为真，只需找到一个例子；为假，需要对集合中每一个元素否定。

1.5.4 命题的否定：量词的转换

原命题	否定
$\mathrm{\forall }x\in M,P(x)$	$\mathrm{\exists }x\in M,\mathrm{\neg }P(x)$
$\mathrm{\exists }x\in M,P(x)$	$\mathrm{\forall }x\in M,\mathrm{\neg }P(x)$

规律：量词互换，结论否定。

隐性考点③："都是"与"不都是"的否定

注意区分：

• "$A$ 和 $B$ 都是 偶数" 的否定是 "$A$ 和 $B$ 不都是 偶数"（即至少有一个不是）

实际上：

• "$A$ 和 $B$ 都是偶数" $=$ "$A$ 是偶数 且 $B$ 是偶数"
• 否定是 "$A$ 不是偶数 或 $B$ 不是偶数" $=$ "$A$ 和 $B$ 不都是偶数"

常见错误：把"不都是"写成"都不是"。"不都是"意味着至少一个不是；"都不是"意味着全部不是。两者不同。

隐性考点补充：

• "$\mathrm{\forall }x,P(x)$" 的否定不是 "$\mathrm{\forall }x,\mathrm{\neg }P(x)$"（经典错误）
• "$\mathrm{\exists }x,P(x)$" 的否定也不是 "$\mathrm{\exists }x,\mathrm{\neg }P(x)$"

---

深度理解专题

专题一：子集关系 $\mathrm{\varnothing }\subseteq A$ 的多种理解视角

视角1（定义法）：$\mathrm{\forall }x(x\in \mathrm{\varnothing }\Rightarrow x\in A)$。因为前提恒假，蕴含式恒真。

视角2（逆否命题）：$\mathrm{\varnothing }\subseteq A$ 等价于 "不存在 $x$ 使得 $x\in \mathrm{\varnothing }$ 且 $x\notin A$" 。该命题成立，因为 "$x\in \mathrm{\varnothing }$" 恒假。

视角3（等价表述）：$\mathrm{\varnothing }\subseteq A⟺\mathrm{\varnothing }\cup A=A⟺\mathrm{\varnothing }\cap A=\mathrm{\varnothing }$。

专题二：含参集合与分类讨论

当集合中含有参数时，子集关系可能随参数变化而变化，需要分类讨论。

例：设 $A=\{x\mid x^2-(a+1)x+a=0\}$，$B=\{1,2\}$。若 $A\subseteq B$，求实数 $a$ 的取值范围。

分析：

• 先解方程：$x^2-(a+1)x+a=(x-1)(x-a)=0$，根为 $x=1$ 和 $x=a$。
• 讨论 $A$ 的元素个数：
  • 当 $a=1$ 时，$A=\{1\}$（重根），$\{1\}\subseteq \{1,2\}$ 成立。
  • 当 $a\ne 1$ 时，$A=\{1,a\}$。要 $A\subseteq B$，需 $a=2$（因为 $1$ 已在 $B$ 中）。
• 综合：$a=1$ 或 $a=2$。

易错点：未考虑 $a=1$ 时方程有重根，$A$ 只有一个元素。互异性导致元素个数变化。

专题三：空集的分类讨论

当题目说 "$A\subseteq B$" 且 $A$ 是由方程/不等式确定的集合时，必须考虑 $A=\mathrm{\varnothing }$ 的情况。

例：设 $A=\{x\mid ax+1=0\}$，$B=\{1,2\}$。若 $A\subseteq B$，求 $a$ 的取值。

不完整解法：直接解 $ax+1=0$ 得 $x=-\frac{1}{a}$，然后令 $-\frac{1}{a}=1$ 或 $2$，得 $a=-1$ 或 $-\frac{1}{2}$。

遗漏情形：当 $a=0$ 时，方程变为 $1=0$，无解，即 $A=\mathrm{\varnothing }$。而 $\mathrm{\varnothing }\subseteq B$ 恒成立。

正确答案：$a=0$ 或 $a=-1$ 或 $a=-\frac{1}{2}$。

---

知识串联：本章知识网络图

集合语言 ←────────→ 逻辑语言
    ↓                   ↓
  元素 ∈            命题 P(x)
  包含 ⊆            蕴含 ⇒
  相等 =            等价 ⇔
    ↓                   ↓
  并集 ∪  ←────→  或 ∨
  交集 ∩  ←────→  且 ∧
  补集 ∁  ←────→  非 ¬
    ↓                   ↓
  条件关系          集合包含
  P充分Q            A⊆B (A小B大)
  P必要Q            A⊇B (A大B小)
  P充要Q            A=B
    ↓
  量词命题
  ∀x P(x) ──否定──→ ∃x ¬P(x)
  ∃x P(x) ──否定──→ ∀x ¬P(x)

---

易错警示汇总

警示一：$\in$ 与 $\subseteq$ 的本质区别

符号	左边	右边	关系
$\in$	元素	集合	元素属于集合（成员关系）
$\subseteq$	集合	集合	集合包含于集合（包含关系）

典型错误：

• 错：$0\subseteq \{0,1\}$（$0$ 是元素不是集合）
• 错：$\{0\}\in \{0,1\}$（$\{0\}$ 不是 $\{0,1\}$ 的元素）
• 对：$0\in \{0,1\}$
• 对：$\{0\}\subseteq \{0,1\}$

特殊情况：$\{0\}$ 与 $\{\{0\}\}$ 的关系？$\{0\}$ 是集合，也是 $\{\{0\}\}$ 的元素，所以 $\{0\}\in \{\{0\}\}$。同时 $\{\{0\}\}$ 中只有一个元素，$\{0\}$ 作为集合不是其子集（除非考虑幂集，高中不涉及）。

警示二：$A\subseteq B$ 与 $A⊊B$ 的差异（$A=\mathrm{\varnothing }$ 时）

$A$ 的情况	$A\subseteq B$	$A⊊B$（当 $B\ne \mathrm{\varnothing }$ 时）
$A=\mathrm{\varnothing }$	恒成立	成立（因为 $\mathrm{\varnothing }\ne B$）
$A\ne \mathrm{\varnothing }$	需验证	需验证且 $A\ne B$

注意：若 $B=\mathrm{\varnothing }$，则 $\mathrm{\varnothing }⊊\mathrm{\varnothing }$ 不成立。

警示三：充分/必要条件方向判断

判断步骤：

1. 写出命题 $P$ 和 $Q$
2. 判断 $P\Rightarrow Q$ 是否成立
3. 判断 $Q\Rightarrow P$ 是否成立
4. 对照下表：

$P\Rightarrow Q$	$Q\Rightarrow P$	$P$ 与 $Q$ 的关系
✓	✓	$P$ 是 $Q$ 的充要条件
✓	✗	$P$ 是 $Q$ 的充分不必要条件
✗	✓	$P$ 是 $Q$ 的必要不充分条件
✗	✗	$P$ 是 $Q$ 的既不充分也不必要条件

---

思想方法提炼

方法一：分类讨论（含参集合问题）

适用场景：集合中含有参数，元素的个数或性质随参数变化而变化。

分类原则：

1. 按元素个数分类：如方程的解集，需讨论判别式 $\mathrm{\Delta }>0,=0,<0$
2. 按空集与否分类：任何涉及子集的问题，优先考虑空集
3. 按代表元素类型分类：数集 vs 点集
4. 不重不漏：分类标准统一，覆盖所有情况

方法二：数形结合（Venn图）

Venn图的功能：

• 展示集合间的关系
• 辅助理解集合运算
• 判断条件关系的集合包含方向

作图规范：

• 一般情况画相交圆（除非题目明确说明不相交或包含）
• 用不同区域表示不同运算结果
• 用阴影面积帮助计数（容斥原理的基础）

方法三：转化化归（集合语言与逻辑语言的互换）

双向转化原则：

• 集合问题难以直接处理时，可转化为逻辑/代数问题
• 逻辑问题较为抽象时，可转化为集合/Venn图进行辅助理解

例：判断 "$x>2$" 是 "$x^2>4$" 的什么条件？

• 集合角度：$A=(2,+\mathrm{\infty })$，$B=(-\mathrm{\infty },-2)\cup (2,+\mathrm{\infty })$，$A⊊B$，所以是充分不必要。
• 逻辑角度：$x>2\Rightarrow x^2>4$ 成立；但 $x^2>4$ 时可能 $x<-2$，不能推出 $x>2$。所以是充分不必要。

---

本章知识速查表

知识点	核心内容	注意要点
元素三性	确定性、互异性、无序性	互异性是检验参数的关键
描述法	$\{\mathrm{代}\mathrm{表}\mathrm{元}\mathrm{素}\mid \mathrm{满}\mathrm{足}\mathrm{条}\mathrm{件}\}$	区分 $(x,y)$ 与 $x$ 或 $y$
子集	$\mathrm{\forall }x(x\in A\Rightarrow x\in B)$	空集是任何集合的子集
真子集	$A\subseteq B$ 且 $A\ne B$	$\mathrm{\varnothing }$ 是任何非空集合的真子集
并集	"$x\in A$ 或 $x\in B$"	"或"是相容或
交集	"$x\in A$ 且 $x\in B$"	可能为空
补集	${\complement }_{U}A=\{x\in U\mid x\notin A\}$	必须指明全集
充分条件	$P\Rightarrow Q$	$P$ 集合小（$A\subseteq B$）
必要条件	$Q\Rightarrow P$	$P$ 集合大（$A\supseteq B$）
充要条件	$P\iff Q$	集合相等 $A=B$
全称否定	$\mathrm{\neg }(\mathrm{\forall }xP(x))\equiv \mathrm{\exists }x\mathrm{\neg }P(x)$	量词互换，结论否定
存在否定	$\mathrm{\neg }(\mathrm{\exists }xP(x))\equiv \mathrm{\forall }x\mathrm{\neg }P(x)$	量词互换，结论否定

---

结语：集合与逻辑用语是高中数学的基础语言与推理工具。其本身的数学内容虽不复杂，但其思维方式贯穿于高中数学各章节。在本章应建立起"精确表达"、"严密推理"的习惯，这比记忆具体公式更为重要。

---

本笔记配合人教A版（2019版）高中数学必修第一册第一章使用。建议学习流程：课前通览建立框架 → 课堂听讲补充细节 → 课后对照笔记整理错题 → 考前利用速查表复习核心内容。