Möglichkeit überhaupt/Möglichkeitsaxiom/Modell/Aufgabe

Zeige, dass in jedem modallogischen Modell ${}(M,R,\mu )$ das Schema

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

gilt.

Eine Lösung erstellen