« Forme prénexe » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| 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 ] | ||
Dernière version du 29 janvier 2024 à 13: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
