Quantorenlogik/All und Existenzaussagen für natürliche Zahlen/Formalisiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Schreibe die folgenden Aussagen mit Quantoren:

  1. Für jede natürliche Zahl gibt es eine größere natürliche Zahl.
  2. Für jede natürliche Zahl gibt es eine kleinere natürliche Zahl.
  3. Es gibt eine natürliche Zahl, die größer oder gleich jeder anderen natürlichen Zahl ist.
  4. Es gibt eine natürliche Zahl, die kleiner oder gleich jeder anderen natürlichen Zahl ist.
Welche sind wahr, welche falsch?