« Forme prénexe » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| (3 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 13 : | Ligne 13 : | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17015901 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17015901 Source : Le grand dictionnaire terminologique ] | ||
[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 : | [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]] | ||
Dernière version du 29 janvier 2024 à 12:40
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
Sources
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
