Uogólniona suma zbiorów - sprawdzić, czy zależnosć zachodzi

[Kalkulatorek]

Sprawdzić, czy
\(\displaystyle{ \bigcup(\mathcal A \cup \mathcal B) = \bigcup \mathcal A \cup \bigcup \mathcal B}\)

Spróbowałem rozwiązać to zadanie przy użyciu aksjomatu ekstensjonalności - weźmy dowolny obiekt \(\displaystyle{ x}\)
\(\displaystyle{ x\in \bigcup (\mathcal A \cup \mathcal B) \iff(\exists C\in \mathcal A \cup \mathcal B)(x \in C)}\)
Teraz rozpisuję kwantyfikator egzystencjalny:
\(\displaystyle{ x\in \bigcup (\mathcal A \cup \mathcal B) \iff(\exists C)((C \in \mathcal A \lor C \in \mathcal B)\land x\in C)}\)
Teraz rozbijam to na dwa kwantyfikatory (Nie będę już przepisywał lewej strony, bo ona się nie zmieni)
\(\displaystyle{ \iff (\exists C)(C \in \mathcal A \land x\in C) \lor (\exists C)(C\in \mathcal B \land x\in C)}\)
\(\displaystyle{ \iff x \in \bigcup \mathcal A \lor x\in \bigcup \mathcal B}\)
Co kończyłoby dowód.

Czy jest coś, co powinienem zmienić w rozwiązaniu tego zadania? Czy jest ono w ogóle poprawne?

[Jan Kraszewski]

Rozwiązanie jest poprawne, ale w tym miejscu

Teraz rozbijam to na dwa kwantyfikatory (Nie będę już przepisywał lewej strony, bo ona się nie zmieni)
\(\displaystyle{ \iff (\exists C)(C \in \mathcal A \land x\in C) \lor (\exists C)(C\in \mathcal B \land x\in C)}\)

przytoczyłbym/nazwałbym prawo rachunku kwantyfikatorów, z którego korzystasz, bo to kluczowe przejście w dowodzie.

JK