Fonction de Skolem


La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

Fonction introduite pour éliminer les quantificateurs existentiels.

Français

fonction de Skolem

Anglais

Skolem function


Sources

Source : Le grand dictionnaire terminologique

Récupérée de « https://datafranca.org/wiki/index.php?title=Fonction_de_Skolem&oldid=95200 »


Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki