Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Rang/Beispielausdrücke/2/Aufgabe
Sprache
Beobachten
Bearbeiten
Bestimme den
Rang
der folgenden Ausdrücke.
g
x
y
=
c
{\displaystyle {}gxy=c}
,
∀
x
g
c
x
=
g
x
x
{\displaystyle {}\forall xgcx=gxx}
,
(
¬
P
z
∨
g
g
x
y
y
=
g
c
c
)
→
(
∃
x
P
x
)
{\displaystyle {}{\left(\neg Pz\vee ggxyy=gcc\right)}\rightarrow {\left(\exists xPx\right)}}
,
(
∀
y
P
y
)
→
(
¬
∃
x
g
c
x
=
g
c
g
c
x
∧
c
=
c
)
{\displaystyle {}{\left(\forall yPy\right)}\rightarrow {\left(\neg \exists xgcx=gcgcx\wedge c=c\right)}}
.
Eine Lösung erstellen