Zum Inhalt springen

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

Aus Wikiversity

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?