Ausdrucksmenge/Abzählbar/Überabzählbar viele Variablen/Aufgabe/Lösung

Aus Wikiversity
Wechseln zu: Navigation, Suche

Für jede Aussagenvariable kann man

ableiten, also insbesondere

Da überabzählbar ist, lassen sich also überabzählbar viele Ausdrücke aus ableiten.
Zur gelösten Aufgabe