Lógica de primer orden/Cuantificador existencial

De Wikiversidad

El cuantificador existencial se representa con el símbolo , seguido de una variable () y se lee «existe un 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 « es un usuario de la Wikiversidad» con , la expresión se leería «Existe un tal que es un usuario de la Wikiversidad» y nos dice que del conjunto de personas que pueden ser representadas por la variable , al menos una es usuaria de la Wikiversidad.

Véase también[editar]