Abbildung/Wohldefiniertheit/Quantoren/Aufgabe

Es sei ${}f$ ein einstelliges Funktionssymbol. Bestimme, welche der folgenden Ausdrücke untereinander äquivalent sind.

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

Eine Lösung erstellen