Dada una expresión P(x), según el cuantificador universal se puede transformar en otra equivalente con el cuantificador existencial: