Endlichkeitssatz |
17.11.2010, 13:07 | Auf diesen Beitrag antworten » |
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. |
|
|
18.11.2010, 05:42 | Auf diesen Beitrag antworten » |
Thomas | Doppelpostings und unpassende Benutzernamen bitte vermeiden. |
|