Udowodnij... rachunek zbiorów

[goldenka]

Udowodnij ze zachodzą równości:
a) A (BUC)=(A B)C
b) (AB)nC=(An(BUC)) B
c) (A Δ B)ΔC=AΔ(BΔC)

dzia z góry za pomoc!!

[madziorek]

\(\displaystyle{ x\in A \backslash(B \cup C)\iff x A x \not\in (B\cup C) \iff x A x (B' \cap C') \iff x A (x\in B' x\in C') \iff (x A x\in B')\wedge x\in C' \iff (x A x \not\in B)\wedge x\not\in C \iff x (A \backslash B)\wedge x\not\in C\iff x\in (A \backslash B)\backslash C}\)