Diferencia entre revisiones de «Forma normal prenexa»
Contenido eliminado Contenido añadido
m Bot: 8 - Mejoras diversas en páginas |
|||
Línea 17:
Las reglas para la conjunción y la disyunción dicen que
:<math>(\forall x \phi) \land \psi</math> es equivalente a <math>\forall x ( \phi \land \psi)</math>,
:<math>(\forall x \phi) \lor \psi</math> es equivalente a <math>\forall x ( \phi \lor \psi)</math>;
Y
| |||