Cuantificador existencial

En el lenguaje de predicados en lógica matemática, se usa el símbolo:

, llamado cuantificador existencial, antepuesto a una variable para decir que "existe al menos" un elemento del conjunto,

, al que hace referencia la variable, que cumple la proposición escrita a continuación.

[1]​ Existe x que pertenece a B.

, quiere decir que no todos los elementos de

conjuntos distintos, existe al menos un elemento

: Que podemos leer: existe al menos un elemento

Como relata John F. Sowa[2]​ (p. 475), a partir de la distinción que Bertrand Russell y Alfred North Whitehead hicieron en los Principia Mathematica en dos operadores, E!

«indicando exactamente uno» y E!!

indicando «único», Stephen Kleene, definió el cuantificador existencial «exactamente uno»

, explícitamente: y el propio Sowa, el cuantificador existencial «único»

, implícitamente: Hay que notar que en la literatura está muy extendida la denominación «cuantificador de existencia única» para el primero —aunque se mantiene también sobre todo en la literatura inglesa la denominación Kleene's exactly-one quantifier (basta con hacer una búsqueda en Internet)—, y todo ello a pesar de la confusión que esto puede generar, pues no es precisamente lo mismo «exactamente uno» que «único», como argumenta Sowa.

Veámoslo con un ejemplo —adaptado de Sowa (p. 475): Si no se especifica nada en contra, al referirse al cuantificador de existencia única se entiende el primero.