证明对任何集合A B C 有
已帮助 人
证明对任何集合A、B、C,有
-
(A-B)-C=(A∩~B)-C=(A∩~B)∩~C=A∩(~B∩~C)
=A∩(~(B∪C))=A-(B∪C).$(A-B)-C=(A∩~B)∩~C=(A∩~C)∩~B=(A-C)∩~B=(A-C)-B.$(A-C)-(B-C)=(A∩~C)-(B∩~C)=(A∩~C)∩~(B∩~C)
=(A∩~C)∩(~B∪C)=(A∩~C∩~B)∪(A∩~C∩C)
=((A∩~B)∩~C)∪
=(A-B)-C.
