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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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