Kompaktheitssatz (Logik)
mathematischer Satz / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Kompaktheitssatz (Logik)?
Fass diesen Artikel für einen 10-Jährigen zusammen
Der Kompaktheitssatz, auch Endlichkeitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge ist genau dann erfüllbar (d. h., hat ein Modell), wenn jede endliche Teilmenge von
erfüllbar ist. Für die Logik der 2. Stufe gilt dieser Satz nicht.
Eine wichtige Folgerung aus dem Kompaktheitssatz ist, dass jede (möglicherweise unendliche) Formelmenge , die beliebig große endliche Modelle hat, auch ein unendliches Modell hat. Mit dieser Folgerung ist häufig die Axiomatisierbarkeit von Klassen endlicher Strukturen widerlegbar.