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

Formalisiere in der arithmetischen Sprache (mit und ) die folgenden (wahren) Aussagen.

  1. Wenn und , so ist .
  2. Wenn und gilt, so ist .
  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 .