Quantorenlogik/Eine einstellige Funktion/Endliche Ordnung/Aufgabe

Das Symbolalphabet ${}S$ bestehe neben Variablen aus dem einzigen einstelligen Funktionssymbol ${}f$. Finde für die folgenden Ausdrücke aus ${}L^{S}$ jeweils Interpretationen, in denen der Ausdruck gilt, und Interpretationen, in denen er nicht gilt.

1. ${}\forall x(x=fffx)$.
2. ${}\exists x(x=fffx)$.
3. ${}\forall x(fx=fffx)$.
4. ${}\forall x(x=ffx)\wedge \forall x(\neg (x=fx))$.

Eine Lösung erstellen