prenesso
prenèsso agg. [dall’ingl. prenex (usato soltanto nella locuz. seg.), che è dal lat. tardo praenexus «legato, unito davanti»]. – In logica matematica, forma normale p. (ingl. prenex normal form), formula del calcolo dei predicati...
normale
agg. [dal lat. normalis «perpendicolare», der. di norma (v. norma)]. – 1. Perpendicolare (sign. direttamente connesso a quello etimologico di norma «squadra»): retta n. ad altra retta, a un piano, ecc.; retta n. a una curva in un...
