Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
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 und AllgemeingültigkeitEine Formel (oder Formelmenge) heißt• erfüllbar, wenn sie ein Modell besitzt,sonst unerfüllbar (oder: widersprüchlich).• allgemeingültig (oder: Tautologie),wenn jede passende Struktur Modell von ihr ist.Zwei Formeln (oder Formelmengen) heißen• erfüllbarkeitsgleich, wenn sie beide erfüllbaroder beide unerfüllbar sind.Beispiele• U(n) ∧ ¬U(n) ist unerfüllbar• ∀x.G(x) ist erfüllbar, aber nicht allgemeingültig• U(n) ∨ ¬U(n) ist allgemeingültig• ∃x.U(x) und U(n) sind erfüllbarkeitsgleichHochschule Darmstadt, Januar 2009 – p.18/54