Filosofía en español
Filosofía en español
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”.
Diccionario filosófico · 1965:95
Operaciones de la lógica matemática, que se aplican a las expresiones lógicas y caracterizan la esfera de los objetos (o la esfera de los predicados), a la cual se refiere la expresión lógica dada. Los más utilizables son los cuantificadores universales y los cuantificadores existenciales.
Diccionario de filosofía · 1984:98