离散数学 第六章的.ppt

主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的运算 有穷集的计数 集合恒等式 集合运算的算律、恒等式的证明方法 ;6.1 集合的基本概念;元素与集合;集合与集合;空集、全集和幂集;空集、全集和幂集;空集、全集和幂集;6.2 集合的运算;6.2 集合的运算;文氏图;几点说明;广义运算;广义运算;关于广义运算的说明;运算的优先权规定;;作 业;有穷集合元素的计数;实例;实例;6.3 集合恒等式;;书本88页;6.4 集合恒等式（P92）;集合算律;集合算律;集合算律;集合证明题;集合等式的证明;等式置换法;包含等价条件的证明;证明;证明A?B ? A?B=B ? A?B=A ? A?B=? ① ② ③ ④ ③?④ A?B = A?~B = (A?B)?~B = A?(B?~B) = A?? = ? ④?① 假设A?B不成立，那么 ?x(x?A?x?B) ? x?A?B ? A?B?? 与条件④矛盾. 因此，结论A?B成立。;式（6.28）在化简集合公式中的应用;对称差运算算律 式（6.33）的证明;练习题;第六章 练习作业;第六章 总结;第六章 习题课;基本要求;练习1;方法分析;练习2;解答;练习3;解题思路;解答;练习4;解答;解答;练习5;分析;解答;解答