espressione è calco ell'ingl. prenex normal form). = ingl
form). = ingl. prenex, dal lat. tardo praenexus 'legato
