Modallogik/K/Möglichkeitsdistribution/Aufgabe

Zeige, dass in einer ${}K$-Modallogik das Axiomenschema

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

nicht gelten muss.

Eine Lösung erstellen