Diferencia entre revisiones de «Forma normal prenexa»

=== Ejemplo ===
 
Supóngase que <math>\phi</math>, <math>\psi</math>, y <math>\rho</math> son fórmulas sin cuantificar y no comparten variable libre alguna. CnonsidereseConsiderese la fórmula
:<math> (\phi \lor \exists x \psi) \rightarrow \forall z \rho</math>.
Aplicando recursivamente las reglas empezando por las subfórmulas internas, la siguiente secuencia de fórmulas lógicamente equivalentes pueden obtenerse:
Usuario anónimo