Teil I: Logik und Prädikatenlogik
Teil I: Logik und Prädikatenlogik
Teil I: Logik und Prädikatenlogik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beweisverfahren<br />
Begriffe<br />
• Modell: Interpretation unter der eine Formel F wahr ist.<br />
• Unerfüllbare Formel: Formel F , für die es kein Modell gibt.<br />
• Tautologie: Formel F , für die jede Interpretationen ein Modell ist.<br />
⊢ F<br />
Beweis über Wahrheitstafeln<br />
• Durchrechnen für alle Interpretationen<br />
Axiomatische Verfahren<br />
• Umformen bis zum Wahrheitswert w oder auf konjunktive Form<br />
mit mindestens einer Aussage P ∨ ¬P in jeder Klausel<br />
10