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