« Forme prénexe » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 18 : | Ligne 18 : | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Prenex+normal+form&index=alt&codom2nd_wet=1#resultrecs Source : Termium Plus ] | [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Prenex+normal+form&index=alt&codom2nd_wet=1#resultrecs Source : Termium Plus ] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 21 avril 2021 à 17:02
Définition
Caractéristique d'une formule bien formée constituée d'une chaîne de quantificateurs non négatifs appelée préfixe, suivie d'une formule sans quantificateur appelée matrice.
Français
forme prénexe
forme normale prénexe
Anglais
prenex form
prenex normal form
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
