Diferencia entre revisiones de «Forma normal prenexa»

Toda fórmula es equivalente en [[lógica clásica]] a una fórmula en forma prenexa. Por ejemplo, si

<math>\phi(y)</math>, <math>\psi(z)</math>, y <math>\rho(x)</math> son fórmulas sin cuantificar con las variables libres mostradas, luego

Es en forma normal prenexa con la matriz <math>\phi(y) \lor (\psi(z) \rightarrow \rho(x))</math>, mientras que

:<math>\forall x ((\exists y \phi(y)) \lor ((\exists z \psi(z) ) \rightarrow \rho(x)))</math>