Modallogik/Rahmen/Symmetrie/Fakt/Beweis/Aufgabe

Zeige, dass in einem gerichteten Graphen ${}(M,R)$ das modallogische Symmetrieaxiom genau dann gilt, wenn ${}R$ symmetrisch ist.

Zur Lösung, Alternative Lösung erstellen