Modallogik/K/Modell/Keine Implikation von Notwendigkeit auf Aussage/Aufgabe

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

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

nicht ableitbar ist.

Eine Lösung erstellen