(a) A \ ∅ = A ∪ ∅? wahr, denn:
x ∈ A \ ∅
<=> x ∈ A und x ∉ ∅
x ∉ ∅ ist wahr für alle x, also ist das
eine Und-Verbindung mit einer wahren Aussage,
die ist äquivalent zu der ersten Aussage
<=> x ∈ A (dann s.oder-Verbindung mit falscher Aussage)
<=> x ∈ A oder x ∈ ∅
<=> x ∉A ∪ ∅
(b) A ∪ [ (B \ C) = (A ∪ B) \ C?
Gegenbeispiel A={1,2} B={2,3} C={2,4}
(c)U(umgedreht) {A,B} ∪ C= U(umgedreht) {A∪C,B∪C}?
????????????