CUANTIFICADORES

Una proposicin abierta es un enunciado declarativo que depende de una o ms variables

dentro de un universo de discurso, de modo que se convierte en una proposicin para cada
valor o reemplazo de la variable.
Las expresiones
Existe un x, Para algn x, Para cualquier x, Para todo x, cuantifican las
proposiciones abiertas, lo que hace posible asignarles un valor de verdad, convirtindolas
en proposiciones.
Son proposiciones cuantificadas
Para alguna x se cumple P(x)
Para algunos x y algunos y, se verifica Q(x,y)
Para todo x se satisface R(x).
Como se observa en las proposiciones anteriores hay dos tipos de cuantificadores:
El cuantificador existencial,
Para algn x se verifica p(x)
Existe x tal que se cumple p(x)
Para al menos un x se satisface p(x)
son proposiciones que se escriben como x p(x)
El cuantificador universal,
Para todo x se verifica p(x)
Para cualquier x tal que se cumple p(x)
Para cada x se satisface p(x) son proposiciones que se escriben como x p(x)

En lgica formal, los cuantificadores son expresiones que indican la cantidad de veces que
un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo,
pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los ms
utilizados estn:

Cuantificador universal

Para todo x, y...

Cuantificador existencial

Existe al menos un x, y...

Cuantificador existencial nico

Existe exactamente un x, y...

Negacin del cuantificador existencial

No existe ningn x, y...

Declaraciones cuantificadas
Las declaraciones cuantificadas se escriben en la forma:

Para todo x que pertenece a R, se cumple que 2x pertenece a R.

Para todo a que pertenece a R, existe x que pertenece a R, que est comprendido
entre a y a+1.

Para todo a que pertenece a R diferente de cero, existe un nico x que pertenece a R, que
cumple que a por x es igual a 1.
Proposiciones
Cuantificacin universal
El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto
cumplen con una determinada propiedad. Por ejemplo:

Para todo x perteneciente a A, se cumple P(x).

Esta afirmacin suele usarse como la equivalente de la proposicin siguiente:

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Cuantificacin existencial
El cuantificador existencial se usa para indicar que hay uno o ms elementos en el
conjunto (no necesariamente nico/s) que cumplen una determinada propiedad. Se
escribe:

Existe x en A que cumple P(x).

Esta proposicin suele interpretarse como la equivalente de la proposicin siguiente:

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vaco.
Cuantificacin existencial nica
El cuantificador existencial con marca de unicidad se usa para indicar que hay un nico
elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

Se lee:
Existe una nica x elementos de A, que cumple P(x).
Equivalencias
Se tienen las siguientes relaciones universales:

Para todo x de A, se cumple P(x) si y slo si no existe x en A que no cumpla P(x).

Existe al menos un x en A que cumple P(x) si y slo si no es cierto que para

todo x de A, no se cumpla P(x).
En cuanto al cuantificador existencial nico puede considerarse una extensin por
definicin en un lenguaje formal con igualdad teniendo dada la equivalencia:

Existe un nico x en A que cumple P(x), si y slo si para todo x, y de A, si se cumple

que P(x) y P(y), entonces x es igual a y.

EJERCICIOS RESUELTOS
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 CALCULO 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

IMAGENES
CUANTIFICADOR EXISTENCIAL

CUANTIFICADOR UNIVERSAL