Mathematrix: Aufgabenbeispiele/ Mengenlehre und Aussagenlogik

Wie wird die Menge $(A\cup B)\setminus C$ mit Hilfe der Symbolik der Aussagenlogik ausgedruckt?

$(A\cup B)\setminus C=(x|(x\in A\lor x\in B)\land x\notin C$

Also alle Objekte $x$, die Elemente von zumindest einer der Mengen $A$ oder $B$ ist aber doch nicht von $C$.