Prädikatenlogik/Rang/Beispielausdrücke/2/Aufgabe

Bestimme den Rang der folgenden Ausdrücke.

1. ${}gxy=c$,
2. ${}\forall xgcx=gxx$,
3. ${}{\left(\neg Pz\vee ggxyy=gcc\right)}\rightarrow {\left(\exists xPx\right)}$,
4. ${}{\left(\forall yPy\right)}\rightarrow {\left(\neg \exists xgcx=gcgcx\wedge c=c\right)}$.

Eine Lösung erstellen