Start
Zufällige Seite
Anmelden
Einstellungen
Spende jetzt
Wenn diese Website für dich nützlich war, spende bitte noch heute.
Ü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
.
