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

< Modallogik < Rahmen < Reflexivität < Fakt < Beweis

Zeige, dass in einem gerichteten Graphen ${}(M,R)$ das modallogische Reflexivitätsaxiom genau dann gilt, wenn ${}R$ reflexiv 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.