Modallogik/K/Implikation von Notwendigkeit auf Möglichkeit/Aufgabe

Zeige, dass im ${}K$-System der Ausdruck

$\Box (\alpha \rightarrow \beta )\rightarrow (\Diamond \alpha \rightarrow \Diamond \beta )$

ableitbar ist.

Zur Lösung, Alternative Lösung erstellen