Zum Inhalt springen

Modallogik/K/Äquivalente Formulierung/Aufgabe

Aus Wikiversity

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

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

ist.

Eine Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Modallogik/K/Äquivalente_Formulierung/Aufgabe&oldid=845889“

Modallogik/Aufgaben