Die 3. Zeile ist falsch.
Du kannst nicht (x∈A ∨ x∈B ) = B schreiben, denn links steht eine
Aussage und rechts von "gleich" eine Menge.
Sowas wie A⊆B⇒A∪B=B
kann man doch so beweisen;
Sei A⊆B
Dann ist zu zeigen A∪B=B
Dazu zeigt man A∪B⊆B und B⊆A∪B
Betrachte dazu
1. x∈A∪B ==> x ∈ A oder x ∈ B
Wegen Sei A⊆B folgt aus x ∈ A doch sofort x ∈ B
Also jedenfalls x ∈ B.
2. B⊆A∪B . Teilnehmer einer Vereinigung ist immer
Teilmenge der Vereinigung. Also stimmt auch das.
q.e.d.