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

Zeige, dass in einem gerichteten Graphen ${}(M,R)$ das modallogische Möglichkeitsaxiom genau dann gilt, wenn in ${}M$ jeder Punkt einen Nachfolger besitzt.

Zur Lösung, Alternative Lösung erstellen