0 Daumen
56 Aufrufe

Aufgabe:

Beweisen Sie: Für eine Formelmenge Γ sind folgende Aussagen äquivalent:

(a) Jede Belegung eefüllt mindestens eine Formel B ∈ Γ.

(b) Es gibt n ∈ N und B ∈ Γn mit B0 ∨ ... ∨ Bn-1 allgemeingültig.


Ich bitte euch um Ihre Hilfen. Diese Aufgabe hat mich fertig gemacht. :'( . Ich kann nicht weiter kommen.

vor von

Ich brauche unbedingt eure Hilfe :(

Wenn Sie mir ein Paar tipps geben, werde ich dankbar

Die Richtung (b) ⇒ (a) ist einfach.

Die Richtung (a) ⇒ (b) ist einfach, wenn in Γ nur endlich viele Variablen vorkommen. Dann gibt es nämlich auch nur endlich viele Belegungen.

Ich kann trotzdem nicht weiter kommen :(

:'( :"( :"( :"(

Im Titel steht eine andere Aufgabe als in der Aufgabe...

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community