Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/Antiaxiom/Definition
Sprache
Beobachten
Bearbeiten
Antiaxiom
Das
modallogische Axiomenschema
◻
α
↔
¬
α
{\displaystyle \Box \alpha \leftrightarrow \neg \alpha }
nennt man
Antiaxiom
.