Diferencia entre revisiones de «Forma normal prenexa»
Contenido eliminado Contenido añadido
m Corrigiendo posición en el listado de Categoría:Formas normales|Prenexa |
|||
Línea 63:
:<math> \forall x \forall z ( ( \phi \lor \psi) \rightarrow \rho )</math>.
Esta no es la única forma prenexa equivalente a la fórmula original. Por ejemplo, abordando el consecuente antes que el
:<math>\forall z \forall x ( ( \phi \lor \psi) \rightarrow \rho)</math>
| |||