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.