Cuantificador existencial

Keywords: Cuantificador existencial, Conjunto, Constante, Dominio de referencia, Lógica, Matemáticas, Proposición, Variable

En lógica y en matemáticas, 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.

Normalmente, en lógica, el conjunto al que se hace referencia es el universo o dominio de referencia, que está formado por todas las constantes.

Keywords: Cuantificador existencial, Conjunto, Constante, Dominio de referencia, Lógica, Matemáticas, Proposición, Variable