Prädikatenlogik/Größerrelation/Formalisiere/Aufgabe

Formalisiere in der arithmetischen Sprache (mit ${}+$ und ${}\cdot$) die folgenden (wahren) Aussagen.

1. Wenn ${}x\geq y$ und ${}y\geq z$, so ist ${}x\geq z$.
2. Wenn ${}x\geq y$ und ${}y\geq x$ gilt, so ist ${}x=y$.
3. Für jede natürliche Zahl gibt es eine größere natürliche Zahl.
4. Eine natürliche Zahl, für die es keine kleinere natürliche Zahl gibt, ist gleich ${}0$.

Eine Lösung erstellen