Forme prénexe

Révision datée du 3 avril 2021 à 11:11 par Arielle H (discussion | contributions) (Arielle H a déplacé la page Prenex normal form vers Forme normale prénexe)

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

en construction

Définition

xxxxxxx

Français

xxxxxxx

Anglais

prenex normal form

a representation of formulas in first-order predicate calculus, in which all quantifiers are at the front of the formula.

Source : UTexas Artificial Intelligence Vocabulary

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

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki