Mögliche Notwendigkeit/Möglichkeitsaxiom/Aufgabe

In einem ${}K$-modallogischen System ${}S$ gelte das Axiomenschema

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

Zeige, dass man in ${}S$ das Möglichkeitsaxiom

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

ableiten kann.

Eine Lösung erstellen