Forme prénexe


(Redirigé depuis Prenex form)

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


Sources

Source : Le grand dictionnaire terminologique

Source : Termium Plus