Forme prénexe


Révision datée du 29 janvier 2024 à 13:40 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵↵↵ » par «   »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

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


Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki