Modallogik/Rahmen/Symmetrie/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem gerichteten Graphen gilt das modallogische Symmetrieaxiom genau dann,

wenn symmetrisch ist.