« Forme prénexe » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| Ligne 11 : | Ligne 11 : | ||
'''prenex normal form''' | '''prenex normal form''' | ||
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
