Modallogik/Rahmen/Transitivität/Fakt/Beweis/Aufgabe
Erscheinungsbild
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.