CUANTIFICADORES Cuando se habla de cuantificadores en trminos de Lgica, Teora de Conjuntos o Matemticas en general, se hace referencia a aquellos smbolos que

se utilizan para indicar cantidad en una proposicin, es decir, permiten establecer cuntos elementos de un conjunto determinado, cumplen con cierta propiedad.

Los cuantificadores permiten la construccin de proposiciones a partir de funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo, si consideramos la funcin proposicional:
P(x) = x es menor que dos

Esto podra particularizarse as: Existe un nmero real que es menor que dos o generalizarlo diciendo: Todos los nmeros reales son menores que dos.

En cualquiera de los dos casos, se especifica un conjunto donde est tomando valores la variable, para nuestro ejemplo, el conjunto de los nmeros reales.
Para notar la particularizacin y la generalizacin, se utiliza la siguiente simbologa, respectivamente:

que se lee: existe un equis que pertenece a erre (a los reales), tal que equis es menor que dos
Mientras que

se lee: para todo equis que pertenece a erre (a los reales), se cumple que equis es menor que dos
El smbolo (para todo) se denomina cuantificador universal, y el smbolo cuantificador existencial. (existe al menos un) se denomi na

As, un cuantificador transforma una funcin proposicional, en una proposicin a la cual se le asigna un valor de verdad.

Los cuantificadores ms utilizados son entonces:

CUANTIFICADOR UNIVERSAL (para todo): se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una condicin o propiedad determinada. Esto se expresa como:

CUANTIFICADOR EXISTENCIAL (existe al menos un): se utiliza para indicar que existen uno o ms elementos en el conjunto A que cumple(n) con una condicin o propiedad determinada.

CUANTIFICADOR EXISTENCIAL NICO (existe un nico): se utiliza para indicar que existe exactamente un elemento en el conjunto A que cumple con una condicin o propiedad determinada.

NEGACIN DE PROPOSICIONES CON CUANTIFICADORES Sea p(x) una funcin proposicional con extensin A, entonces:

Ejercicios de cuantificadores "todas las hormigas son insectos" para toda x, si x es hormiga entonces x es insecto que se puede simbolizar de la manera siguiente: (x)(Hx Ix) donde Hx simboliza la expresin: " x es hormiga", e Ix simboliza la expresin "x es insecto". "hay animales carnvoros" se observa que se puede escribir como: "existe al menos un x, tal que x es animal y x es carnvoro "que se puede simbolizar como: (x)(Ax Cx). Expresar todos los gatos tienen cola en clculo de predicados. Solucin: Hallar primero el mbito del cuantificador universal, que es Si x es un gato, entonces x tiene cola y se define como Gx x es un gato Cx x tiene cola (x) Gx Cx