- 1、本文档共54页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
集合论-东南大学计算机科学及工程学院.ppt
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6.3 集合恒等式 设 A,B,C,D是论述域E的任何子集,于是有: 幂等律 A∪A = A A∩A = A 结合律 (A ∪ B) ∪ C=A ∪( B ∪ C) (A ∩ B) ∩ C=A ∩ (B ∩ C) 交换律 A∪B=B∪A A∩B=B∩A 分配律 A∪(B∩C)= (A∪B) ∩ (A∪C) A∩(B∪C)= (A∩B) ∪ (A∩C) 同一律 A∪? = A A∩E= A 零律 A∪E = E A∩?=? 排中律 A∪~A=E 矛盾律 A∩~A=? 吸收律 A∪(A∩B)= A A∩(A∪B)= A 摩根定律 A- (B∪C)=(A-B) ∩ (A-C) A- (B∩C)=(A-B) ∪(A-C) ~ (B∪C)=~ B∩~C ~ (B∩C)=~B∪~C ~E=? ~ ? =E 双重否定律 ~(~A)=A 6.3 集合恒等式 A ∩B ?A A ∩B ? B A ? A∪B B ? A∪B A-B ?A A-B=A∩~B A∪B=B? A ? B ? A ∩B =A ? A-B= ? A?B = B?A (A?B)?C=A?(B?C) A??=A A?A=? A?B=A?C?B=C 6.3 集合恒等式 例: 证明A-B=A ? ~B 证:对任意的x, x∈(A-B) ? x∈A ∧ x ?B ? x∈A ∧ x ∈~B ? x∈ A ? ~B 所以A-B=A ? ~B 6.3 集合恒等式 例: 如果A ? B和C ? D,那么(A∪C) ?(B∪D) 证明:设x是属于(A∪C)的任意元素, 那么x∈A ∨ x∈C,现分情况证明: 如果x∈A,因为A ? B,所以x∈B 所以x∈ B∪D; 如果x∈C,因为C ? D,所以x∈D 所以x∈ B∪D 因此,如果x∈ A∪C,那么x∈ B∪D 所以有 (A∪C) ?(B∪D) 6.3 集合恒等式 证明: A∪B=B? A ? B ? A ∩B =A ? A-B= ? 证明:先证A∪B=B ? A ? B。假设任意x, x?A ? x?A ∨ x? B ? x?A∪B ?x?B 所以A ? B 再证A ? B ? A ∩B =A ,显然A ∩B ? A ,对任意x, x?A ? x?A ∧ x? A ? x?A ∧ x? B ?x?A ∩B 所以A ∩B =A 6.3 集合恒等式 再证:A ∩B =A ? A-B= ? A-B= A ∩~B =(A ∩B ) ∩~B =A ∩(B∩~B)= ? 再证: A-B= ? ? A∪B=B 因为(A-B)∪B=A∪B,而A-B= ? ? A∪B=B 6.3 集合恒等式 第六章 习题课 主要内容 集合的两种表示法 集合与元素之间的隶属关系、集合之间的包含关系的区别与联系 特殊集合:空集、全集、幂集 文氏图及有穷集合的计数 集合的?, ?, ?, ?, ?等运算以及广义?, ?运算 集合运算的算律及其应用 基本要求 熟练掌握集合的两种表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含等关系 熟练掌握集合的基本运算(普通运算和广义运算) 掌握证明集合等式或者包含关系的基本方法 练习1 1.判断下列命题是否为真 (1) ??? (2) ??? (3) ??{?} (4) ??{?} (5) { a, b } ? { a, b, c, {a, b, c}} (6) { a, b } ?{ a, b, c, {a, b}} (7) { a, b} ? { a, b, {{a, b}}} (8) { a, b} ?{ a, b, {{a,b}}} 解 (1)、(3)、(4)、(5)、(6)、(7)为真,其余为假. 方法分析 (1) 判断元素a与集合A的隶属关系是否成立基本方法: 把 a 作为整体检查它在A中是否出现,注意这里的 a 可 能是集合表达式. (2) 判断A?B的四种方法 若A,B是用枚举方式定义的,依次检查A的每个元素是否在B中出现. 若A,B是谓词法定义的,且A,
您可能关注的文档
- 苏教版分数初步认识(一).ppt
- 苏教版四上《泉城》课件.ppt
- 苏教版四年级数学上册解决问题策略(列表).ppt
- 苏教版小学《科学》三年级上册第三四单元演示课件_课件.ppt
- 苏教版小学一年级下册体育及健康全册教案.doc
- 苏教版小学二年级语文下册《“闪光金子”》课件.ppt
- 苏教版小学五年级科学科学小助手1-2单元答案.ppt
- 苏教版小学四年级数学简单周期课件.ppt
- 苏教版小学数学第十册15单元教案.doc
- 苏教版小学科学三年级下册《土壤保护》PPT课件.ppt
- 建筑给排水设计规范GB50015-2003(2009版)强制性条文.doc
- 网络舆情概论(第2版) 课件全套 第1--15章 网络舆情概述--- 网络舆情与对外传播.pptx
- 建设美丽青海..pptx
- 健康管理师职业生涯规划.pptx
- NB∕T 47013.14-2023 承压设备无损检测 第14部分:射线计算机辅助成像检测.pdf
- SL∕T 523-2024 水土保持监理规范.pdf
- NB_T 35119-2018 水电工程水土保持设施验收规程.pdf
- 【《互联网保险的风险防范与监管研究》15000字(论文)】 .pdf
- (2024统编版)政治必修3 《政治与法治》 全册知识思维导图 .pdf
- 2024年广东省深圳市34校中考第2次适应性考试(二模)道德与法治 试题(学生版+解析版) .pdf
文档评论(0)