人教A版必修第一册第一章《集合与常用逻辑用语》教材同步学习指南

定义

本章的学习主线：先学集合语言（概念与表示 → 集合间关系 → 集合运算），再学逻辑语言（充分必要条件 → 量词与命题否定）。

集合是把一些确定的对象看成一个整体。本章几乎不出现复杂计算，核心任务是让学生习惯三件事：用符号代替文字（$\in$、$\subseteq$、$\cup$、$\cap$、$\complement$）、用图形（Venn 图、数轴）理解关系与运算、用「推出」描述命题之间的逻辑。1.1–1.3 构成集合板块，1.4–1.5 构成常用逻辑用语板块，两块通过「命题对应集合、推出对应包含」连成一体——$p\Rightarrow q$ 几何上就是满足 $p$ 的集合包含于满足 $q$ 的集合。

学习顺序

小节	核心任务	关键产出
1.1 集合的概念	辨认集合、书写集合	元素三性；$\in$、$\notin$；列举法、描述法
1.2 集合间的基本关系	比较两个集合	$\subseteq$、$⫋$、$=$；空集；子集个数
1.3 并集	两集合「合并」	$A\cup B$
1.3 交集	取公共部分	$A\cap B$
1.3 全集与补集	在全集中取「其余」	${\complement }_{U}A$
1.4.1 充分条件与必要条件	辨认推出方向	$p\Rightarrow q$ 的充分、必要两侧
1.4.2 充要条件	双向推出	$p\iff q$；四种条件关系
1.5.1 全称量词与存在量词	两类量词命题	$\forall x,p(x)$、$\exists x,p(x)$
1.5.2 命题的否定	正确否定	换量词、否结论

顺序不能颠倒：先有 1.1 的元素与表示，1.2 才能谈集合之间的包含，1.3 的运算才有对象；逻辑板块建立在「命题为真的元素组成集合」这一翻译上，所以放在集合之后。

1.1 集合的概念

把研究对象称为元素，一些元素组成的总体称为集合。$a$ 是 $A$ 的元素记 $a\in A$，否则记 $a\notin A$。集合中的元素具有确定性、互异性、无序性：「班里的高个子」不能组成集合（不确定），$\{1,1,2\}$ 必须写成 $\{1,2\}$（互异），$\{1,2\}=\{2,1\}$（无序）。

常用数集记号要背熟：自然数集 $\mathbb{N}$、正整数集 ${\mathbb{N}}^{\ast }$（或 ${\mathbb{N}}_{+}$）、整数集 $\mathbb{Z}$、有理数集 $\mathbb{Q}$、实数集 $\mathbb{R}$。集合有两种基本表示法：列举法 $\{1,2,3\}$ 适合元素有限且可逐一写出；描述法 $\{x\in \mathbb{R}\mid x>0\}$ 用竖线分隔「代表元及范围」与「共同特征」，适合无限集。两个集合元素完全相同即集合相等。

1.2 集合间的基本关系

若集合 $A$ 的任意元素都属于 $B$，称 $A$ 是 $B$ 的子集，记 $A\subseteq B$（读作 $A$ 包含于 $B$）。若 $A\subseteq B$ 且存在元素属于 $B$ 但不属于 $A$，称 $A$ 是 $B$ 的真子集，记 $A⫋B$。$A=B$ 当且仅当 $A\subseteq B$ 且 $B\subseteq A$。不含任何元素的集合叫空集，记 $\varnothing$，规定空集是任何集合的子集。

含 $n$ 个元素的集合共有 $2^n$ 个子集、$2^n-1$ 个真子集、$2^n-2$ 个非空真子集。关系可用 Venn 图（封闭曲线围出的区域）直观表示。做含参的 $A\subseteq B$ 题时，必须分 $A=\varnothing$ 与 $A\ne \varnothing$ 两类讨论。

1.3 集合的基本运算

三种运算都从元素的归属定义：

• 并集：$A\cup B=\{x\mid x\in A\text{或}x\in B\}$，把两个集合的元素合在一起（重复元素只算一次）。
• 交集：$A\cap B=\{x\mid x\in A\text{且}x\in B\}$，取公共部分；$A\cap B=\varnothing$ 表示两集合无公共元素。
• 全集与补集：全集 $U$ 是所研究范围内全部元素组成的集合，${\complement }_{U}A=\{x\mid x\in U\text{且}x\notin A\}$；补集必须先明确全集。

当集合用不等式描述时，优先画数轴：交集取两段重叠部分，并集取覆盖的总范围，端点的取舍与原不等式严格保持一致。阅读材料给出元素个数公式 $\mathrm{card}(A\cup B)=\mathrm{card}(A)+\mathrm{card}(B)-\mathrm{card}(A\cap B)$，本质是公共部分被数了两次。

1.4 充分条件与必要条件

对形如「若 $p$，则 $q$」的命题，若 $p\Rightarrow q$ 为真，称 $p$ 是 $q$ 的充分条件、$q$ 是 $p$ 的必要条件——同一条推出箭头上的两个名称，方向相反，不能互换。综合反方向是否成立，得到四种关系：充分不必要（$p\Rightarrow q$ 但反之不成立）、必要不充分、充要（$p\iff q$，即 1.4.2 的充要条件）、既不充分也不必要。

集合翻译最防错：设满足 $p$、$q$ 的集合分别为 $P$、$Q$，则 $p\Rightarrow q$ 等价于 $P\subseteq Q$。小范围能推出大范围，大范围推不出小范围，例如「$x>2$」是「$x>1$」的充分不必要条件。

1.5 全称量词与存在量词

「所有的、任意一个」称全称量词，记 $\forall$，命题形如 $\forall x\in M,p(x)$；「存在一个、至少有一个」称存在量词，记 $\exists$，命题形如 $\exists x\in M,p(x)$。

1.5.2 的否定规则只有一条动作：量词互换，结论否定。

$$\neg (\forall x\in M,p(x))=\exists x\in M,\neg p(x),\neg (\exists x\in M,p(x))=\forall x\in M,\neg p(x).$$

例如「所有实数的平方都大于 0」的否定不是「所有实数的平方都不大于 0」，而是「存在一个实数，其平方不大于 0」（取 $x=0$ 即成立），两命题才真正一真一假。

本章的三条主线结论

1. 集合是一种语言而不是一类计算题：$\in$、$\subseteq$、$\cup$、$\cap$、$\complement$ 把「属于、包含、合并、公共、其余」五件事精确符号化，后续函数与不等式都用这套语言书写。
2. 关系与运算一律双表示：有限集靠 Venn 图与列举，实数范围靠数轴与描述法，画图先行可避免端点与空集两类失分。
3. 逻辑条件就是集合包含：$p\Rightarrow q⟺P\subseteq Q$；量词命题否定的固定动作是「换量词、否结论」。

最易混的是 $\in$ 与 $\subseteq$ 的层级、充分与必要的方向；失分最集中在含参集合漏掉空集、命题否定忘换量词。

自测

先自己判断，再看答案：

1. 集合 $\{a,b,c\}$ 有多少个子集？多少个真子集？——子集 $2^3=8$ 个，真子集 $7$ 个。
2. 设 $A=\{x\mid -2\le x<3\}$、$B=\{x\mid x\ge 1\}$，求 $A\cap B$。——$\{x\mid 1\le x<3\}$（数轴上取重叠段，左闭右开）。
3. 用描述法表示所有被 3 整除的整数。——$\{x\in \mathbb{Z}\mid x=3k,k\in \mathbb{Z}\}$。
4. 「$x>1$」是「$x>0$」的什么条件？——充分不必要条件：$x>1\Rightarrow x>0$，反之不成立。
5. 写出命题 $\forall x\in \mathbb{R},x^2\ge 0$ 的否定。——$\exists x\in \mathbb{R},x^2<0$（换量词、否结论）。
6. 写出满足 $A\subseteq \{1,2\}$ 的所有集合 $A$。——$\varnothing$、$\{1\}$、$\{2\}$、$\{1,2\}$，共 $4$ 个。

答对 5 题以上概念过关；第 2、6 题出错说明数轴端点与空集讨论还需重过，第 5 题出错说明量词否定规则没有固化。

学完本章之后

本章在高中数学中的定位是「开局的语言课」：

• 第二章《一元二次函数、方程和不等式》：不等式的解集直接写成集合或区间，不等式组联立就是取交集，端点取舍沿用 1.3 的数轴方法。
• 第三章《函数的概念与性质》：函数是建立在两个非空数集之间的对应，定义域、值域都是集合，求定义域本质上是在做集合的交运算。
• 考试与长期价值：集合运算是高考全国卷的常见开篇题，充分必要条件与量词否定会穿插在立体几何、数列、概率等所有板块的命题判断中。

一句口诀收尾：元素对集合用「属于」，集合对集合用「包含」；箭头从充分指向必要；否定量词先换号、再否结论。