Diferencia entre revisiones de «Forma normal prenexa»

:<math>(\exists x \phi) \land \psi</math> es equivalente a <math>\exists x (\phi \land \psi)</math>,
:<math>(\exists x \phi) \lor \psi</math> es equivalente a <math>\exists x (\phi \lor \psi)</math>.
Las equivalencias son válidas cuando ''x'' no aparece como variable libre de ψ; si ''x'' no aparece libre en ψ, debe ser reemplazada por otra variable libre.
 
Por ejemplo, en el lenguaje de los [[Anillo (matemática)|anillos]],
Usuario anónimo