Forma prenessa

In logica matematica, una formula si dice in forma prenessa se essa è composta da una parte sinistra contenente solo quantificatori e variabili e una parte destra non contenente alcun quantificatore.

Nell'ambito della logica classica, ogni formula è equivalente ad una formula in forma prenessa. Per esempio, se ${\displaystyle \phi }$, ${\displaystyle \psi }$ e ${\displaystyle \rho }$ sono formule in cui non compare alcun quantificatore, allora alla formula:

${\displaystyle \forall x((\exists y\phi )\lor ((\forall z\psi )\rightarrow \rho ))}$

si può associare la seguente formula in forma prenessa:

${\displaystyle \forall x\exists y\exists z(\phi \lor (\psi \rightarrow \rho ))}$