Modallogik/K/Konjunktion der Möglichkeitsaussage/Aufgabe

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

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

   gilt.

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

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

   nicht gelten muss.

Eine Lösung erstellen