Ausdrucksmenge/Abzählbar/Überabzählbar viele Variablen/Aufgabe

Es sei ${}V$ eine Menge von überabzählbar vielen Aussagenvariablen und es sei ${}\Gamma \subseteq L^{V}$ eine abzählbare

Ausdrucksmenge. Ist

{}\Gamma ^{\vdash }

abzählbar oder überabzählbar?

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.