Zeige, dass in einem gerichteten Graphen ( M , R ) {\displaystyle {}(M,R)} das modallogische Transitivitätsaxiom genau dann gilt, wenn R {\displaystyle {}R} transitiv ist.
