Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Korrektheit und Vollständigkeit von Tableaus<br />
Satz 3.5<br />
Eine Formel A ∈ F ist unerfüllbar gdw. es ein abgeschlossenes Tableau<br />
τ ∈ T A gibt.<br />
Auch hier gilt: es gibt ein abgeschlossenes Tableau für A gdw. alle<br />
vollständigen Tableaus für A abgeschlossen sind.<br />
Die Tableaumethode geht auf Evert Willem Beth (1908 — 1964) zurück.<br />
Vollständige und offene Formelmengen sind Hintikka-Mengen, nach Jaakko<br />
Hintikka ( ∗ 1929). Das Lemma von Hintikka zeigt, dass sie erfüllbar sind.<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 72 / 189
Change language