Común
Cuantificador existencial
indicador en la lógica formal que expresa que existe al menos un elemento con una determinada característica
Cuantificador existencial
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, B, al que hace referencia la variable, que cumple la proposición escrita a continuación. ∃x∈B Existe x que pertenece a B.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis