CUANTIFICADOR EXISTENCIAL

Cualquier expresion de la forma, algun, alguna, por lo menos uno, basta que uno, constituye en el lenguaje formal un cuantificador universal y se simboliza con la letra E invrtida (3)

Ejemplos:  

E (x,y)         X  mas  Y = 5

E  (x)           X mas   4 =   9