0 Daumen
353 Aufrufe

Wir vergleichen Shoenfields Variante des Hilbert-Systems (vgl. Übungsblatt 2, Aufgabe H2) mit dem Sequenzenkalkül.
(a) Man zeige, dass die Sequenz Γ ,ϕ ∆,ϕ für jede aussagenlogische Formel ϕ im Sequenzenkalkül SK herleitbar ist.
(Tipp: Induktion über den Aufbau von ϕ.)
(b) Man zeige die folgende Aussage: Wenn es im Kalkül von Shoenfield einen Beweisbaum mit Blättern Γ = ϕ1
, . . . ,ϕn
und Wurzel ψ gibt, dann ist die Sequenz Γ
ψ im Sequenzenkalkül SK+
(also mit der Schnittregel) herleitbar.
Hinweis: Sie können Abschwächungslemma, Inversionslemma und Kontraktionslemma verwenden


Bildschirmfoto 2018-05-23 um 13.17.43.png

von

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community