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/Löb-Axiom/Definition
Sprache
Beobachten
Bearbeiten
Löb-Axiom
Das
modallogische Axiomenschema
◻
(
◻
α
→
α
)
→
◻
α
{\displaystyle \Box (\Box \alpha \rightarrow \alpha )\rightarrow \Box \alpha }
nennt man
Löb-Axiom
.
