‹ 回去

3. 集合运算律

集合与常用逻辑用语 · 高三
讲清楚它是什么

定义 集合的并、交、补运算满足交换律、结合律、分配律,是代数运算在集合论中的体现。

从哪来 本知识点建立在“集合的基本概念”及“集合的交、并、补运算定义”之上。

为什么 集合运算本质上是逻辑运算(“或”、“且”、“非”)的代数化。 1. 交换律/结合律:源于逻辑命题的真值表。例如 $A \cup B$ 表示元素属于A或属于B,这与 $B \cup A$ 在逻辑真值上完全等价,顺序不影响结果;结合律同理,因为逻辑连接词的优先级和分组不改变最终真值。 2. 分配律:源于逻辑等价式 $P \land (Q \lor R) \iff (P \land Q) \lor (P \land R)$。在集合中,$A \cap (B \cup C)$ 表示元素既在A中,又在B或C中,这等价于“在A且在B”或者“在A且在C”,即 $(A \cap B) \cup (A \cap C)$。 因此,这些定律不是人为规定的,而是由集合元素归属的逻辑唯一性决定的。

讲法
韦恩图直观法 适合:形象思维强、抽象逻辑较弱的学生 1. 画出三个圆A、B、C的韦恩图。 2. 用不同颜色填充区域来验证定律。 - 验证 $A \cup (B \cup C) = (A \cup B) \cup C$:先涂A和B的并集,再涂C,观察最终覆盖区域与先涂B和C再涂A是否一致。 - 验证 $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$:先找出B和C的并集区域,再与A取交集(重叠部分);对比直接找A与B的交集、A与C的交集,再取并集。 3. 结论:无论运算顺序如何,最终被“选中”的几何区域完全相同。
讲法
逻辑真值表推导法 适合:逻辑推理能力强、喜欢严谨证明的学生 1. 将集合运算转化为逻辑命题: - $x \in A \cup B \iff x \in A \lor x \in B$ - $x \in A \cap B \iff x \in A \land x \in B$ - $x \in \complement_U A \iff \neg (x \in A)$ 2. 以分配律 $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$ 为例: - 左边:$x \in A \land (x \in B \lor x \in C)$ - 右边:$(x \in A \land x \in B) \lor (x \in A \land x \in C)$ 3. 引用逻辑代数中的分配律 $P \land (Q \lor R) \iff (P \land Q) \lor (P \land R)$,直接得出结论。 4. 强调:集合运算律是逻辑运算律的直接映射,无需死记硬背,理解逻辑即可推导。
讲法
类比实数运算法 适合:代数基础扎实、习惯类比迁移的学生 1. 对比实数运算律: - 加法对应并集 $\cup$,乘法对应交集 $\cap$。 - 实数满足 $a + (b + c) = (a + b) + c$,集合满足 $A \cup (B \cup C) = (A \cup B) \cup C$。 - 实数满足 $a(b + c) = ab + ac$,集合满足 $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$。 2. 指出差异: - 实数加法不满足分配律($a + bc \neq ab + ac$),但集合并集满足分配律($A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$)。 - 原因:逻辑“或”对“且”的分配性,而实数加法对乘法的分配性不成立。 3. 结论:集合运算律更接近布尔代数,而非普通实数代数,需特别注意分配律的双向性。
看不明白?看一段视频 ▾待生成
练一道
基础题
已知全集 $U = \{1, 2, 3, 4, 5\}$,$A = \{1, 2, 3\}$,$B = \{2, 3, 4\}$,$C = \{3, 4, 5\}$。求 $A \cap (B \cup C)$ 和 $(A \cap B) \cup (A \cap C)$,并验证分配律。
变式
已知 $A = \{x \mid x^2 - 3x + 2 = 0\}$,$B = \{x \mid x^2 - 5x + 6 = 0\}$,$C = \{x \mid x^2 - 4x + 3 = 0\}$。求 $A \cup (B \cap C)$。
试试手自己判
检测题
已知全集 $U = \{1, 2, 3, 4\}$,$A = \{1, 2\}$,$B = \{2, 3\}$。判断下列等式是否成立:$A \cup (B \cap \complement_U A) = \complement_U (\complement_U A \cap B)$。
看答案和判分标准
答案:成立。
判对标准:
1. 学生能正确计算 $\complement_U A = \{3, 4\}$。
2. 学生能正确计算 $B \cap \complement_U A = \{2, 3\} \cap \{3, 4\} = \{3\}$。
3. 学生能正确计算 $A \cup \{3\} = \{1, 2, 3\}$。
4. 学生能正确计算 $\complement_U A \cap B = \{3, 4\} \cap \{2, 3\} = \{3\}$。
5. 学生能正确计算 $\complement_U \{3\} = \{1, 2, 4\}$。
6. 注意:此处题目设计有误,正确等式应为 $A \cup (B \cap \complement_U A) = A \cup B$ 或类似德摩根律应用。重新设计检测题:

修正检测题:已知全集 $U = \{1, 2, 3, 4\}$,$A = \{1, 2\}$,$B = \{2, 3\}$。判断下列等式是否成立:$\complement_U (A \cup B) = \complement_U A \cap \complement_U B$。
容易错在哪儿 ▾点开看
这一步没懂?写一句问老师 ›
内容由卡片自动生成 · 有不对的地方告诉老师
这张卡有问题?告诉老师 ›