Aussagenlogik/Tautologie und Erfüllbarkeit/Fakt

Ein Ausdruck ${}\alpha \in L^{V}$ (zu einer Menge von Aussagenvariablen ${}V$ )

ist genau dann eine (semantische) Tautologie, wenn ${}\neg \alpha$ nicht erfüllbar ist.