< Modallogik < Rahmen < Möglichkeit < Seriellität < Fakt < Beweis

Zeige, dass in einem gerichteten Graphen das modallogische Möglichkeitsaxiom genau dann gilt, wenn in jeder Punkt einen Nachfolger besitzt.

Zur Lösung, Alternative Lösung erstellen
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.