Skolemierung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine syntaktische Transformation, die existenzielle Quantoren durch Einführung von Skolem-Funktionen oder Konstanten entfernt und eine äquiersatisfizierbare Formel erzeugt, in der existenzielle Quantoren eliminiert sind; gebräuchlich als Schritt zur Klauselbildung oder automatischer Beweisführung.