Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Arbeitsblatt 12
- Übungsaufgaben
Erläutere Vor- und Nachteile des axiomatischen Aufbaus der Mathematik.
Definiere auf der Menge der Wörter zum einelementigen Alphabet ein Dedekind-Peano-Modell. Worauf beruht die Gültigkeit der Dedekind-Peano-Axiome?
Zeige ausgehend von den Dedekind-Peano-Axiomen, dass jedes Element , , einen Vorgänger besitzt.
Es sei die Menge der natürlichen Zahlen und . Zeige, dass die Menge
ebenfalls die Dedekind-Peano-Axiome (mit welchem ausgezeichneten Element und mit welcher Nachfolgerabbildung?) erfüllt.
Man gebe Beispiele für Mengen mit einem ausgezeichneten Element und einer Abbildung an, die je zwei der Dedekind-Peano-Axiome erfüllen, aber nicht das dritte.
Es sei und es sei die rechts angegebene Menge mit dem Startsymbol oben links und der durch die Pfeile ausgedrückten Nachfolgerabbildung. An welcher Stelle bricht der Beweis von Satz 12.3 in dieser Situation zusammen?
Es sei eine natürliche Zahl. Auf wie viele Arten kann als eine Summe von zwei natürlichen Zahlen dargestellt werden? Inwiefern muss man diese Fragestellung präzisieren?
Wir zählen
und wollen mit diesen Zahlen addieren.
- Welche alltagssprachliche Formulierung besitzt die Addition in diesem Zählmodell?
- Welche sprachlichen Formulierungen drücken aus, das heute das neutrale Element der Addition ist.
- Was ist morgen plus morgen?
- Was ist übermorgen plus übermorgen?
- Was ist überübermorgen plus überüberübermorgen?
Wir zählen
- Was ist die Mama der Urururoma?
- Was ist die Uroma der Uroma?
- Was ist die Oma der Oma der Oma?
- Was ist die Ururoma der Uroma?
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen. Zeige, dass die Addition durch die Bedingungen
eindeutig bestimmt ist.
Zeige, dass die Addition auf den natürlichen Zahlen kommutativ und assoziativ ist und dass die Abziehregel (d.h., dass aus für ein stets folgt) gilt.
Es seien und Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei
der eindeutig bestimmte Isomorphismus mit und für alle . Zeige, dass die Addition respektiert, dass also
für alle gilt.
Wie verhält sich die über die Nachfolgerbeziehung eingeführte Addition auf den natürlichen Zahlen (das Umlegungsmodell) zu dem Vereinigungsmodell, dass die Summe zweier natürlichen Zahlen sich als Anzahl von Objekten (Äpfel) ergibt, wenn man eine Menge von Objekten und eine Menge von (dazu disjunkten) Objekten zusammenschmeißt.
Begründe, dass die Addition von natürlichen Zahlen im Dezimalsystem (das schriftliche Addieren) das Umlegungsprinzip respektiert und auch die richtig verarbeitet. Schließe daraus, dass die schriftliche Addition korrekt ist.
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen. Zeige, dass die Multiplikation durch die Bedingungen
eindeutig bestimmt ist.
Definiere auf einem Dedekind-Peano-Modell für die natürlichen Zahlen die Abbildung rekursiv durch die Bedingungen (die Addition sei mit den wesentlichen Eigenschaften etabliert)
und
Zeige
- Bestimme die kleinste natürliche Zahl, die größer als die ersten drei Quadratzahlen ist.
- Beschreibe die Bedingung (und zwar so, dass die Bedingung erkennbar ist) aus (1) durch einen prädikatenlogischen arithmetischen Ausdruck (also mit dem Symbolalphabet und Variablen) in der einen freien Variablen .
- Beschreibe das Ergebnis aus (1) durch einen einfachen prädikatenlogischen Ausdruck in der einen freien Variablen .
Wir definieren auf eine neue Relation durch folgende Vorschrift: Für zwei Zahlen mit und mit ungerade sei
(rechts wird auf die natürliche Ordnung in Bezug genommen).
- Zeige, dass eine totale Ordnung auf ergibt und beschreibe exemplarisch diese Ordnung.
- Zeige, dass es zu jedem ein wohldefiniertes Element , , derart gibt, dass gilt und dass es zwischen und keine weiteren Elemente gibt (diese Formulierung ist zu präzisieren).
- Erfüllt die Menge die Dedekind-Peano-Axiome?
Betrachte die Produktmenge mit der Nachfolgerfunktion
und der sogenannten lexikographische Ordnung, für die
genau dann gilt, wenn oder und ist. Zeige folgende Aussagen.
- Es handelt sich um eine totale Ordnung.
- Es ist
für alle .
- ist das kleinste Element.
- Es liegt eine Wohlordnung (nach unten) vor.
- Diese Menge mit der Nachfolgerfunktion erfüllt nicht das Dedekind-Peano-Induktionsaxiom
Es sei die disjunkte Vereinigung aus und aus .[1] Wir definieren auf eine Nachfolgerfunktion, die auf den beiden Bestandteilen durch den üblichen Nachfolger gegeben ist (also durch ), und wir betrachten die als die Null von .
a) Zeige, dass die ersten beiden Axiome aus den erststufigen Peano-Axiomen für die Nachfolgerfunktion erfüllt.
b) Zeige, dass es keine Addition auf gibt, die mit den Additionen auf und auf übereinstimmt und für die die Abziehregel gilt.
c) Gilt das erststufige Induktionsaxiom (formuliert für die Nachfolgerfunktion)?[2]
- Aufgaben zum Abgeben
Aufgabe (5 Punkte)
Es sei das Ziffernalphabet. Definiere die Teilmenge , die aus den korrekt gebildeten Zifferndarstellungen einer natürlichen Zahl besteht. Definiere auf eine Nachfolgerabbildung und zeige, dass zu einem Dedekind-Peano-Modell wird. Worauf beruht die Gültigkeit der Dedekind-Peano-Axiome?
Aufgabe (7 Punkte)
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen mit der in Definition 12.7 festgelegten Multiplikation. Zeige die folgenden Aussagen.
für alle , d.h. ist das neutrale Element für die Multiplikation.
für alle .
- Die Multiplikation ist kommutativ.
- Die Multiplikation ist assoziativ.
- Aus einer Gleichung mit folgt (Kürzungsregel).
- Für beliebige gilt
(Distributivgesetz).
Aufgabe (3 Punkte)
Es seien und Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei
der eindeutig bestimmte Isomorphismus mit und für alle . Zeige, dass die Multiplikation respektiert, dass also
für alle gilt.
Aufgabe (3 Punkte)
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen. Zeige, dass das erststufige Axiomenschema für die Induktion in gilt.
- Fußnoten
- ↑ Dabei muss man darauf achten, die Elemente aus nicht mit denen aus zu verwechseln. Beispielsweise kann man die Elemente einerseits mit und andererseits mit bezeichnen.
- ↑ Diese Aufgabe ist wohl schwierig.
<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2021) | >> |
---|