Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Ausdrucksmenge/Abzählbar/Überabzählbar viele Variablen/Aufgabe/Lösung
Sprache
Beobachten
Bearbeiten
<
Ausdrucksmenge/Abzählbar/Überabzählbar viele Variablen/Aufgabe
Für jede Aussagenvariable
p
{\displaystyle {}p}
kann man
⊢
p
→
p
{\displaystyle \vdash p\rightarrow p}
ableiten, also insbesondere
Γ
⊢
p
→
p
.
{\displaystyle \Gamma \vdash p\rightarrow p.}
Da
V
{\displaystyle {}V}
überabzählbar ist, lassen sich also überabzählbar viele Ausdrücke aus
Γ
{\displaystyle {}\Gamma }
ableiten.
Zur gelösten Aufgabe