Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
K-Modallogik/Möglichkeit und Doppelnegation/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeige, dass in einer
K
{\displaystyle {}K}
-
Modallogik
⊢
◊
¬
¬
α
↔
¬
¬
◊
α
{\displaystyle \vdash \Diamond \neg \neg \alpha \leftrightarrow \neg \neg \Diamond \alpha }
ableitbar ist.
Eine Lösung erstellen