Lógica de primer orden/Cuantificador existencial

El cuantificador existencial se representa con el símbolo $\mathrm{\exists }$, seguido de una variable ($\mathrm{\exists }x$) y se lee «existe un $x$ tal que...». Indica que la proposición a la cual se encuentra adjunto se cumple para al menos uno de los elementos del conjunto de valores posibles de la variable. Por ejemplo, si representamos la proposición «$x$ es un usuario de la Wikiversidad» con $P(x)$, la expresión $\mathrm{\exists }xP(x)$ se leería «Existe un $x$ tal que $x$ es un usuario de la Wikiversidad» y nos dice que del conjunto de personas que pueden ser representadas por la variable $x$, al menos una es usuaria de la Wikiversidad.

Véase también

• Cuantificador universal
• Lógica de primer orden