Forme prénexe

Révision datée du 3 avril 2021 à 11:17 par Arielle H (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Forme réduite dans laquelle les quantificateurs sont groupés en tête de l'expression.

Français

forme prénexe

Anglais

prenex normal form

Source : TermiumPlus

Récupérée de « https://datafranca.org/wiki/index.php?title=Forme_prénexe&oldid=49191 »

Révision

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki