Aussagenlogik (Eigenschaften)

Eine Formel F heißt

• allgemeingültig,

  wenn für jede Belegung b gilt: wert(F, b) = 1

• erfüllbar,

  wenn eine Belegung b existiert: wert(F, b) = 1

Die Modellmenge von F ist Mod(F) = {b | b $\models$ F}.

F erfüllbar $\iff$ Mod(F)≠∅