Modallogik/Rahmen/Symmetrie/Fakt

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische Symmetrieaxiom genau dann,

wenn ${}R$ symmetrisch ist.

Zum Beweis, Alternativen Beweis erstellen