cuantificador universal
Sign in to saveAlso known as for every, for all, given any, for any, any
indicador en la lógica formal que sirve para indicar que cierta característica se encuentra en todos los elementos de un conjunto
Wikidata facts
- Subclass of
- quantifier
- Image
- Universal-quantification.svg
Show 4 more facts
- opposite of
- existential quantification
- Commons category
- Universal quantification
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- logic
Sources (1)
via Wikidata · CC0
Article · Español
En lógica, se usa el símbolo , denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.
Abstract from DBpedia / Wikipedia · CC BY-SA