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