(A∩B)。.ppt

例4 证明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∈A∧x∈C) ?x∈(A∩B)∨x∈(A∩C) ?x∈(A∩B)∪(A∩C) 所以A∩(B∪C)＝(A∩B)∪(A∩C)。 例5 证明(A∪B)c＝Ac∩Bc。 因为x∈(A∪B)c 证明 ?x∈Ac∩Bc ?x?A∪B ?x?A∧x?B ?x∈Ac∧x∈Bc 所以(A∪B)c＝Ac∩Bc。 例6 证明A－(B∪C)＝(A－B)∩(A－C)。 证明 因为x∈A－(B∪C)?x∈A∧x?(B∪C) ?x∈A∧(x?B∧x?C) 所以A－(B∪C)＝(A－B)∩(A－C)。 ?(x∈A∧x?B)∧(x∈A∧x?C) ?x∈(A－B)∧x∈(A－C) ?x∈(A－B)∩(A－C) 证明 证明 例7 证明A∩(B－C)＝(A∩B)－(A∩C)。 A∩(B－C)＝A∩(B∩Cc)＝(A∩B∩Ac)∪(A∩B∩Cc) 例8 已知A∪B＝A∪C，A∩B＝A∩C，试证B＝C。 B＝B∩(A∪B)＝B∩(A∪C)＝(B∩A)∪(B∩C) (A∩B)∩(Ac∪Cc)＝ (A∩B)－(A∩C)。 ＝(A∪C)∩C＝C。 ＝(A∩C)∪(B∩C)＝(A∪B)∩C 3.2.2 集合的对称差 定义3.9 集合A和B的对称差定