Modallogisches Modell/Gültigkeitsmenge/Implikation/Aufgabe

Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir

Zeige, dass

genau dann gilt, wenn

gilt.