Aussagenlogik/Ausdrucksmenge/Erfüllbar/Definition

Erfüllbar

Es sei ${}V$ eine Menge von Aussagenvariablen und ${}L^{V}$ die zugehörige aussagenlogische Sprache. Eine Teilmenge  ${}\Gamma \subseteq L^{V}$  heißt erfüllbar, wenn es eine Wahrheitsbelegung ${}\lambda$ mit zugehöriger Interpretation ${}I$ derart gibt, dass  ${}I(\alpha )=1$  für alle  ${}\alpha \in \Gamma$  gilt.