一、集合的含义与表示
集合构造器
列举法 (Roster Notation)
{1, 2, 3, 4, 5}
描述法 (Set-Builder Notation)
{ x | x 是输入的数字元素 }
常用数集
点击下方数集符号查看示例元素
ℕ
自然数集
{0, 1, 2, 3, ...}
ℤ
整数集
{..., -2, -1, 0, 1, 2, ...}
ℚ
有理数集
{p/q | p,q−Z, q≠0}
ℝ
实数集
{x | -∞ < x < +∞}
数集详情
点击上方数集符号查看详情
应用问题
问题：已知集合 A = { x | x² - 3x + 2 = 0 }，求 A 的元素。
二、集合间的基本关系
子集关系文氏图
子集定义
A ⊆ B
若对于任意 x ∈ A，都有 x ∈ B，则称 A 是 B 的子集，记作 A ⊆ B。
空集 ∅ 是任何集合的子集
任何集合都是它本身的子集
子集个数计算器
子集总数
2³ = 8
2n
真子集个数
2³ - 1 = 7
2n - 1
非空真子集个数
2³ - 2 = 6
2n - 2
应用问题
问题：已知 {2, 3} ⊆ A ⊆ {1, 2, 3, 4}，求满足条件的集合 A 的个数。
三、集合的基本运算（并、交、补）
文氏图交互演示
运算结果
{1,2,3,4,5}
应用问题：集合运算与 De Morgan 律
问题：已知全集 U = {1, 2, 3, 4, 5, 6, 7, 8}, A = {1, 2, 3}, B = {2, 3, 4, 5}，
求 A ∩ B, A ∪ B, ∁U(A ∪ B)。
求 A ∩ B, A ∪ B, ∁U(A ∪ B)。
De Morgan 律（德摩根定律）
De Morgan 律 1
∁U(A ∪ B) = ∁UA ∩ ∁UB
并集的补集 = 补集的交集
De Morgan 律 2
∁U(A ∩ B) = ∁UA ∪ ∁UB
交集的补集 = 补集的并集
验证：使用上例数据
∁U(A ∪ B) = {6,7,8}
∁UA = {4,5,6,7,8}, ∁UB = {1,6,7,8}
∁UA ∩ ∁UB = {6,7,8} ✓
四、充分条件与必要条件
条件关系判断器
p ⇒ q
✓ 成立
p 推出 q
q ⇒ p
✗ 不成立
q 推出 p
结论
p 是 q 的充分不必要条件
p ⇒ q 但 q ⇎ p
集合视角：小集合 ⇒ 大集合
• 若 P ⊆ Q，则 x ∈ P ⇒ x ∈ Q
• p 是 q 的充分条件：p 成立则 q 必然成立
• q 是 p 的必要条件：q 不成立则 p 不可能成立
• 口诀：小集合充分，大集合必要
• p 是 q 的充分条件：p 成立则 q 必然成立
• q 是 p 的必要条件：q 不成立则 p 不可能成立
• 口诀：小集合充分，大集合必要
应用问题 1
问题："x > 2" 是 "x > 3" 的什么条件？
拖动滑块调整 x 的值
x > 2
x > 3
应用问题 2
问题："a = 0" 是 "ab = 0" 的什么条件？
ab =
0
五、全称量词与存在量词
量词真值判断器
量词类型
全称量词 ∀
全称量词
真值
真 ✓
命题为真
解释
对任意实数 x，x² 非负
分析
量词否定规则
全称量词否定
¬(∀x P(x)) ≡ ∃x ¬P(x)
并非所有 x 都满足 P(x) ≡ 存在 x 不满足 P(x)
存在量词否定
¬(∃x P(x)) ≡ ∀x ¬P(x)
不存在 x 满足 P(x) ≡ 所有 x 都不满足 P(x)
否定技巧：
∀ ↔ ∃（互换），¬ 后移（否定结论）
否定练习
原命题
∀x ∈ R, x² > 0
否定命题
∃x ∈ R, x² ≤ 0
真假分析
原命题为假，否定命题为真（x=0 时 x²=0）
高考真题（2024）
问题：（2024年高考数学）已知命题：
p: ∀x ∈ R, |x + 1| > 1
q: ∃x > 0, x³ = x
判断 p, q 的真假。
p: ∀x ∈ R, |x + 1| > 1
q: ∃x > 0, x³ = x
判断 p, q 的真假。