Möglichkeit überhaupt/Möglichkeitsaxiom/Aufgabe

Zeige, dass in der ${}K$-Modallogik das Schema

$\Box \alpha \wedge \Diamond \beta \rightarrow \Diamond \alpha$

ableitbar ist.

Eine Lösung erstellen