Modallogik/K/Konjunktion der Möglichkeitsaussage/Aufgabe

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

   $◊(\alpha \wedge \beta )\to ◊\alpha \wedge ◊\beta$

   gilt.

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

   $◊\alpha \wedge ◊\beta \to ◊(\alpha \wedge \beta )$

   nicht gelten muss.

Eine Lösung erstellen