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

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

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

nicht ableitbar ist.

Eine Lösung erstellen