Modallogisches Modell/Gültigkeitsmenge/Vorgängermenge/Aufgabe

Zu einem modallogischen Modell $(M,R,\mu )$ und einem modallogischen Ausdruck $\alpha$ setzen wir

$M(\alpha )=\{w\in M\mid w\models \alpha \}.$

Zeige

$M(◊\alpha )=\mathrm{Vorg}(M(\alpha )).$

Zur Lösung, Alternative Lösung erstellen