Modallogik/Rahmen/Transitivität/Fakt/Beweis/Aufgabe

< Modallogik < Rahmen < Transitivität < Fakt < Beweis

Zeige, dass in einem gerichteten Graphen ${}(M,R)$ das modallogische Transitivitätsaxiom genau dann gilt, wenn ${}R$ transitiv ist.

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.