Forme Prénexe

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une normalisation syntaxique des formules du premier ordre qui déplace tous les quantificateurs en tête pour produire une formule équivalente composée d'un préfixe de quantificateurs suivi d'une matrice sans quantificateurs.