Mögliche Notwendigkeit/Nichtsymmetrische Realisierung/Aufgabe

Zeige, dass aus dem ${}K$-modallogischen Axiomenschema

$\alpha \rightarrow \Diamond \Box \alpha$

nicht das Axiomenschema

$\alpha \rightarrow \Box \Diamond \alpha$

ableitbar ist.

Eine Lösung erstellen