« Fonction de Skolem » : différence entre les versions
m (Isaline a déplacé la page Skolem functions vers Fonction de Skolem) |
Aucun résumé des modifications |
||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''Skolem function''' | '''Skolem function''' | ||
<small> | <small> | ||
| Ligne 12 : | Ligne 13 : | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17016128 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17016128 Source : Le grand dictionnaire terminologique ] | ||
[[Catégorie: | [[Catégorie:publication]] | ||
Version du 23 avril 2021 à 10:36
Définition
Fonction introduite pour éliminer les quantificateurs existentiels.
Français
fonction de Skolem
Anglais
Skolem function
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
