forme de Skolem
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Forme prénexe en calcul des prédicats dont le préfixe ne contient que des quantifications universelles et ne contient plus de quantificateurs existentiels.
Note :
La réduction d'une formule à la forme de Skolem requiert deux opérations préalables : mettre la formule sous forme prénexe composée d'un préfixe et d'une matrice en forme conjonctive normale.
Termes privilégiés :
- forme de Skolem n. f.
- forme skolémizée n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- Skolem form
- skolemized form