Aussagenlogik/Tautologie und Kontradiktion/Aufgabe

Zeige, dass eine Aussage ${}\alpha \in L^{V}$ genau dann eine Kontradiktion

ist, wenn ${}\neg \alpha$ eine Tautologie ist.

Eine Lösung erstellen