Cuantificadores

Los cuantificadores en lógica, teoría de conjuntos y las matemáticas, se habla de aquellos símbolos utilizados en una proposición lógica para indicar cuantos elementos de un conjunto dado cumplen con cierta propiedad.

Los cuantificadores permiten la construcción de proposiciones a partir de funciones proposicionales, bien sea particularizando o generalizando.