Erfüllbarkeit (Aussagenlogik)
Einfache Sprache
Aussagenlogik
Def. Erfüllbarkeit ()
Eine Aussagenlogischen Formel $\varphi\in\mathbf F_{AL}$ bzw. Aussagenlogischen Formelmenge $M\subseteq\mathbf F_{AL}$ heißt erfüllbar, falls ein Modell für diese existiert.