Zum Inhalt springen

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

Aus Wikiversity


Es sei gegeben. Es sei zunächst reflexiv und sei

Wegen ist insbesondere

und damit

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