Prädikatenlogik/Allgemeingültig/Alle/Es gibt/Gleichheit/Aufgabe

Welche der folgenden prädikatenlogischen Ausdrücke sind allgemeingültig (${}x,y$ seien Variablen)?

1. ${}\forall x(\exists y(x=y))$,
2. ${}\forall x(\forall y(x=y))$,
3. ${}\exists x(\forall y(x=y))$,
4. ${}\exists x(\exists y(x=y))$.

Eine Lösung erstellen