Prädikatenlogik

Bestandteile PL
Terme
Def Formel
freie und gebundene Variablen
Matrix
Struktur
passende Struktur
Modell, Erfüllbarkeit, Gültigkeit
Semantische Äquivalenz
Umformungsregeln PL
Substitution
Überführungslemma
Gebundene Umbenennung
Bereinigte Form
Pränexform
Verfahren zur Herleitung bereinigter Pränexform
Skolemform Def
Verfahren Umwandlung in Skolemform
Erfüllbarkeitsäquivalenz
Erfüllbarkeitsäquivalenz von Skolemform
Klauselform
Erfüllbarkeitsäquivalenz freie Variablen
Verfahren zur Herleitung der Klauselform
Herbrand-Universum
Herbrand-Struktur
Herbrand-Modell
Erfüllbarkeit Herbrand-Modell
Herbrand-Expansion
Gödel-Herbrand-Skolem
Satz von Herbrand
Algorithmus von Gilmore
Unifikator, allgemeinster Unifikator
Unifikationsalgorithmus
Unifikationssatz
prädikatenlogischer Resolvent
Resolutionssatz der Prädikatenlogik

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.