Modallogik/Rahmen/Reflexivität/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
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