Modallogik/K/Löb-Axiom/Möglichkeitsversion/Aufgabe

Zeige, dass das Löb-Axiom äquivalent zu

$\vdash \Diamond \alpha \rightarrow \Diamond (\alpha \wedge \neg \Diamond \alpha )$

ist.

Eine Lösung erstellen