##  [Forme Prénexe](/fr/node/60029) 

  ##  [Forme Prénexe](https://mathlogic.quantumdictionary.io/fr/node/60030) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.