Modallogik/Rahmen/Reflexivität/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei gegeben. Sei zunächst reflexiv und sei

Wegen ist insbesondere

Wenn nicht reflexiv ist, so sei und gelte nicht. Es sei die Belegung, bei der

gelte, aber in allen anderen Welten . Dann ist

und somit ist

Zur gelösten Aufgabe