Abzählbarkeit < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | a) Zeigen Sie, dass zu jeder unendlichen Menge aussagenlogischer Formeln [mm] \mu \subseteq [/mm] AL(P) mit P={ [mm] p_{1},....,p_{n} [/mm] } eine unendliche Teilmenge [mm] \gamma \subseteq \mu [/mm] existiert, so dass alle Formeln in [mm] \gamma [/mm] semantisch äquivalent zueinander sind.
b) Zeigen Sie, dass die Menge AL(P) aller aussagenlogischer Formeln mit P={p,q,r} abzählbar ist. |
Guten Morgen liebe Leute.
Also ich kann mir vorstellen, dass a) gar nicht so schwer ist, da es nur 2 punkte darauf gibt, aber ich komm einfach auf keinen ansatz, da ich die aufgabe zugegeben auch nicht richtig verstehe.
bei b) hab ich mal gar keine ahnung, da mir der begriff der abzählbarkeit nicht einleuchten will. Dazu noch eine Frage: Warum ist die Aussage, dass jede Menge, für die eine surjektive Funktion f:M [mm] \to \IN [/mm] existiert, abzählbar ist, falsch?
Wär toll, wenn mir das jemand erklären könnte.
Lg
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:21 Di 14.11.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
