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.

Zum Beweis, Alternativen Beweis erstellen