0
Passer à la recherche Passer au contenu Passer à la navigation
Gouvernement du Québec Gouvernement du Québec Office québécois de la langue française
  • Nous joindre
  • Accueil
  • Grand dictionnaire terminologique
Logo Le Grand Dictionnaire Terminologique

skolémisation

Domaines
  1. philosophiethéorie de la connaissance
  2. intelligence artificielle
Auteur
Office québécois de la langue française
Dernière mise à jour
1994
  • Accéder à la fiche en anglais : skolemization

Définition :

Procédure de logique qui, appliquée à une formule, consiste à en supprimer les quantificateurs existentiels pour les remplacer par des fonctions de skolem. La procédure est appliquée quand la formule d'origine a déjà été transformée en forme normale prénexe.

Notes :

((Procédure définie)) par Thoralf Albert Skolem, mathématicien et logicien norvégien, 1887‑1963. Remplacement d'une variable quantifiée existentiellement par une fonction des variables préalablement quantifiées universellement. Cette fonction est appelée « fonction de Skolem ». S'il n'y a pas de variable quantifiée universellement, la fonction de Skolem est alors une constante. EXEMPLE 1 non formel : la phrase « dans un groupe G, il existe un élément neutre pour la loi de composition interne » devient après skolémisation : « eG est l'élément neutre du groupe G », obtenue en nommant l'élément neutre et en indiquant son rattachement à G. EXEMPLE 2 non formel : considérons la phrase « tous les professeurs sont bien payés ». Sa négation est : « il existe un professeur mal payé », qui devient après skolémisation « JE suis mal payé ».

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, et transformer la matrice en forme conjonctive normale. Le résultat est une forme prénexe close.

Terme privilégié :

skolémisation n. f.

Traductions

  • anglais

    Auteur : Office québécois de la langue française, 1994

    Note :

    It occurs after the formula has been converted to "prenex normal form". Where the existential quantifier does not lie within the "scope" of any "universal quantifiers" the "variables" bound by the existential quantifier can simply be replaced by a new "constant" and the existential quantifier removed. Where the existential quantifier does lie within the "scope" of "universal quantifiers" a "Skolem function" needs to be used. ((Domaine indiqué dans la source citée:)) logic

    Termes :

    1. skolemization
    2. skolemisation
    3. skolemizing

Partager cette page

  • Courriel
  • Facebook
  • X
  • LinkedIn

Évaluation de la page

L’information sur cette page vous a-t-elle été utile?
L’information sur cette page vous a-t-elle été utile?
Évitez d’inscrire des renseignements personnels. Prenez note que vous ne recevrez aucune réponse.

Pour obtenir une réponse à une question de nature linguistique, utilisez le formulaire Nous joindre.

Navigation principale

  1. À propos de la Vitrine linguistique

    1. Capsule vidéo sur la Vitrine linguistique
    2. Foire aux questions
    3. Les mots de la Vitrine linguistique
    4. Offre de services linguistiques
    5. Politiques et guides
  2. Actualités

    1. Articles et fiches en vedette
    2. Brèves
  3. Autres sites

    1. Office québécois de la langue française
    2. Commission de toponymie
    3. Concours de créativité lexicale
    4. Mérites du français
  4. Ressources linguistiques

    1. Chroniques
    2. Conseils linguistiques pour les entreprises
    3. Contenus téléchargeables
    4. Lexiques et vocabulaires
    5. Outils pour apprendre le français
    6. Ressources linguistiques externes
    7. Ressources pour le personnel enseignant
  5. Sujets d’intérêt

    1. Féminisation et rédaction épicène
    2. Néologie
    3. Officialisation linguistique
  6. Navigation

    1. Index thématique de la BDL
    2. Tutoriel

Abonnez-vous!

Nos infolettres vous permettent d’avoir accès à plusieurs ressources.
Ce champ est obligatoire.
Ce champ est obligatoire.
Ce champ est obligatoire.
Retourner en haut de la page
  • Accessibilité
  • Accès à l’information
  • Déclaration de services aux citoyennes et aux citoyens
  • Politique de confidentialité
  • Plan du site
Office québécois de la langue française
© Gouvernement du Québec, 2025