| theofreak |
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. |
