K-Modallogik/Möglichkeit und Doppelnegation/Aufgabe

Zeige, dass in einer ${}K$-Modallogik

$\vdash \Diamond \neg \neg \alpha \leftrightarrow \neg \neg \Diamond \alpha$

ableitbar ist.

Eine Lösung erstellen