prenèsso

agg. inv. [pre-+nesso]. Nella logica dei predicati, si dice che una formula ha forma normale prenessa quando ha la seguente caratteristica formale: tutti i quantificatori compaiono all'inizio della formula (prefisso) e la parte logico-enunciativa si presenta nella seconda parte della formula (matrice). Per esempio:

Diciamo che una formula Z´ è la forma totalmente prenessa della formula Z quando Z´ è ottenuta dalla quantificazione di tutte le variabili libere che compaiono in Z. Se questa quantificazione è universale, allora Z´ costituisce la chiusura universale di Z; se la quantificazione è esistenziale, allora Z´ costituisce la chiusura esistenziale di Z.