Lógica de primer orden/Cuantificador existencial

El cuantificador existencial se representa con el símbolo $\exists$ , seguido de una variable ( $\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 $\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