s.m. Matemática Símbolo (chamado em lógica operador) indicador de que uma propriedade se aplica a todos os elementos de um todo, ou somente a alguns entre eles: o quantificador universal (para tudo) e o quantificador existencial (existe pelo menos um).
