Toutes les formules du premier ordre sont logiquement équivalentes à une formule en forme prénexe. - La complexité d`une formule de logique mise en forme prénexe se mesure à son premier quantificateur et au nombre d`alternance de blocs de quantificateurs universels ou existentiels qui le su...