Prädikatenlogik/Freie Variablen/Ausdrücke/1/Aufgabe

Bestimme die freien Variablen in den folgenden Ausdrücken, wobei ${}x,y,z$ Variablen seien und ${}f$ ein einstelliges Funktionssymbol und ${}R$ ein zweistelliges Relationssymbol sei.

1. ${}\forall x{\left(fx=y\right)}$,
2. ${}\forall x{\left(fx=y\right)}\wedge \exists z{\left(fx=y\right)}$,
3. ${}\forall x\exists yRxfy$,
4. ${}{\left(\forall x\exists yRxfy\right)}\rightarrow x=y$.

Eine Lösung erstellen