Databac

PRÉNEXE (FORME —)

PRÉNEXE (FORME —) (Logique math.) Une formule du calcul des prédicats est dite prénexe si tous les quanteurs qu’elle contient sont en tête et portent sur toute la formule ; on démontre que toute formule a une forme prénexe.

Liens utiles