Modallogik/K/Äquivalente Formulierung/Aufgabe

Zeige, dass das ${}K$-Axiom äquivalent zu

$\vdash \Diamond \alpha \rightarrow (\Diamond \neg \beta \vee \Diamond (\alpha \wedge \beta ))$

ist.

Eine Lösung erstellen