跳转至

集合与常用逻辑用语

知识点

集合

定义 1. 质数与合数

质数（素数）：如果一个大于 1 的整数，除 1 和自身外无其他正因数，则称这个正整数为素数.

合数：除了能被1和本身整除外，还能被其他数整除的数，最小的合数是4

互质：互质是公约数只有1的两个正整数（例：1和2互质，4和9互质，16和97）

定义 2. 元素与集合

一般地，我们把研究对象统称为元素 ，把一些元素组成的总体叫做集合（简称为集）.

只要构成两个集合的元素是一样的，我们就称这两个集合是相等的．

如果\(a\)是集合\(A\)的元素，就说\(a\)属于集合\(A\)，记作\(a \in A\)；

如果\(a\)不是集合\(A\)中的元素，就说\(a\)不属于集合\(A\)，记作\(a \notin A\)．

一般地，我们把不含任何元素的集合叫做空集，记为\(\varnothing\)，并规定：空集是任何集合的子集．

一般地，如果一个集合含有所研究问题中涉及的所有元素，那么就称这个集合为全集，通常记作 \(U\).

集合可以根据它含有的元素个数分为两类： 含有有限个元素的集合称为有限集，含有无限个元素的集合称为无限集. 空集可以看成包含0个元素的集合，所以空集是有限集.

定义 3. 数学中一些常用的数集及其记法

图

性质 1. 集合中元素的性质

  1. 确定性: 集合的元素必须是确定的.

  2. 互异性: 对于一个给定的集合, 集合中的元素一定是不同的.

  3. 无序性：集合中的元素可以任意排列.

定义 4. 集合的表示方法

  1. 列举法：把集合的所有元素一一列举出来，并用花括号 “\(\{ \}\)”括起来.

    无限集也可用列举法表示．例如，自然数集 \(\mathbf{N}\) 可表示为 \(\{ 0, 1, 2, 3, \cdots \}\).

  2. 描述法：设\(A\)是一个集合，把集合\(A\) 中所有具有共同特征\(P(x)\)的元素\(x\)组成的集合表示为\(\{ x \in A \mid P(x) \}\).

定义 5. 集合间的基本关系

图

如果一个集合的元素个数为 \(n\)，这个集合的子集个数为\(2^n\)，

真子集个数为\(2^n - 1\)，非空子集个数为\(2^n - 1\)，非空真子集个数为\(2^n - 2\).

定义 6. 集合的交并补基本运算

图

性质 2. 集合基本关系与基本运算的性质

  1. \(A \subseteq A\)   \(\varnothing \subseteq A\)   \(\varnothing \subseteq \varnothing\)   \(\varnothing \notin \varnothing\)    \(A \cap A = A\)    \(A \cap \varnothing = \varnothing\)   \(A \cup A = A\)   \(A \cup \varnothing = A\)

  2. 若\(A \subseteq B\)，\(B \subseteq C\)，则\(A \subseteq C\)   若\(A \subsetneqq B\)，\(B \subsetneqq C\)，则\(A \subsetneqq C\)

  3. \(A \cap B \subseteq A\)  \(A \cap B \subseteq B\)  \(A \subseteq (A \cup B)\)  \(B \subseteq (A \cup B)\)

  4. \(A \cap (\complement_U A) = \varnothing\)   \(A \cup (\complement_U A) = U\)   \(\complement_U (\complement_U A) = A\)   \(\complement_U U = \varnothing\)   \(\complement_U \varnothing = U\)

  5. \(A \cup B = B \iff A \htmlClass{blank}{\subseteq} B \qquad A \cap B = A \iff A \htmlClass{blank}{\subseteq} B\)

  6. \(A \cap (\complement_U B) = \varnothing \iff A \subseteq B \qquad (\complement_U A) \cup B = U \iff A \subseteq B \qquad \complement_U B \subseteq \complement_U A \iff A \subseteq B\)

  7. 交换律：\(A \cap B = B \cap A\)  \(A \cup B = B \cup A\)

  8. 结合律：\(A \cap (B \cap C) = (A \cap B) \cap C\)  \(A \cup (B \cup C) = (A \cup B) \cup C\)

  9. 分配律：\(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)  \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)

  10. 德摩根律： \(\complement_U (A \cup B) = \htmlClass{blank}{(\complement_U A) \cap (\complement_U B)}\)    \(\complement_U (A \cap B) = \htmlClass{blank}{(\complement_U A) \cup (\complement_U B)}\)

注意：对于\(A \subseteq B\)或\(A \cap B = \varnothing\)，在求解时需要分\(A = \varnothing\)与\(A \neq \varnothing\)两种情形讨论.

定义 7. 有限集的元素个数与容斥原理

定义：用\(\text{card}(A)\)来表示有限集\(A\)的元素的个数，规定\(\text{card}(\varnothing) = 0\).

  1. 对任意两个有限集合 \(A, B\) ，有\(\text{card}(A \cup B) = \htmlClass{blank}{\text{card}(A) + \text{card}(B) - \text{card}(A \cap B)}\)

  2. 对任意三个有限集合 \(A, B, C\) ，有 \(\text{card}(A \cup B \cup C) =\)

    \[ \htmlClass{blank}{\text{card}(A) + \text{card}(B) + \text{card}(C) - \text{card}(A \cap B) - \text{card}(B \cap C) - \text{card}(C \cap A) + \text{card}(A \cap B \cap C)} \]

  3. 一般地，设\(A_1, A_2, \dots, A_n\)为有限集，则

    \[ \begin{aligned} & \text{card}\left(A_1 \cup A_2 \cup \cdots \cup A_n\right) \\ = & \text{card}(A_1) + \text{card}(A_2) + \cdots + \text{card}(A_n) \\ - & \text{card}(A_1 \cap A_2) - \text{card}(A_1 \cap A_3) - \cdots - \text{card}(A_{n-1} \cap A_n) \\ + & \text{card}(A_1 \cap A_2 \cap A_3) + \text{card}(A_1 \cap A_2 \cap A_4) + \cdots \\ - & \text{card}(A_1 \cap A_2 \cap A_3 \cap A_4) - \text{card}(A_1 \cap A_2 \cap A_3 \cap A_5) - \cdots \\ + & (-1)^{n+1} \text{card}(A_1 \cap A_2 \cap \cdots \cap A_n) \end{aligned} \]

    简写为

    \[ \text{card}\left( \bigcup_{i=1}^n A_i \right) = \sum_{k=1}^n (-1)^{k+1} \left( \sum_{1 \leq i_1 {\lt} i_2 {\lt} \cdots {\lt} i_k \leq n} \text{card}(A_{i_1} \cap A_{i_2} \cap \cdots \cap A_{i_k}) \right) \]

常用逻辑用语

定义 1. 命题与逆命题

一般地，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题.

判断为真的语句是真命题，判断为假的语句是假命题.

中学数学中的许多命题可以写成“若 \(p\) ，则 \(q\) ”“如果 \(p\) ，那么 \(q\) ”等形式.其中 \(p\) 称为命题的条件， \(q\) 称为命题的结论. 将命题 “若 \(p\)，则 \(q\)” 中的条件 \(p\) 和结论 \(q\) 互换，就得到一个新的命题 “若 \(q\)，则 \(p\)”，称这个命题为原命题的逆命题.

定义 2. 充分条件、必要条件与充要条件

一般地，“若 \(p\)，则 \(q\)”为真命题，是指由 \(p\) 通过推理可以得出 \(q\)．这时，我们就说，由 \(p\) 可以推出 \(q\)，记作 \(p \Rightarrow q\)．并且说，\(p\)是\(q\)的充分条件，\(q\)是\(p\)的必要条件. 如果 “若 \(p\)，则 \(q\)” 为假命题，那么由条件 \(p\) 不能推出结论 \(q\)，记作 \(p \nRightarrow q\) .此时，我们就说 \(p\) 不是 \(q\) 的充分条件，\(q\) 不是 \(p\) 的必要条件.

如果 “若 \(p\)，则 \(q\)” 和它的逆命题 “若 \(q\)，则 \(p\)” 均是真命题，即既有 \(p \Rightarrow q\) ，又有 \(q \Rightarrow p\) ， 就记作 \(p \Leftrightarrow q\)，此时， \(p\) 既是 \(q\) 的充分条件，也是 \(q\) 的必要条件，我们说 \(p\) 是 \(q\) 的充分必要条件， 简称为充要条件.

图

结论 1. 充分、必要条件与对应集合之间的关系（人教A必修一P23T4）

已知 \(A = \{x \mid x\) 满足条件 \(p\}\) ， \(B = \{x \mid x\) 满足条件 \(q\}\) ，

  1. 如果 \(A \subseteq B\) ，那么 \(p\) 是 \(q\) 的充分条件.

  2. 如果 \(B \; \htmlClass{blank}{\subseteq} \; A\) ，那么 \(p\) 是 \(q\) 的必要条件.

  3. 如果 \(A = B\) ，那么 \(p\) 是 \(q\) 的充要条件.

  4. 如果 \(A \subsetneqq B\) ，那么 \(p\) 是 \(q\) 的充分不必要条件.

  5. 如果 \(B \; \htmlClass{blank}{\subsetneqq} \; A\) ，那么 \(p\) 是 \(q\) 的必要不充分条件.

简记：小可推大，大不推小.

定义 3. 全称量词和存在量词、全称量词命题和存在量词命题

短语 “所有的” “任意一个” “一切” “每一个” “任给” 等在逻辑中通常叫做全称量词，并用符号 “\(\forall\)” 表示. 含有全称量词的命题，叫做全称量词命题.

短语 “存在一个” “至少有一个” “有些” “有一个” “对某些” “有的”等.在逻辑中通常叫做存在量词，并用符号 “\(\exists\)” 表示.含有存在量词的命题，叫做存在量词命题

通常，将含有变量 \(x\) 的语句用 \(p(x)\) ， \(q(x)\) ， \(r(x)\) ，…表示，变量 \(x\) 的取值范围用 \(M\) 表示.

那么，全称量词命题“对 \(M\) 中任意一个 \(x\)， \(p(x)\) 成立”可用符号简记为 \(\forall x \in M, \, p(x)\).

存在量词命题 “存在 \(M\) 中的元素 \(x\)， \(p(x)\) 成立” 可用符号简记为 \(\exists x \in M, \, p(x)\).

要判断全称量词命题“\(\forall x \in M, p(x)\)”为真,需要证明集合\(M\)中的每个\(x\)都能使\(p(x)\)成立;而要判断其为假命题,只需在\(M\)中找到一个\(x\),使\(p(x)\)不成立.

要判断存在量词命题“\(\exists x \in M, p(x)\)”为真,只需在\(M\)中找到一个\(x\),使\(p(x)\)成立;而要判断其为假命题,需要证明集合\(M\)中的每个\(x\)都不能使\(p(x)\)成立.

定义 4. 命题的否定

一般地，对命题 \(p\) 加以否定，就得到一个新的命题，记作 “ \(\neg p\) ”，读作 “非 \(p\)” 或 “\(p\) 的否定”.

一个命题和它的否定不能同时为真命题，也不能同时为假命题，只能一真一假.

对于含有一个量词的全称量词命题的否定，有下面的结论：

全称量词命题：\(\forall x \in M, p (x),\) 它的否定：\(\htmlClass{blank}{\exists x \in M, \neg p (x)}\). 也就是说，全称量词命题的否定是存在量词命题.

对含有一个量词的存在量词命题的否定，有下面的结论：

存在量词命题：\(\exists x \in M, p (x)\),它的否定：\(\htmlClass{blank}{\forall x \in M, \neg p (x)}\). 也就是说，存在量词命题的否定是全称量词命题.

常见词语的否定词语：

图

*集合新定义

定义 1. 笛卡尔积

设 \(A, B\) 为任意集合，其笛卡尔积记为 \(A \times B\)（读作“\(A\) 叉 \(B\)”），定义为所有以 \(A\) 中元素为第一分量、\(B\) 中元素为第二分量的有序对集合，即：

\[ A \times B = \{ (a, b) \mid a \in A \text{且} b \in B \} \]

其中有序对满足：\((a_1, b_1) = (a_2, b_2) \iff a_1 = a_2 \text{ 且 } b_1 = b_2\) \text{，且一般} \((a, b) \neq (b, a)\)

基本性质：

  1. 空集性质：若任一集合为空集，则笛卡尔积为空集： \(A \times \varnothing = \varnothing \times A = \varnothing\)

  2. 基数性质（有限集）：设 \(|X|\) 为集合 \(X\) 的元素个数，则： \(|A \times B| = |A| \times |B|\)

  3. 非交换性：一般 \(A \times B \neq B \times A\)，仅当 \(A=\varnothing\)、\(B=\varnothing\) 或 \(A=B\) 时相等

  4. 分配律：对并、交运算满足：

    \[ \begin{aligned} A \times (B \cup C) & = (A \times B) \cup (A \times C), \quad (A \cup B) \times C & = (A \times C) \cup (B \times C), \\ A \times (B \cap C) & = (A \times B) \cap (A \times C), \quad (A \cap B) \times C & = (A \times C) \cap (B \times C). \end{aligned} \]

  5. 消去律（限制条件）：若 \(A \times B = A \times C \text{且} A \neq \varnothing\)，则 \(B=C\)；若 \(A \times C = B \times C \text{且} C \neq \varnothing\)，则 \(A=B\)

定义 2. 集合的势

有限集合中元素的个数，我们可以一一数出来.而对于元素个数无限的集合 我们无法数出集合中元素的个数，但可以比较这两个集合中元素个数的多少. 例如 \(A = \{1, 2, 3, 4, \dots, n, \dots\}, \qquad B = \{2, 4, 6, 8, \dots, 2n, \dots\}.\)

虽然 \(B\) 看上去只是 \(A\) 的一部分，但按 \(1 \leftrightarrow 2, \quad 2 \leftrightarrow 4, \quad 3 \leftrightarrow 6, \quad \dots, \quad n \leftrightarrow 2n, \quad \dots\)

可以把 \(A\) 中每个元素与 \(B\) 中唯一一个元素配对，反过来也能配对，所以这两个集合的元素“同样多”.

  1. 等势：设 \(A, B\) 是非空集合，若它们的元素可以一一对应，即存在双射函数 \(f: A \to B\)，则称 \(A\) 与 \(B\) 等势，记为 \(A \sim B\).

  2. 势：集合的势就是用“一一对应”来描述集合大小的量，记为 \(|A|\)（或 \(\text{card}(A)\)）.

    1. 若 \(A \sim B\)，就认为这两个集合一样大，记作 \(|A| = |B|\)；

    2. 若 \(A\) 是有限集，且有 \(n\) 个元素（\(n \in \mathbf{N}\)），则 \(|A| = n\)；例如 \(|\{1,2,3\}| = 3\)；

    3. 若一个无限集能与自然数集 \(\mathbf{N}\) 一一对应，就称它与自然数集“同样多”，这类集合的势记为 \(\aleph_0\).

  3. 一些与自然数集 \(\mathbf{N} = \{0,1,2,\dots\}\) 等势的集合（它们的势都为 \(\aleph_0\)）

    1. 正整数集 \(\mathbf{N}^+ = \{1,2,3,\dots\}\)：可用 \(f(n) = n+1\) 与 \(\mathbf{N}\) 一一对应；

    2. 整数集 \(\mathbf{Z} = \{\dots,-2,-1,0,1,2,\dots\}\)：对应函数可写为 \(f(n) = \begin{cases} n/2 & n \text{为偶数} \\ -(n+1)/2 & n \text{为奇数} \end{cases}\)；

    3. 正偶数集 \(2\mathbf{N}^+ = \{2,4,6,\dots\}\)：可用 \(f(n) = 2(n+1)\) 与 \(\mathbf{N}\) 一一对应；

    4. 有理数集 \(\mathbf{Q}\)：虽然看起来很多，但经过适当排列后，也可以与 \(\mathbf{N}\) 一一对应；

    5. 自然数集的笛卡尔积 \(\mathbf{N} \times \mathbf{N}\)：所有有序对也可以按一定顺序排成一列，例如可用 \(f(a,b) = \frac{(a+b)(a+b+1)}{2} + a\).

定义 3. 戴德金分割

  1. 有理数集的戴德金分割：

    设有理数全体组成的集合为\(\mathbf{Q}\)，若两个有理数集合\(A\)和\(B\)满足：

    1. 非空性：\(A \neq \varnothing\)且\(B \neq \varnothing\)

    2. 不漏性：\(A \cup B = \mathbf{Q}\)，即任意有理数\(x \in \mathbf{Q}\)必属于\(A\)或\(B\)

    3. 有序性：对任意\(x \in A\)和\(y \in B\)，恒有\(x {\lt} y\)

    则称有序对\((A \mid B)\)为\(\mathbf{Q}\)的一个分割，其中\(A\)称为分割的下类，\(B\)称为上类.

  2. 有理数分割的分类定理：

    对于有理数集\(\mathbf{Q}\)的任意分割\((A \mid B)\)，必满足以下三种情形之一且仅满足其一：

    1. \(A\)包含最大元素\(a \in A\)，而\(B\)无最小元素

    2. \(B\)包含最小元素\(b \in B\)，而\(A\)无最大元素

    3. \(A\)无最大元素且\(B\)无最小元素（定义无理数，如\(\sqrt{2}\)对应分割\(A = \{x \in \mathbf{Q} \mid x {\lt} \sqrt{2}\}\)，\(B = \{x \in \mathbf{Q} \mid x {\gt} \sqrt{2}\}\)）

题型

集合题型

题型 1. 集合的表示方法概念题

题型识别： 这类题通常要求“用列举法表示集合”“判断某个表示是否正确”“比较两个集合是否相同”，题干中常出现 \(\{x\mid P(x)\}\)、\(\{y\mid y=f(x)\}\)、\(\{(x,y)\mid P(x,y)\}\)、方程组的解集、函数图象上的点集等形式. 它考查的不是计算难度，而是能否看清集合中“元素的形态”是什么.

核心思路： 先看竖线左侧写的是什么：写 \(x\)，元素就是数；写 \(y\)，元素也是数，但表示的是 \(y\) 的取值范围；写 \((x,y)\)，元素就是有序数对，常可看作平面上的点. 再根据右侧条件确定这些元素满足什么限制. 若元素较少或有明显规律，可用列举法；若元素较多、无限多或规律复杂，通常用描述法.

解题步骤：

  1. 先判断集合元素的形式，是数、点、有序数对，还是其他对象；

  2. 再解出右侧条件对应的取值范围或元素列表；

  3. 若题目要求列举，注意只列集合中的元素，不把求解过程或重复元素写入集合；

  4. 若判断两个集合是否相等，应比较“元素本身”是否相同，而不是只看形式是否相似.

常见模型：

\[ \{x\mid y=x^2\}=\mathbf{R},\qquad \{y\mid y=x^2\}=[0,+\infty),\qquad \{(x,y)\mid y=x^2\}\text{表示抛物线上的点集}. \]

方程组的解集一般写成有序数对集合，例如 \(\{(x,y)\mid x=-1,\ y=3\}\)，而不是把 \(x\)、\(y\) 分别写成两个独立元素.

易错点：

  1. 把 \(\{x\mid y=x^2\}\) 与 \(\{y\mid y=x^2\}\) 混为一谈；

  2. 把点集 \(\{(x,y)\mid P(x,y)\}\) 误写成数集；

  3. 列举法中重复列元素，忽略集合元素的互异性；

  4. 看到方程组解集时，把一组解的两个坐标误认为两个元素.

题型 2. 根据集合相等求参

题型识别： 这类题通常给出两个含参数的有限集或解集，并给出 \(A=B\)，要求求参数的值或参数表达式的值. 有限集问题中常出现 \(A=\{a,b,1\}\)、\(B=\{-1,2,a^2\}\) 等；解集问题中常出现两个方程或不等式的解集相等.

核心思路： 集合相等的本质是元素完全相同，与元素排列顺序无关. 有限集相等题通常先找“确定元素”或特殊元素建立对应关系，再代入求参，最后用互异性检验； 若集合由方程解集给出，则要把“集合相等”转化为“解相同”，并特别讨论两个集合都为空集的可能性.

解题步骤：

  1. 观察两个集合中的常数元素或明显特殊元素，优先建立对应关系；

  2. 根据对应关系列方程求参数；

  3. 将求得的参数代回两个集合，重新写出集合；

  4. 检验集合元素是否互异、是否真的相等；

  5. 若集合是方程或不等式解集，要先讨论空集、单元素集、多元素集等不同情形.

易错点：

  1. 只由一个元素相等求出参数，却没有验证其他元素；

  2. 忘记集合元素互异，导致把含有重复元素的结果误判为可行；

  3. 把集合相等误解为“按位置对应相等”，忽略集合的无序性；

  4. 两个方程解集相等时，遗漏二者同为空集的情形.

题型 3. 对空集的理解

题型识别： 这类题常直接给出 \(A=\varnothing\)，或隐含地说某个方程无实数根、不等式无解、区间不存在、集合中没有满足条件的元素. 它也常作为集合包含、交集为空、集合运算求参中的隐藏讨论点.

核心思路： 空集是不含任何元素的集合. 在具体题目中，空集往往对应“方程无解”“不等式无解”“区间左端点大于右端点”“条件无法同时满足”. 并且 \(\varnothing\subseteq A\) 对任意集合 \(A\) 都成立，这是含参集合问题中最容易被忽略的特殊情况.

解题步骤：

  1. 先判断题目中的集合是由方程、不等式、区间还是描述法给出的；

  2. 将“集合为空”翻译成相应对象无解，例如方程判别式小于零、不等式解集为空、区间端点矛盾；

  3. 在 \(A\subseteq B\)、\(A\cap B=\varnothing\)、\(A\cup B=B\) 等问题中，优先检查含参集合是否可能为空集；

  4. 最后把空集情形与非空情形合并，并检验边界值.

易错点：

  1. 忽略空集是任何集合的子集；

  2. 把 \(\{\varnothing\}\) 当成空集，实际上 \(\{\varnothing\}\) 含有一个元素；

  3. 解含参不等式时默认集合非空；

  4. 区间端点相等时没有区分开区间、闭区间和半开半闭区间.

题型 4. 根据集合间的包含关系求参

题型识别： 这类题通常给出两个含参数集合，并给出 \(A\subseteq B\)、\(A\subsetneqq B\)、\(B\subseteq A\)、\(A\cap B=\varnothing\)、\(A\cup B=B\) 等关系，要求求参数范围. 集合常由区间、不等式解集、方程根集合或有限集表示.

核心思路： 先把集合关系翻译成元素关系或数轴上的位置关系. 若是连续区间，核心是比较端点；若是有限集，核心是逐个检查元素是否属于另一个集合；若是方程根集合，核心是“根是否满足另一个方程或条件”. 含参集合可能为空集时，必须先讨论空集情形.

解题步骤：

  1. 化简集合，把集合写成区间、有限集或方程根集合的标准形式；

  2. 先讨论含参集合是否为空集，尤其是作为子集的一方；

  3. 对非空情形，画数轴或列元素，将包含关系转化为端点不等式或元素代入条件；

  4. 注意真子集要在包含关系成立的基础上排除集合相等；

  5. 解出参数范围后，回代检查端点开闭、空集情形和元素互异性.

易错点：

  1. 看到 \(B\subseteq A\) 时只画非空区间，忘记 \(B=\varnothing\)；

  2. 把包含方向看反，导致端点不等式方向错误；

  3. 端点重合时没有检查开闭，误取或误删等号；

  4. 真子集问题只求出 \(A\subseteq B\)，忘记排除 \(A=B\)；

  5. 一元二次方程根集合中，忘记讨论判别式为零或小于零的情况.

题型 5. 子集个数问题

题型识别： 这类题通常要求求某集合的子集个数、真子集个数、非空子集个数、非空真子集个数，或题干看似复杂，但本质上是先求某个集合中有几个元素，再套用子集个数公式. 有时集合的元素可能是有序数对、函数值、方程根或满足条件的对象.

核心思路： 子集个数只与集合中不同元素的个数有关，与元素本身长什么样无关. 若集合有 \(n\) 个元素，则子集个数为 \(2^n\)，真子集个数为 \(2^n-1\)，非空子集个数为 \(2^n-1\)，非空真子集个数为 \(2^n-2\). 因此关键不是背公式，而是准确求出原集合中互异元素的个数.

解题步骤：

  1. 先读清楚题目要求的是子集、真子集、非空子集还是非空真子集；

  2. 求出原集合中的所有元素，必要时列表、分类或解方程；

  3. 去掉重复元素，确认集合中互异元素的个数 \(n\)；

  4. 根据题意套用对应公式；

  5. 若题目给出子集个数反求参数，可先由 \(2^n\) 或 \(2^n-1\) 反推 \(n\)，再转化为元素个数条件.

易错点：

  1. 没有去重，导致元素个数算多；

  2. 把“元素是有序数对”的集合误当成两个数集；

  3. 混淆子集个数、真子集个数、非空子集个数；

  4. 由子集个数反推元素个数时，忘记先判断题目给的是哪一种子集个数.

题型 6. 集合包含关系的辨析、分析与证明

题型识别： 这类题常考 \(\in\)、\(\notin\)、\(\subseteq\)、\(\subsetneqq\)、\(=\)、\(\varnothing\)、\(\{\varnothing\}\) 的辨析，或要求证明两个集合之间的包含关系、相等关系. 题目中集合的元素有时本身也是集合，这是最容易混淆的地方.

核心思路： 先判断研究对象的“角色”：它是某个集合的元素，还是某个集合的子集. 证明 \(A\subseteq B\)，就是证明“任取 \(x\in A\)，都有 \(x\in B\)”；证明 \(A=B\)，通常证明 \(A\subseteq B\) 且 \(B\subseteq A\)；证明 \(A\nsubseteq B\)，只需找到一个反例 \(x\in A\) 且 \(x\notin B\).

解题步骤：

  1. 先分清元素与集合：使用 \(\in\) 表示“属于”，使用 \(\subseteq\) 表示“包含于”；

  2. 若要证明包含，任取左边集合的一个元素，利用定义推出它属于右边集合；

  3. 若要证明相等，分别证明两个方向的包含；

  4. 若要否定包含关系，构造一个属于前者但不属于后者的元素；

  5. 对元素有规律的集合，可先列举若干项观察，再用一般元素严格证明.

易错点：

  1. 把 \(0\in A\) 与 \(\{0\}\subseteq A\) 混淆；

  2. 把 \(\varnothing\) 与 \(\{\varnothing\}\) 混淆；

  3. 判断 \(A=B\) 时只证明了一个方向；

  4. 证明 \(A\nsubseteq B\) 时没有给出明确反例.

题型 7. 集合交并补混合运算

题型识别： 这类题通常给出具体集合或数轴区间，要求求 \(A\cup B\)、\(A\cap B\)、\(\complement_U A\)、\(A\cap(\complement_U B)\)、\(\complement_U(A\cup B)\) 等运算结果. 集合可以是有限集、区间、整数点集，也可以由函数定义域或不等式解集给出.

核心思路： 有限集运算以“逐个元素判断”为主；连续区间运算以“数轴图示”为主；抽象运算则优先使用定义、Venn 图和德摩根律. 并集看“属于至少一个”，交集看“同时属于两个”，补集看“在全集中但不在该集合中”.

解题步骤：

  1. 先明确全集 \(U\)，没有全集时补集没有确定意义；

  2. 化简每个集合，特别是由不等式、根式、分式给出的集合；

  3. 有限集逐项判断，区间集画数轴，并标清端点开闭；

  4. 遇到 \(\complement_U B\)，可按 \(B=\complement_U(\complement_U B)\) 先还原 \(B\)；

  5. 复杂式子可利用德摩根律和包含关系性质化简后再运算.

易错点：

  1. 没有明确全集就直接求补集；

  2. 并集重复计算公共元素；

  3. 数轴端点开闭处理错误；

  4. 把 \(\complement_U(A\cap B)\) 误写成 \((\complement_U A)\cap(\complement_U B)\)；

  5. 有限集与区间集混合时，忽略整数、自然数等限定条件.

题型 8. Venn 图在抽象集合问题中的应用

题型识别： 这类题通常不给出集合的具体元素，只给出 \(A\)、\(B\)、\(C\) 之间的抽象条件，要求判断某个集合关系或运算结果. 题干常出现 \(A\cap(\complement_U B)=\varnothing\)、\(A\cup B=U\)、\(A\subseteq B\)、阴影区域表示的集合等.

核心思路： Venn 图的作用是把抽象的集合语言转化为区域关系. 先画全集和各集合的大致位置，再根据题设把确定为空的区域、确定包含的区域标出来，最后读出目标区域. 如果是选择题，还可以通过构造简单集合或特殊位置进行排除.

解题步骤：

  1. 先画出全集 \(U\) 与相关集合的基本 Venn 图；

  2. 把题目中的条件翻译成区域信息，例如 \(A\cap(\complement_U B)=\varnothing\) 表示 \(A\) 在 \(B\) 的外部没有元素，即 \(A\subseteq B\)；

  3. 根据图形读出目标集合对应的区域；

  4. 对不确定的选项，可构造简单集合进行检验；

  5. 若有三集合问题，应按“只属于一个集合、两两交、三者交、全不属于”分区处理.

易错点：

  1. 图中阴影区域没有和集合符号逐步对应；

  2. 把“在 \(A\) 中但不在 \(B\) 中”误认为“在 \(B\) 中但不在 \(A\) 中”；

  3. 忽略全集外框，导致补集区域判断错误；

  4. 抽象选择题中只凭直觉判断，没有用图或反例验证.

题型 9. 根据集合运算结果求参

题型识别： 这类题给出含参数集合 \(A\)、\(B\)，并给出 \(A\cup B\)、\(A\cap B\)、\(\complement_U A\)、\(A\cap(\complement_U B)\) 等运算结果，要求反求参数范围. 常见模型包括区间随参数移动、方程根集随参数变化、不等式解集随参数变化.

核心思路： 先把运算结果转化为集合关系，再根据集合的具体形态求参数. 例如 \(A\cap B=\varnothing\) 表示两集合无公共元素，\(A\cup B=B\) 等价于 \(A\subseteq B\)，\(A\cap B=A\) 等价于 \(A\subseteq B\). 对于连续区间，参数改变的是端点位置，数轴是最有效的工具.

解题步骤：

  1. 化简所有集合，写出不含参集合和含参集合的标准形式；

  2. 将给定的运算结果转化为包含、相交、互斥、覆盖等关系；

  3. 先讨论含参集合是否可能为空集；

  4. 画数轴，抓住运动端点与固定端点的位置关系列不等式；

  5. 检查端点能否取等，并把所有情形合并.

易错点：

  1. 看到运算结果直接套公式，没有先转化成集合关系；

  2. 忘记含参集合为空集时也可能满足题设；

  3. 区间端点运动时，只画一种位置，遗漏临界位置；

  4. 交集为空时没有区分“刚好相离”和“端点重合但不相交”的情况.

题型 10. 补集思想的应用——正难则反

题型识别： 这类题通常要求“至少一个”“至少有一个不为空”“存在某种情况”“最多”“最少”等，正面分类讨论较多，而反面情况更简单. 在集合题中，常表现为多个集合、多个方程或多个条件中“至少有一个满足”.

核心思路： 当正面情况复杂时，先求其反面，再在全集中取补集. 例如“至少有一个方程有实根”的反面是“所有方程都没有实根”； “至少一个集合非空”的反面是“所有相关集合都为空”； “不是全部满足”的反面常比逐项分类更容易.

解题步骤：

  1. 明确全集，即参数或对象原本允许的范围；

  2. 写出目标事件的反面，并判断反面是否更容易求；

  3. 求出反面对应的参数集合；

  4. 用全集减去反面集合，得到目标结果；

  5. 检查边界点是否属于反面或正面，避免补集取错端点.

易错点：

  1. 没有先确定全集就取补集；

  2. 把“至少一个”的反面误写成“至多一个”；

  3. 反面求解时端点开闭处理错误，导致补集边界错；

  4. 正难则反只适用于反面更简单的情形，不应机械套用.

题型 11. 容斥原理的应用

题型识别： 这类题通常以实际背景出现，例如报名课程、参加比赛、喜欢项目、听讲座、选择社团等，给出各类人数、两两同时满足人数、三者同时满足人数，要求求总人数、某一区域人数或比例. 题干中常出现“至少参加一项”“同时参加”“只参加”“没有参加”等关键词.

核心思路： 把题中的对象转化为集合，把人数转化为集合元素个数. 两集合问题用 \(\text{card}(A\cup B)=\text{card}(A)+\text{card}(B)-\text{card}(A\cap B)\)； 三集合问题要注意两两交和三者交的重复计数. Venn 图能帮助区分“同时参加两项”是否包含“三项都参加”.

解题步骤：

  1. 根据题意设集合，例如 \(A\) 表示参加甲项目的人，\(B\) 表示参加乙项目的人；

  2. 把题中数据翻译为 \(\text{card}(A)\)、\(\text{card}(B)\)、\(\text{card}(A\cap B)\) 等；

  3. 若涉及“三项”，优先画三圆 Venn 图，从最中间的三者交开始填写；

  4. 根据容斥公式或分区人数列方程；

  5. 最后回到题目语境，确认所求的是“至少”“只”“同时”还是“总数”.

易错点：

  1. 把“同时参加甲和乙”误认为“不参加第三项”；

  2. 三集合容斥中忘记加回三者交；

  3. “只参加某一项”与“参加某一项”的含义混淆；

  4. 百分比问题中忘记先设总人数或统一基数.

常用逻辑用语题型

题型 1. 判断充分必要条件

题型识别： 这类题给出两个条件 \(p\)、\(q\)，要求判断 \(p\) 是 \(q\) 的充分不必要条件、必要不充分条件、充要条件，还是既不充分也不必要条件. 题目中的 \(p\)、\(q\) 常是不等式、方程、几何性质、集合关系或带参数的条件.

核心思路： 判断充分必要条件就是判断两个推出方向：\(p\Rightarrow q\) 与 \(q\Rightarrow p\). 若条件能化简，先进行等价变形；若条件对应变量取值范围，可转化为集合包含关系：设 \(A=\{x\mid p\}\)，\(B=\{x\mid q\}\)，则 \(A\subseteq B\) 表示 \(p\) 能推出 \(q\). 口诀是“小可推大，大不推小”.

解题步骤：

  1. 分别写清楚条件 \(p\) 和结论 \(q\)；

  2. 尽量把 \(p\)、\(q\) 等价化简为区间、方程根、集合关系等标准形式；

  3. 判断 \(p\Rightarrow q\) 是否成立，再判断 \(q\Rightarrow p\) 是否成立；

  4. 若用集合法，比较 \(A=\{x\mid p\}\) 与 \(B=\{x\mid q\}\) 的包含关系；

  5. 根据两个方向是否成立，确定四种关系之一.

易错点：

  1. 把“\(p\) 是 \(q\) 的必要条件”误判成 \(p\Rightarrow q\)，事实上它对应 \(q\Rightarrow p\)；

  2. 化简不等式或方程时使用了非等价变形；

  3. 忽略变量范围，例如正数、实数、整数等限制；

  4. 用集合包含判断时，把“小集合”和“大集合”的方向看反.

题型 2. 证明充要条件

题型识别： 这类题要求证明“\(p\) 是 \(q\) 的充要条件”“\(p\) 当且仅当 \(q\)”“\(p\Leftrightarrow q\)”. 常见于不等式等号成立条件、几何性质判定、函数性质、方程解的条件等问题.

核心思路： 证明充要条件本质上要证明两个方向：充分性 \(p\Rightarrow q\) 与必要性 \(q\Rightarrow p\). 若每一步变形都严格等价，也可以用一串等价变形合并证明；若等价性不容易保证，应分“充分性”和“必要性”分别证明.

解题步骤：

  1. 明确哪一边是条件 \(p\)，哪一边是结论 \(q\)；

  2. 证明充分性：假设 \(p\) 成立，推出 \(q\) 成立；

  3. 证明必要性：假设 \(q\) 成立，推出 \(p\) 成立；

  4. 若采用等价变形，逐步说明每一步变形可逆；

  5. 结尾写明“综上，\(p\) 是 \(q\) 的充要条件”.

易错点：

  1. 只证明了一个方向；

  2. 把必要性和充分性的方向写反；

  3. 使用平方、开方、乘除含变量式等非等价变形时没有补充条件；

  4. 等号成立条件类问题中，只证明充分性，没有说明必要性.

题型 3. 全称量词与存在量词命题的否定

题型识别： 这类题通常要求写出命题的否定，题干中含有“任意”“所有”“每一个”“存在”“至少有一个”“有些”等量词. 设问常为“命题 \(p\) 的否定是”“下列说法中是原命题否定的是”.

核心思路： 否定含量词命题时，要同时“改变量词”和“否定结论”. 全称命题的否定是存在命题： \(\forall x\in M,\ p(x)\) 的否定为 \(\exists x\in M,\ \neg p(x)\)； 存在命题的否定是全称命题： \(\exists x\in M,\ p(x)\) 的否定为 \(\forall x\in M,\ \neg p(x)\).

解题步骤：

  1. 先找量词，判断原命题是全称量词命题还是存在量词命题；

  2. 保持变量范围不变；

  3. 将量词对换：\(\forall\) 改为 \(\exists\)，\(\exists\) 改为 \(\forall\)；

  4. 否定后面的判断语句，例如 \({\gt}\) 改为 \(\leq\)，\(=\) 改为 \(\neq\)，“都是”改为“不都是”；

  5. 检查否定后的命题与原命题是否恰好一真一假.

易错点：

  1. 只否定结论，不改变量词；

  2. 只改变量词，不否定结论；

  3. 把“至少有一个”的否定误写成“至少有两个”，正确否定是“一个也没有”；

  4. 把“至多有一个”的否定误写成“没有”，正确否定是“至少有两个”；

  5. 否定不等式时忘记带等号，例如 \(x{\gt}0\) 的否定是 \(x\leq 0\).

题型 4. 全称量词、存在量词命题的真假判断与求参

题型识别： 这类题要求判断含有 \(\forall\) 或 \(\exists\) 的命题真假，或根据命题真假求参数范围. 常见形式有“\(\forall x\in M,\ f(x){\gt}0\)”“\(\exists x\in M,\ f(x)=0\)”“命题 \(p\) 为真/假，求参数 \(a\) 的范围”.

核心思路： 全称命题为真，必须对范围内所有对象都成立；全称命题为假，只需找到一个反例. 存在命题为真，只需找到一个对象使其成立；存在命题为假，则要证明范围内所有对象都不成立. 求参数时，常把“恒成立”“有解”“无解”“存在反例”转化为函数最值、方程根、不等式解集或集合包含问题.

解题步骤：

  1. 先判断命题类型：全称还是存在；

  2. 把命题真假翻译成数学条件，例如“恒成立”“有解”“无解”“存在某个值”；

  3. 若命题为假，可优先考虑其否定为真；

  4. 根据具体对象选择方法：函数最值、判别式、数轴包含、反例构造等；

  5. 求出参数后，检验边界值能否取到.

易错点：

  1. 判断全称命题为真时，只验证几个特殊值；

  2. 判断存在命题为假时，只说明“看起来找不到”，没有证明所有情形都不成立；

  3. 命题为假时没有转化为否定命题为真；

  4. 求恒成立问题时忽略变量范围，导致最值取错；

  5. 参数边界处没有回代验证.