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