 |
Cuantificador existencial
| Wikipedia en español - La enciclopedia libre | Download this dictionary |
Cuantificador existencial
En el cálculo de predicados de la lógica formal, 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.
| Ver más en Wikipedia.org... |
© Este artículo utiliza contenidos de Wikipedia® y está disponible bajo los términos de la Licencia de documentación libre GNU y bajo los términos de la Licencia Creative Commons Atribución-CompartirIgual
