Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Eigenschaften von Tableaus II: Syntax<br />
Lemma 3.4 (Hintikka)<br />
Sei Θ ⊆ F vollständig. Dann gilt: Θ ist erfüllbar gdw. Θ ist offen.<br />
Abgeschlossene Mengen sind per Definition unerfüllbar.<br />
Für die Rückrichtung sei Θ eine vollständige und offene Menge.<br />
Definiere<br />
{<br />
0 ¬p ∈ Θ<br />
ϕ(p) :=<br />
1 sonst.<br />
Bewertung ϕ ist wohldefiniert.<br />
Zeige mit Induktion nach der Größe von Θ, dass ϕ(A) = 1 für A ∈ Θ.<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 71 / 189
Change language