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