Prädikatenlogik/Existenzaussage/Doppelnegation/Aufgabe

Zeige, dass in der Prädikatenlogik

$⊢\mathrm{\exists }x\alpha \leftrightarrow \mathrm{\exists }x\mathrm{\neg }\mathrm{\neg }\alpha$

ableitbar ist.

Eine Lösung erstellen