Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Existenzaussage/Doppelnegation/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeige, dass in der Prädikatenlogik
⊢
∃
x
α
↔
∃
x
¬
¬
α
{\displaystyle \vdash \exists x\alpha \leftrightarrow \exists x\neg \neg \alpha }
ableitbar
ist.
Eine Lösung erstellen