Modallogisches Modell/Gültigkeitsmenge/Vorgängermenge/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei . Dann ist und damit gibt es ein mit und mit . Daher ist und somit ist .

Wenn umgekehrt gilt, so gibt es ein mit . Also ist und damit . Also ist

.