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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Aufgabe

Zeige, dass eine widersprüchliche Ausdrucksmenge Repräsentierungen erlaubt.


Aufgabe

Es sei eine Ausdrucksmenge, die Repräsentierungen erlaube. Zeige, dass jede größere Ausdrucksmenge ebenfalls Repräsentierungen erlaubt.


Aufgabe

Es sei eine widerspruchsfreie und -entscheidbare Ausdrucksmenge.

a) Zeige, dass jede in repräsentierbare Relation -entscheidbar ist.

b) Zeige, dass jede in repräsentierbare Abbildung

-berechenbar ist.


Aufgabe

Zeige, dass in der erststufigen Peano-Arithmetik die Addition von natürlichen Zahlen repräsentierbar ist.



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

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)