« Forme prénexe » : différence entre les versions
Aucun résumé des modifications |
m (Arielle H a déplacé la page Forme normale prénexe vers Forme prénexe) |
(Aucune différence)
| |
Version du 3 avril 2021 à 12:17
Définition
Forme réduite dans laquelle les quantificateurs sont groupés en tête de l'expression.
Français
forme prénexe
Anglais
prenex normal form
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
