#1 16. November 2011 Hallo RR, ich habe den Endlichkeitssatz schon "verstanden" jedoch kann ich ihn nicht beweisen... ist einfach nicht machbar auch nach 1 Stunde aufs blatt glotzen... Folgerung Sei M eine unendliche Formelmenge und F eine Formel. Zeigen Sie, dass die beiden folgenden Aussagen äquivalent sind: i) M |= F ii) Es existiert eine endliche Teilmenge N c M, für die gilt: N |= F. M |= F bedeutet: Für jede Belegung A, die Modell für M und passend zu F ist, gilt A |= F. Hinweis: Überlegen Sie zunächst, welche Aussage Sie mithilfe des Endlichkeitssatzes über die Menge M u {-, F} treffen können. -, = "nicht" c = teilmenge u = vereinigung ich danke euch herzlich wenn mir einer hier helfen kann... ich weiß nicht wo ich anfangen soll... bw gibts natürlich... (ich muss es morgen bis 13uhr abgeben) + Multi-Zitat Zitieren