Die Vollständigkeit der prädikatenlogischen Resolution

Endlich schließen wir den Beweis der Vollständigkeit der Resolution ab. Die wenselithce Idee dabei ist es, die Vollständigkeit der aussagenlogischen Resolution auf Herbrandexpansionen in die Ebene der Prädikatenlogik zu "heben": das sogenannte Lifting-Lemma. Aus dem abgeschlossenen Vollständigkeitsbeweis können wir dann noch die Kompaktheit der Prädikatenlogik (erster Stufe) folgern und erste Grenzen der Ausdrucksstärke dieser Logik erkennen.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (20. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...