• Keine Ergebnisse gefunden

Ubungen zur Vorlesung Mathematische Logik II ¨ SS 08

N/A
N/A
Protected

Academic year: 2021

Aktie "Ubungen zur Vorlesung Mathematische Logik II ¨ SS 08"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Ubungen zur Vorlesung Mathematische Logik II ¨ SS 08

Prof. Dr. P. Schroeder-Heister Blatt 7

Aufgabe 1 (4+1 Punkte) Zeigen Sie:

a) F¨ur jeden geschlossenen Term t gibt es eine nat¨urliche Zahl n mit PA`t=n.

b) F¨ur alle geschlossenen Terme t1, t2 gilt: wennN|=t1 =t2, dann PA `t1 =t2.

Aufgabe 2 (3 Punkte)

Geben Sie zu jeder Formel ϕ(x, y) eine Formel ψ(z) an, so daß gilt: PA` ∀x∀yϕ(x, y)↔ ∀zψ(z).

Aufgabe 3 (4 Punkte)

Zeigen Sie: Falls eine Funktion Nk → N in PA reprsentierbar ist, dann ist sie µ-rekursiv (nicht notwendigerweise primitiv rekursiv!).

Aufgabe 4 (4 Punkte)

Zeigen Sie, daß die folgenden Funktionen primitiv rekursiv sind:

a) f(n) =pt(n)q b) g(n) = pφ(n)q

Aufgabe 5 (4 Punkte)

Wir haben gezeigt: Jede primitiv-rekursive Funktion und jedes primitiv-rekursive Pr¨adikat l¨aßt sich durch eine Σ1-Formel darstellen. [Das gilt auch f¨ur rekursive Formeln und Pr¨adikate.] Zeigen Sie, daß man mit strikten Σ1-Formeln auskommt, d.h. mit Formeln der Form ∃xϕ, wobei ϕ eine

0-Formel ist. Zeigen Sie dazu: Zu jeder Σ1-Formel ϕ(x1, . . . , xk) gibt es eine strikte Σ1-Formel ψ(x1, . . . , xk), so daß f¨ur allen1, . . . , nk gilt: PA`ϕ(n1, . . . , nk)↔ψ(n1, . . . , nk).

Referenzen

ÄHNLICHE DOKUMENTE

Ubungen zur Vorlesung Mathematische Logik II ¨ Blatt

(Diese Formel charakterisiert die Dummettsche Logik LC, ein intermedi¨ ares System zwischen intuitionistischer und klassischer Logik.).

Die Modallogik S5 wird nicht nur durch die Klasse aller reflexiven, symmetrischen und transitiven Rahmen, sondern auch durch diejenige aller universellen Rahmen

(Wie sind die Regeln zu fassen, damit eine Formel h¨ ochstens zweimal links und zweimal rechts vorkommt?) Leiten Sie daraus die Entscheid- barkeit der intuitionistischen und

(Eine Regel heißt ableitbar, wenn ihre Konklusion aus ihrer Pr¨ amisse abgeleitet werden kann. Sie heißt zul¨ assig, wenn die Ableitbarkeit ihrer Pr¨ amisse die Ableitbarkeit

Ubungen zur Vorlesung Mathematische Logik II ¨ Blatt

Ubungen zur Vorlesung Mathematische Logik II ¨ Blatt

Geben Sie bei jedem Schritt an, welche dieser ¨ Aquivalenzen