计算机科学和技术专业集合论和图论.pdf

计算机科学与技术专业 ·集合论与图论 第一讲第三次课 子集关系与集合相等 周 晓 聪 中山大学计算机科学系软件工程实验室 2008年9月9 日 /∼zxc isszxc@ 周 晓 聪 (中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年9月9 日 1 / 12 集合相等 基本恒等式 − 与命题逻辑中的等值演算非常类似 ◦ ∪类似∨，∩类似∧，而∼类似¬ ◦ 基本恒等式都可根据集合相等的定义进行证 明 − 注意德摩尔根律的绝对形式和相对形式，差与交之间的转换等集合等式 集合等式的证 明方法 − 根据集合相等的定义进行证 明 ◦ A = B 当且仅 当∀x (x ∈A ↔ x ∈B) ◦ 对任意的x ，首先以x ∈A作为附加前提推导x ∈B ，然后 以x ∈B为附加前提推 导x ∈A − 利用基本恒等式进行证 明 周 晓 聪 (中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年9月9 日 2 / 12 德摩尔根律 A − (B ∪ C) = (A − B) ∩ (A − C) A A A B C B C B C A − B ∪ C = (A − B) ∩ (A − C) 周 晓 聪 (中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年9月9 日 3 / 12 德摩尔根律 A − (B ∪ C) = (A − B) ∩ (A − C) A A A B C B C B C A − B ∩ A − C = A − (B ∪ C) 周 晓 聪 (中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年9月9 日 3 / 12 德摩尔根律 A − (B ∩ C) = (A − B) ∪ (A − C) A A A B C B C B C A − B ∩ C = (A − B) ∪ (A − C) 周 晓 聪 (中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年9月9 日 3 / 12 德摩尔根律 A − (B ∩ C) = (A − B) ∪ (A − C) A A A B C B C B C A − B ∪ A − C = A − (B ∩ C) 周 晓