Modallogik/Rahmen/Transitivität/Fakt/Beweis/Aufgabe
Zeige, dass in einem gerichteten Graphen das modallogische Transitivitätsaxiom genau dann gilt, wenn transitiv ist.
Zeige, dass in einem gerichteten Graphen das modallogische Transitivitätsaxiom genau dann gilt, wenn transitiv ist.