Zum Inhalt springen

Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Arbeitsblatt 3

Aus Wikiversity

Formuliere die folgenden Beziehungen (ein- oder mehrstellige Prädikate) innerhalb der natürlichen Zahlen allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.

  1. .
  2. .
  3. teilt .
  4. teilt nicht .
  5. ist eine Quadratzahl.
  6. ist eine Primzahl.
  7. ist keine Primzahl.
  8. ist das Produkt von genau zwei verschiedenen Primzahlen.
  9. wird von einer Primzahl geteilt.



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 .



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?



Formalisiere die folgenden mengentheoretischen Fassungen einiger aristotelischer Syllogismen in der Prädikatenlogik erster Stufe.

  1. Modus Barbara: Aus und folgt .
  2. Modus Celarent: Aus und folgt .
  3. Modus Darii: Aus und folgt .
  4. Modus Ferio: Aus und folgt .
  5. Modus Baroco: Aus und folgt .



Formalisiere in der arithmetischen Sprache die folgenden wahren Aussagen.

  1. Es gibt unendlich viele Primzahlen.
  2. Jede natürliche Zahl wird von einer Primzahl geteilt.


Wie sieht es mit der Aussage aus, dass jede natürliche Zahl eine Primfaktorzerlegung besitzt?


Formalisiere in der arithmetischen Sprache die folgenden zahlentheoretischen Vermutungen.

  1. Die Goldbach-Vermutung.
  2. Die Vermutung über die Unendlichkeit der Primzahlzwillinge.
  3. Die Vermutung über die Unendlichkeit der Mersenne-Primzahlen.

Man beachte bei (3), dass das Potenzieren mit einem unbekannten Exponenten nicht zur arithmetischen Sprache gehört.


Zeige, dass es kein nichtausgeartetes gleichseitiges Dreieck im gibt, dessen sämtliche Ecken rationale Koordinaten besitzen.

Diese Aufgabe ist nicht ganz einfach. Zur Lösung verwende man, dass irrational ist und den Satz des Pythagoras.


<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)