Modallogisches Modell/Gültigkeitsmenge/Implikation/Aufgabe
Erscheinungsbild
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.