原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
集合的运算;;例：;二、集合的运算律;定理;三、证明集合相等的四种方法;三、证明集合相等的四种方法;集合等式的证明;分析： (?x)(x∈A∩B ?x∈A) ?(?x)(x∈A?x∈B)
证明：A∩B=A，
? (?x)(x∈A∩B ?x∈A)
?(?x)((x∈A∩B ? x∈A)∧(x∈A? x∈A∩B))
?(?x)((x?A∩B∨x∈A)∧(x?A∨x∈A∩B))
?(?x)((?(x∈A∧x∈B)∨x∈A)∧
(x?A∨(x∈A∧x∈B))
?(?x)(((x?A∨x?B)∨x∈A)∧
(x?A∨(x∈A∧x∈B)))
?(?x)(T∧(T∧ ( x?A∨ x∈B)))
?(?x)( x?A∨ x∈B)
?(?x)(x∈A?x∈B)
? A?B;四、证明A?B的四种方法：
方法一：A和B是用枚举方式定义的：
依次检查A的每个元素是否在B中出现。
方法二：通过集合运算判断A?B：
即A∪B = B, A∩B = A, A?B = ?三个等式中有一个为真，则A?B。
方法三：通过文氏图判断集合的包含（注意这里是判断，而不是证明）
方法四：A和B是谓词定义的，且A和B中元素的性
质分别为P和Q：（即：A={x|P(x)} B={x|Q(x)}
利用?的定义证明（按定义证明法）。;按定义证明的方法;六、证明集合不等的方法;七、证明集合A是空集的方法 ;自学
求证(A-B)-C=(A-C)-(B-C)
证明： 任取x，
x∈(A-C)-(B-C)
? x∈(A-C)∧x?(B-C)
? (x∈A∧x?C)∧?(x∈B∧x?C)
? (x∈A∧x?C)∧ (x?B∨x∈C)
? (x∈A∧x?C∧x?B)∨(x∈A∧x?C∧ x∈C)
? x∈A∧x?C∧x?B
? x∈A∧x?B∧x?C
? (x∈A∧x?B)∧x?C
? x∈A-B∧x?C
? x∈(A-B)-C
所以 (A-B)-C=(A-C)-(B-C);自学
A-(B∩C)=(A-B)∪(A-C)
A-(B∪C)=(A-B)∩(A-C)
证明：任取x∈A-(B∪C)
?x∈A∧x?(B∪C)
?x∈A∧?(x∈B∨x∈C)
?x∈A∧(x?B∧x?C)
?(x∈A∧x?B)∧(x∈A∧x?C )
?x∈A-B∧x∈A-C
?x∈(A-B)∩(A-C)
所以 A-(B∪C)=(A-B)∩(A-C))
A∩(B-C)=(A∩B)-(A∩C)
但∪对- 是不可分配的，
如A∪(A-B)=A， 而(A∪A)-(A∪B)=Φ;自学
证明：A?B ? ~B?~A
证明： A?B ?(?x)(x∈A?x∈B)
?(?x)(x?B?x?A)??x(x∈~B?x∈~A)
? ~B?~A
∴ A?B ? ~B?~A
证明：德摩根定律
(1)~(A∩B)=~A∪~B
(2)~(A∪B)=~A∩~B
证明: (1)：任取x∈ ~(A∩B)
x∈ ~(A∩B) ?x?A∩B??(x∈A∧x∈B)
?(x?A)∨(x?B)?(x∈~A)∨(x∈~B)
?x∈ (~A∪~B)
∴~(A∩B)=~A∪~B ;自学
~A=B 当且仅当A∪B=E且 A∩B=Φ
证明： (A∪B=E)∧(A∩B=Φ)
?(?x)(x∈A∪B?x∈E)∧ (P?T=P)
(?x)(x∈A∩B?x∈Φ) (P?F=?P)
?(?x)(x∈A∪B?T)∧?x(x∈A∩B?F)
?(?x)(x∈A∪B∧?(x∈A∩B))
?(?x)((x∈A∨x∈B)∧?(x∈A∧x∈B))
?(?x)((x∈A∨x∈B)∧(x?A∨x?B))
?(?x)((x?A?x∈B)∧(x∈B?x?A))
?(?x)((x∈~A?x∈B)∧(x∈B?x∈~A))
?(?x)((x∈~A?x∈B)
?~A=B
文档评论（0）