En lógica, se usa el símbolo , denominado cuantificador universal,[1] antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.[2]
- ↑ Lista de signos o símbolos no alfabetizables en el diccionario panhispánico de dudas, apéndice 4
- ↑ Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0.