Forme prénexe

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

Source : Le grand dictionnaire terminologique

Source : Termium Plus