Modallogik/K/Möglichkeitsdisjunktion/Aufgabe

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

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

   gilt.

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

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

   nicht gelten muss.

Eine Lösung erstellen