Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/Symmetrieaxiom/Definition
Sprache
Beobachten
Bearbeiten
Symmetrieaxiom
Das
modallogische Axiomenschema
α
→
◻
◊
α
{\displaystyle \alpha \rightarrow \Box \Diamond \alpha }
nennt man
Symmetrieaxiom
.
