Definición de Cuantificadores

Operaciones de la lógica matemática que relacionan en distintas funciones lógicas variables de objeto, proposiciones variables o predicados variables, formando de este modo expresiones que caracterizan de manera completamente determinada el significado de veracidad o de falsedad. Se distinguen el cuantificador universal (símbolo ¶) y el cuantificador existencial (símbolo Ñ). Por ejemplo, si tenemos la función proposicional «X posee la propiedad N», entonces el cuantificador universal ¶x forma la enunciación «todo X posee la propiedad N», mientras que el cuantificador existencial Ñx forma la enunciación «existe X, que posee la propiedad N».