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
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