Diferencia entre revisiones de «Forma normal prenexa»
Contenido eliminado Contenido añadido
Línea 53:
=== 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.
:<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:
| |||