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

Zeige durch Angabe eines modallogischen Modelles, dass im ${}K$-System der Ausdruck

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

nicht ableitbar ist.

Eine Lösung erstellen