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