Also sagen wir ich möchte folgendes beweisen:
A × (B ∩ C) = (A × B) ∩ (A × C).
A, B und C sind alles Teilmengen von einer Menge M.
Nun möchte ich beweisen, dass der erste Teil eine Teilmenge des zweiten Teils ist, und umgekehrt, um die Gleichheit zu beweisen. Ich gehe also wie folgt vor:
A × (B ∩ C)
⇒ (x, y) ∈ (A × (B ∧ C))
und nun gibt es beim nächsten Schritt eine Unklarheit:
Müsste es "⇒ x ∈ A ∨ y ∈ (B ∧ C)" oder "⇒ x ∈ A ∧ y ∈ (B ∧ C)" heißen?
Also muss man die Aufteilung der Elemente x & y des kartesischen Produkts mithilfe des "logischen und" oder des "logischen oder" darstellen? Ich glaube das "logische oder" ist richtig, da man es sonst nicht in den zweiten Teil umgeformt bekommt.
