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