Forme prénexe


De DataFranca

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