---

Geschrieben von theofreak am 17.11.2010 um 13:07:

  Endlichkeitssatz

Sei M eine unendliche Formelmenge und F eine Formel. Zeigen Sie, dass die beiden folgenden
Aussagen äquivalent sind:
1) M |= F
2) Es existiert eine endliche Teilmenge N ist Teilmenge von M, für die gilt: N |= F.

Also ich verstehe nicht ganz, wie N für F ein Modell sein kann. Angenommen es existiert eine passende Belegung für N, sodass N Modell ist, dann ist doch noch lange nicht garantiert, dass diese Belegung auch F erfüllt. Es ist nur dann garantiert, wenn F eine Teilmenge von N ist.

---

Geschrieben von Thomas am 18.11.2010 um 05:42:

 

Doppelpostings und unpassende Benutzernamen bitte vermeiden.