离散数学-第六章的课件.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;分析;谢谢大家！