Diccionario soviético de filosofía
Ediciones Pueblos Unidos, Montevideo 1965
página 95

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».


www.filosofia.org Proyecto filosofía en español
© 2001 www.filosofia.org
  Soviético
Enciclopedias