Tautologie
Einfache Sprache
Def. Tautologie
Eine Aussagenlogischen Formel $\varphi$ bzw. Aussagenlogischen Formelmenge $M\subseteq\mathbf F_{AL}$ heißt Tautologie (auch allgemeingültig), geschrieben $\models\varphi$ bzw. $\models M$, falls jede Variablenbelegung ein Modell ist.
Falls $\varphi$ bzw. $M$ keine Tautologie ist, schreiben wir $\not\models \varphi$ bzw. $\not\models M$.