Está en la página 1de 2

Cuantificador de existential

En el lenguaje de predicados 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.

También podría gustarte