Ein Ausdruck α ∈ L V {\displaystyle {}\alpha \in L^{V}} (zu einer Menge von Aussagenvariablen V {\displaystyle {}V} )
ist genau dann eine (semantische) Tautologie, wenn ¬ α {\displaystyle {}\neg \alpha } nicht erfüllbar ist.
