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

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

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

nicht ableitbar ist.

Eine Lösung erstellen