Modallogisches Modell/Gültigkeitsmenge/Implikation/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, dass

$(M,R,\mu )\models \alpha \to \beta$

genau dann gilt, wenn

$M(\alpha )\subseteq M(\beta )$

gilt.

Eine Lösung erstellen