Seite parallel anzeigen





Erfüllbarkeit

(Logik Einführung Kapitel 6.4.1)

Diese Seite nimmt Bezug auf

(Seite parallel anzeigen)
Liste überspringen
Zum Seitenanfang

Eine Formel ist erfüllbar, wenn es zumindest eine Interpretation gibt, die die Formel erfüllt.
Eine Formelmenge ist erfüllbar, wenn es zumindest eine Interpretation gibt, die alle Formeln der Menge erfüllt.

Beispiel - Eine Formel ist erfüllbar

Betrachten wir wieder die Wumpus-Welt.
Die Formel
  • Luftzug(B,1) UND Gestank(A,2)
ist erfüllbar, da es Welten gibt, in denen
  • auf Feld [B,1] ein Luftzug und
  • auf Feld [A,2] ein Gestank
wahrnehmbar ist, und alle Interpretationen die diese Welten beschreiben die Formel erfüllen.