Beweis mit unendlicher Klauselmenge

Neue Frage »

IoMoiIch Auf diesen Beitrag antworten »
Beweis mit unendlicher Klauselmenge
Meine Frage:
Hi erstmal, hoffe die Frage ist nicht zu einfach, aber mit dem Beweisen, ich weiss nicht wieso, hab ich immernoch riesige Probleme.

Ich hänge an folgender Aufgabe:

Sei F eine unendliche Klauselmenge und K ? Res*(F). Zeigen Sie: Es existiert eine endliche Menge G mit G(Teilmenge)F und K ? Res*(G).

Meine Ideen:
Was mir besonders Mühe bereitet ist, wie K hier definiert ist.. Als "irgendeine Klauselmenge" würde ich tippen. Und dann ist mir klar, dass die Aussage wahr ist. Nur wie kann man das beweisen!? :/

Also hab ich keinen brauchbaren Gedanken gehabt.

Ich dachte mir ebenfalls noch, ob es vllt über den indirekten Beweis gehen könnte.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »