Diferencia entre revisiones de «Forma normal prenexa»

17 bytes añadidos ,  hace 10 años
m (Bot: 8 - Mejoras diversas en páginas)
 
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
Usuario anónimo