Wiederholung
Wiederholung
Wiederholung
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Erfüllbarkeit<br />
Formel ϕ ∈ AL(P) heißt<br />
erfüllbar gdw. Mod(ϕ) ≠ ∅<br />
unerfüllbar gdw. Mod(ϕ) = ∅<br />
allgemeingültig gdw. Mod(¬ϕ) = ∅<br />
Erfüllbarkeit ist algorithmisch entscheidbar.<br />
semantisch z.B. durch Wahrheitswerttabellen<br />
syntaktisch z.B. durch Resolution<br />
Werkzeuge: SAT-Solver<br />
82