Cuantificador existencial

De Wikipedia, la enciclopedia libre

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

[editar] Véase también

• Cuantificador universal
• Lógica de primer orden

El contenido de esta página es un esbozo sobre lógica matemática. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.