Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Modellbegriff, Allgemeingültigkeit, Erfüllbarkeit<br />
Eine Interpretation/Belegung ι erfüllt eine Formel F , wenn ι(F ) = w, eine erfüllende<br />
Belegung heisst auch Modell der Formel.<br />
Eine aussagenlogische Formel F ist<br />
• erfüllbar, wenn sie ein Modell hat<br />
• unerfüllbar, wenn sie kein Modell hat.<br />
• allgemeingültig oder eine Tautologie, wenn alle Interpretation Modelle sind<br />
Wichtiger Satz: F ist allgemeingültig ⇔ ¬F unerfüllbar ist.<br />
9