« Fonction de Skolem » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''Skolem function''' | '''Skolem function''' | ||
Dernière version du 29 janvier 2024 à 13:33
Définition
Fonction introduite pour éliminer les quantificateurs existentiels.
Français
fonction de Skolem
Anglais
Skolem function
Sources
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
