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 in cui tutti i quantificatori si trovano all’inizio.