« Fonction de Skolem » : différence entre les versions
Aucun résumé des modifications |
m (Isaline a déplacé la page Skolem functions vers Fonction de Skolem) |
(Aucune différence)
|
Version du 23 avril 2021 à 10:31
Définition
Fonction introduite pour éliminer les quantificateurs existentiels.
Français
fonction de Skolem
Anglais
Skolem function
![](/wiki/annonces/DF annonce FB.jpg)
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki