Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Quantoren/Tautologie/Existenzvertauschung/Fakt/Beweis/Aufgabe
Sprache
Beobachten
Bearbeiten
<
Prädikatenlogik/Quantoren/Tautologie/Existenzvertauschung/Fakt/Beweis
Zeige, dass
⊢
∃
x
∃
y
α
→
∃
y
∃
x
α
{\displaystyle \vdash \exists x\exists y\alpha \rightarrow \exists y\exists x\alpha }
im Kalkül der Prädikatenlogik ableitbar ist.
Zur Lösung
,
Alternative Lösung erstellen