Aufgabe:
Beweisen Sie: Für eine Formelmenge Γ sind folgende Aussagen äquivalent:
(a) Jede Belegung erfü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.
