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

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

${}M(\alpha )={\left\{w\in M\mid w\vDash \alpha \right\}}\,.$

Zeige

${}M(\Diamond \alpha )=\operatorname {Vorg} {\left(M(\alpha )\right)}\,.$

Zur Lösung, Alternative Lösung erstellen