Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt
Sprache
Beobachten
Bearbeiten
Die folgenden Ausdrücke sind im Prädikatenkalkül
ableitbar
.
⊢
∃
x
∃
y
α
→
∃
y
∃
x
α
.
{\displaystyle \vdash \exists x\exists y\alpha \rightarrow \exists y\exists x\alpha .}
⊢
∀
x
∀
y
α
→
∀
y
∀
x
α
.
{\displaystyle \vdash \forall x\forall y\alpha \rightarrow \forall y\forall x\alpha .}
Zum Beweis
,
Alternativen Beweis erstellen