Appearance
第一章：集合与常用逻辑用语 (复习全能指南-V5终极版)
一、核心概念与关系
- 集合三要素：确定性、互异性、无序性。
- 常用数集符号：
- (自然数集), 或 (正整数集)
- (整数集)
- (有理数集)
- (实数集)
- 属于/包含关系：
- 元素与集合：用 或 表达。
- 集合与集合：用 或 表达。
- 空集性质： 是没有任何元素的集合，规定 是任何集合的子集，即 。
二、集合运算定律
- 交换律：,
- 结合律：,
- 分配律：,
- 德·摩根定律 (De Morgan's Laws)： 配合记忆口诀：“长杠变短杠，符号变方向”。
三、三大避坑指南
- ⚠️ 遗忘空集：在求解包含参数关系的 时，极其容易忽略子集 这个先天恒成立的条件。
- ⚠️ 忽视互异性：在求出含参数的集合元素后，若不将参数代回原集合检验，可能导致集合中出现两个相同的元素，违背互异性原则。
- ⚠️ 代表元素错误：看错集合代表的意义。例如 是定义域； 是值域； 是图像上的点集。三者本质截然不同！
四、1.4 模块：充分条件与必要条件
- 核心定义： 若 ，即从 能够直接推出 ，则称 是 的充分条件。而 称为 的必要条件。 若 且 （即 ），则称 是 的充要条件（充分且必要条件）。
- 判定技巧（集合法）： 设满足条件 的对象集合为 ，满足条件 的对象集合为 ：
- 小集合推大集合：若 ，则 。
- 若 ，则 是 的充分不必要条件。
- 若 ，则 是 的必要不充分条件。
- 若 ，则 是 的充要条件。
提炼口诀
判定口诀：小推大，充分；大推小，必要。 即 （充分）。
五、1.5 模块：全称量词与存在量词（逻辑衔接）
| 名称 | 符号 | 读法 | 否定形式 |
|---|---|---|---|
| 全称量词 | 对所有、对任意、一切 | 存在、至少有一个 () | |
| 存在量词 | 存在、有一个、至少有一个 | 所有、任意、一切 () |
- 全称命题：含有全称量词“所有”、“任意” (符号 ) 的命题。
- 标准格式：
- 否定格式： （变 为 ，并否定结论）
- 特称命题 (存在命题)：含有存在量词“存在”、“至少有一个” (符号 ) 的命题。
- 标准格式：
- 否定格式： （变 为 ，并否定结论）
六、1.6 模块：反证法
反证法是一种间接证明逻辑，特别适用于正面推导极度困难的命题（如“无理数判定”、“唯一性”、“至少/至多存在几个”）。
步骤
- 反设：假设命题结论不成立（即假设结论的反面成立）。
- 归谬：从反面假设出发，经过缜密且符合逻辑的推导，得出明显的矛盾（可以是与前置已知条件、数学公理、或公认规律相违背）。
- 结论：因为推导出逻辑悖论点，故反证由于假设出错导致，从而否定假设，肯定原命题。
精选母题集 (典型例题-V4辅导版)
例 1
题目
已知集合 ，，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 将两集合合并，根据互异性原则，重复的 2 和 3 只写一次。 辅导逻辑： 考核并集基础概念。并集指所有属于 A 或 B 的元素集合，务必强调元素的互异性。
例 2
题目
设 ，，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 分别在数轴上画出 和 的区间，寻找两者重合交叉的公共部分。左边界由于 不含等号，右边界 也不含等号。 辅导逻辑： 考核交集运用及数轴工具。必须让学生养成遇到不等式区间必画数轴的习惯。
例 3
题目
全集 ，集合 ，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 实数域 中去除了所有大于等于 2 的数，即剩余严格小于 2 的实数集。 辅导逻辑： 考核补集转化。重点提醒边界值的取舍关系，原来的带等号，其补集必然不带等号。
例 4
题目
判断关系： 是否正确？
答案
正确
点击查看详细解析与辅导逻辑
详细解析： 自然数集 是包含非负整数的，因此 属于自然数集。 辅导逻辑： 澄清概念混淆点。许多人会将 和 (正整数集) 记混，这是常见选择题陷阱。
例 5
题目
已知 ，，若 ，求 的值。
答案
点击查看详细解析与辅导逻辑
详细解析： 由集合相等，1属于B，若 ，此时 违背互异性，舍去；则只能是 或 。分类推演并验算后可得 是唯一满足互异性与相平等的。 辅导逻辑： 互异性避坑第一题！教导学生“一遇参数、必检验互异”。
例 6
题目
若集合 ，求 的所有真子集。
答案
点击查看详细解析与辅导逻辑
详细解析： 解方程得 ，故 。它的子集有 4 个，剔除它本身 后剩余上述三个。 辅导逻辑： 串联方程求解与真子集排列组合，着重强调不要遗忘空集。
例 7
题目
已知 ，若 ，求 的范围。
答案
点击查看详细解析与辅导逻辑
详细解析： 当且仅当区间的右端点小于等于左端点时，不存在任何中间的实数使得条件成立。 辅导逻辑： 避坑空集逆向理解法。让学生理解区间表达式与真实元素的物理意义对应关系。
例 8
题目
集合 的子集个数是多少？
答案
4 个
点击查看详细解析与辅导逻辑
详细解析： 分别为 。公式为 。 辅导逻辑： 要求熟记含有 个元素的集合其子集总数为 ，真子集数为 。
例 9
题目
若 ，，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 的限制条件是 ，即 。 表达的是值域限制也就是二次函数求极值 ，即 。取两者交集得 。 辅导逻辑： 代表元素错误绝佳错题记录！教会学生先看竖线前的字母是谁，再看竖线后的方程。
例 10
题目
化简 ，当 时。
答案
全集
点击查看详细解析与辅导逻辑
详细解析： 根据德·摩根定律 。因为 ，空集的补集即为全集 。 辅导逻辑： 训练德·摩根公式及长杠短杠变换，体会对称形式化简之美。
例 11
题目
设 ，。若 ，求 范围。
答案
点击查看详细解析与辅导逻辑
详细解析： 解 得 。两个区间要形成非空交集，右开区间的顶端 必须越过左开区间的底端 。 辅导逻辑： 再次强调画数轴的重要性，动态移动 轴以观察临界点的重叠。
例 12
题目
已知 ，，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 这是两直线的点集求交，等同于解二元一次方程组 。解出 。因元素的本质坐标对，外层不应遗弃大括号。 辅导逻辑： 点集的集合形式。着重批评部分学生写成 （一维错误）的顽疾。
例 13
题目
设集合 ，集合 ，若 ，且 非空，求 。
答案
或
点击查看详细解析与辅导逻辑
详细解析： 由 知 。令 得 ，此时 不满足子集条件，舍去。不断代入其余根并验证发现只有 与 的部分情况复合题意，极其考验试错和互异性检验。 辅导逻辑： 对参数讨论和互异性的深度融合考量。必须教会他们倒推和反证。
例 14
题目
若集合 中只有一个元素，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 当 的时候方程无解，对应空集；只要 ，就是标准且具有单解的一次方程。 辅导逻辑： 这是后续解析数论里讨论二次方程一次化降维打击的雏形。
例 15
题目
中能被 2 整除的元素构成的子集？
答案
点击查看详细解析与辅导逻辑
详细解析： 能被 2 整除即为偶数，在基础数组里直接挑出筛选。 辅导逻辑： 了解条件约束筛选子集的基础手段。
例 16
题目
全集 ，，，求这能说明什么。
答案
集合 A 和 B 均须包含 ，且其余的 将被 A 和 B 二选一地彻底瓜分。
点击查看详细解析与辅导逻辑
详细解析： 交集表明两者共享 2 和 4。而并集占满 U，表明除了公共元素，其他的全是独占元素。 辅导逻辑： 借用集合运算推导配置方式。可以用来引申出包含不互斥的排布数学思维。
例 17
题目
已知 ，，若 ，求 。
答案
点击查看详细解析与辅导逻辑
详细解析： 中含有 2 和 3。因为交集仅含 3，所以 集合的区间覆盖必须囊括 3 而避开 2。即 且确保 （因为如果 则会把 2 也包进去）。 辅导逻辑： 极高频必考选填题！考核边界“取得到等号”和开闭区间的灵活判断。
例 18
题目
设 是全体实数，若对任意实数 ， 恒成立，转化为含有补集的高中数学语言怎么说？
答案
解集为 ，其等价于对应原条件不满足集合（错集）的补集为空 。
点击查看详细解析与辅导逻辑
详细解析： 恒成立问题代表事件穷举充满了整个实数域，也就反证了对立事件的空间完全为 0。 辅导逻辑： 引出后续函数恒成立向转化补集来逆向求参数最值的手段。
例 19
题目
已知 ，。若 ，求 的取值范围。
答案
点击查看详细解析与辅导逻辑
详细解析：
- 要时刻不忘 的可能：即当 时， 为空，必然是 的子集。
- 若 ，即 时，必须两端不超界： 且 ，解出 。 两边一结合，得出 全体域。 辅导逻辑： 绝对母题：遗忘空集的重灾区。如果学生只做出 ，必定是没有对子基线进行空集保护判断。
例 20
题目
已知集合 , ，若 ，求实数 的取值范围。
答案
点击查看详细解析与辅导逻辑
详细解析： 我们分为两步进行深挖：
防坑（考虑空集）： 因为 ，自然包含 这种特例。 当二次方程无实数根时， 为空集，必定落入 内。 利用判别式： 得到空集条件下的参数解： 。
检验（非空子集）： 原集合解得 。若 ，则 中元素必源于 。 由韦达定理，方程 的两根之积必然等于 2（即 ）。 此时如果在集合 A 里挑，只能是 和 分别成为了方程的两个解。 因而其根必然为 与 这一对。 再用韦达定理两根之和追溯回参数 ：
最后，综上两块逻辑体系取并集。 故实数 的收敛范围为：。
辅导逻辑： 本题为集合子集理论与微元方程判别式深度结合的经典压轴主考大坑，常考查空集的隐蔽性和韦达定理的使用！ 必须要逼迫考生在一遇到参数挂在自变量上的题目时立刻浮现出三段论式：空集不？互异不？超边不？只有如此方能彻底扫清集合板块的所有选择题诡雷！
例 21
题目
条件 ，条件 ，则 是 的什么条件？
答案
充分不必要条件
点击查看详细解析与辅导逻辑
详细解析： 解不等式 ，得到 代表的集合为 。 定义 代表的集合为 。 观察可知 ，由于成立“小集合推大集合”定则，故有 成立，但 不成立。 结论为 是 的充分但不必要条件。 辅导逻辑： 这是针对 “1.4 充要条件判定” 的经典考核。采用“集合法”，将冰冷的不等式转换为直观的集合，通过辨别两集合的真子集包含关系，迅速无误地进行充分性和必要性的靶向判定。
例 22
题目
设 ，试判断“”是“ 且 ”的什么条件。
答案
充要条件 ()
点击查看详细解析与辅导逻辑
详细解析： 先判断充分性 ()：若 ，显然两侧各自取二次方与三次方均相等，故充分性完美成立。 再判断必要性 ()：若 且 成立。由于 ，则存在 或 。
- 若 ，已经符合结论。
- 若 ，代入 后得到 。此时 ，所以依然有 。在任何分歧路线上必定回归 。故必要性成立。 两者等效互证，所以是充要条件。 辅导逻辑： 用于演练对于复合多元命题进行严谨“左推右”和“右推左”分离演算的典范。必须让学生杜绝靠直觉双向同时预判的坏习惯。
例 23
题目
应用反证法证明核心特例命题： 是无理数。
答案
见详细解析
点击查看详细解析与辅导逻辑
详细解析： 本题使用1.6 反证法三大标准操作规程：
- 反设：假设命题不成立，即假设 不是无理数，而是有理数。
- 归谬：既然是有理数，根据定义，它必可以表示成为一个既约分数 （这里 是正整数且二者互质，没有 1 以外的公约数）。 对方程两端直接平方法：。 上式证明了 必是偶数。那么其底数 本身必定也是偶数。于是我们可设 ( 为正整数)。 将其代入原式得到：。 同样的逻辑，这证明了 是偶数并得出： 也是偶数。 若 和 都是偶数，他们就会存在一个公约数 2，这无情地打破并矛盾于开局的前提边界条件 “ 二者互约互质”！
- 结论：既然导致了公理层逻辑的绝大矛盾，原发假设显然彻底崩塌。故肯定原命题， 是严谨且真实的无理数。 辅导逻辑： 反证法（1.6 模块）的黄金启蒙母题。以此揭示了什么叫做“无路可走时的退守反攻”。对唯一性或者不含等词特性的命题时常爆发奇效！