Modallogisches Modell/Gültigkeitsmenge/Implikation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir

Zeige, dass

genau dann gilt, wenn

gilt.