Zum Inhalt springen

Aussagenlogik/Vollständigkeitssatz/Abzählbar/Auffüllungsstrategie/Fakt

Aus Wikiversity

Es sei eine abzählbare Menge an Aussagenvariablen und eine widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.

Dann kann man durch sukzessive Hinzunahme von entweder oder und durch Abschluss unter der Ableitungsbeziehung zu einer maximal widerspruchsfreien Teilmenge ergänzen.