Modallogik/Rahmen/Möglichkeit/Seriellität/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei gegeben. Sei zunächst vorausgesetzt, dass in jedes Element einen Nachfolger besitzt und sei

für eine Welt . Es sei mit . Dann ist

und somit

also

Sei umgekehrt angenommen, dass eine Sackgassenwelt besitzt. Dann ist für eine beliebige Aussagenvariable

aber

und das Möglichkeitsaxiom kann nicht gelten.
Zur gelösten Aufgabe