Skolemisation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une transformation syntaxique qui élimine les quantificateurs existentiels en introduisant des fonctions ou constantes de Skolem, produisant une formule équisatisfiable où les existentiels sont supprimés, souvent en vue d'obtenir la forme clausale pour le raisonnement automatique.