Cuantificador existencial

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Cuantificador existencial» – noticias · libros · académico · imágenes Este aviso fue puesto el 1 de agosto de 2015.

En el lenguaje de predicados en lógica matemática, se usa el símbolo: ${\displaystyle \exists }$, llamado cuantificador existencial, antepuesto a una variable para decir que "existe al menos" un elemento del conjunto, ${\displaystyle B}$, al que hace referencia la variable, que cumple la proposición escrita a continuación.^[1]​

${\displaystyle \exists x\in B}$

Existe x que pertenece a B.

1. ↑ Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0.