Zeige, dass eine Aussage α ∈ L V {\displaystyle {}\alpha \in L^{V}} genau dann eine Kontradiktion ist, wenn ¬ α {\displaystyle {}\neg \alpha } eine Tautologie ist.
