ich sitze gerade an einer Aufgabe und komme nicht weiter.
Es geht um die Aussagenlogik und Mengenlehre (Lineare Algebra 1)
A, B, C ⊂ M
Es geht nun darum, die folgende Aussage zu Beweisen.
(A ∩ B) \ C = (A \ C) ∩ (B \ C)
Ich weiß jetzt, dass man das Distributivgesetz anwenden kann und dann von (A ∩ B) \ C auf (A \ C) ∩ (B \ C) kommt. Doch fehlt da nicht noch ein zwischenschritt? Ich kann ja bei der Aufgabe kaum schreiben:
(A ∩ B) \ C -> Distributivgesetz -> (A \ C) ∩ (B \ C) und die Sache ist fertig.
Kann da jemand weiter helfen? (Es geht in der Aufgabe speziell um den Beweis)
