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.