Un cuantificador es un operador sobre un conjunto de individuos, se trata de un recurso expresivo que permite construir proposiciones sobre conjuntos o dicho de otra forma, un cuantificador es una expresión que afirma que una condición se cumple para un cierto número de individuos.