Cuantificador universal

En lógica y matemáticas, 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.

Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual aparecen todas las constantes.