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

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

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

nicht ableitbar ist. Insbesondere lässt sich also Fakt  (1)

nicht internalisieren.

Eine Lösung erstellen