Modallogisches Modell/Gültigkeitsmenge/Implikation/Aufgabe
Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir
Zeige, dass
genau dann gilt, wenn
gilt.
Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir
Zeige, dass
genau dann gilt, wenn
gilt.