Prädikatenlogik/Genau 4 Elemente/Formalisiere/Aufgabe/Lösung

$\exists x\exists y\exists z\exists u{\left(x\neq y\wedge x\neq z\wedge x\neq u\wedge y\neq z\wedge y\neq u\wedge z\neq u\wedge \forall v{\left(v=x\vee v=y\vee v=z\vee v=u\right)}\right)}.$

Zur gelösten Aufgabe