CUANTIFICADORES

Jhon Alexander Lozano Yara

QUE ES CUANTIFICADOR LGICO

Son smbolos que se utilizan para indicar cuntos o qu tipo de elementos
de un conjunto dado 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

se lee: para todo equis que pertenece a erre (a los

reales), se cumple que equis es menor que dos

TIPOS DE CUANTIFICADORES
Existen muchos tipos de cuantificadores, entre los ms utilizados estn:
Cuantificador universal
x , y Para todo x, y...
Cuantificador existencial
x , y Existe al menos un x, y...
Cuantificador existencial nico
! X , y Existe exactamente un x, y...
Negacin del cuantificador existencial

x ,yNo existe ningn x, y...

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

EJEMPLOS CUANTIFICADOR
UNIVERSAL
EJEMPLO 1
"todas las hormigas son insectos"
para toda x, si x es hormiga entonces x es insecto que se puede
simbolizar de la manera siguiente:

donde Hx simboliza la expresin: " x es hormiga", e Ix simboliza la

expresin "x es insecto".

EJEMPLOS CUANTIFICADOR
UNIVERSAL
EJEMPLO 2
Sea A = { 1, 2, 3, 4, 5 }. Determine el valor

Es VERDADERO. Cualquier nmero de A cumple que x+3

CUANTIFICADOR EXISTENCIAL
Se utiliza para indicar que existen uno o ms elementos en el conjunto A
que cumple(n) con una condicin o propiedad determinada.

EJEMPLOS CUANTIFICADOR
EXISTENCIAL

BIBLIOGRAFIA
PAGINAS WEB
http://primeraunidad101.blogspot.com.co/2014/08/cuantificadores.html (Publicado 19th
August 2014 por LUIS SEQUERA)
https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores
(Eduardo botello mendoza
https://es.wikipedia.org/wiki/Cuantificador_universal (20 ene 2016)
http://
estructuradiscretaunerg.blogspot.com.co/2013/06/cuantificadores-cuantificadores.html
(Ziglinder Sotomayor)