cuantificadores

Cuando se habla de cuantificadores en la lógica, la teoría de conjuntos y las matemáticas en general, se hace referencia a aquellos símbolos utilizados en una proposición lógica para indicar cuantos elementos de un conjunto dado con cumplen con cierta propiedad los cuantificadores permiten la construcción de proposiciones a partir de funciones proposicionales, bien sea particularizando o generalizando. por ejemplo si consideramos la función proposicional:

p(x)= x es menor que 2  

esto podría particularizarse así: existe un numero real que es menor que dos o generalizarlo diciendo todos los números reales son menor que dos