CUANTIFICADORES

LOGICOS
Andrs Felipe Perdomo y Luisa Fernanda Martnez

Cuantificadores Existenciales
Representan la existencia de al menos un elemento dentro del
universo, lo cual determinara verdadero para la existencia de
dicho elemento.
Se denota en el lenguaje formal con las expresiones:

Hay un x
para algn x
Para al menos un x
Existe un x tal que

Cuantificadores Existenciales
Ejemplo 1:
U={1, 2, 3, 4, 5}
Funcin:

; 2 -x=10
Conclusin:
La proposicin es falsa, ya que para
todos los elementos de U
La proposicin es falsa.

Cuantificadores Existenciales
Ejemplo 2:
U={1, 2, 3, 4, 5}
Funcin:

; 2 -x>5

Conclusin:
La proposicin es verdadera, ya que
al menos un elemento de U
es verdadero.

Cuantificadores Existenciales
Ejemplo 3:
U={Todos aman a Luisa}
Funcin:

(, )

Conclusin:
Proposicin verdadera, porque existe al menos un elemento de U en el cual ama
a luisa

Cuantificadores Existenciales
Ejemplo 4:
Q(x) = x/x estudian en la universidad Los Libertadores.
R(x) = x/x es mujer.
Conclusin:

Funcin:

: Q(x) ^ R(x)

Existen mujeres en la universidad

Los Libertadores.

Cuantificadores Existenciales
Ejemplo 5:
Q(x) = x/x estudian Sistemas Expertos.
R(x) = x/x aprueban la materia de Sistemas Expertos.
Conclusin:

Funcin:

: Q(x) R(x)

Existen estudiantes de sistemas

Expertos que si estudian, aprueban
la materia.

Cuantificadores Universales
Representa una proposicin verdadera para todas los elementos
del conjunto Universo.
Se denota en el lenguaje formal con las expresiones:

Para todo x
Para cada x
Para cualquier (x,y)
Para todo x & y

Cuantificadores Universales
Ejemplo 1:
U={1, 2, 3, 4, 5}
Funcin:

; < 20

Conclusin:
La proposicin es falsa, ya que no
todos los elementos de U satisfacen
la proposicin.

Cuantificadores Universales
Ejemplo 2:
U={1, 2, 3, 4, 5}
Funcin:

; 5 1 > 2

Conclusin:
La proposicin es verdadera, ya que
todos los
elementos de U
satisfacen la funcin.

Cuantificadores Universales
Ejemplo 3:
Q(x) = x/x pertenecen a la universidad Los Libertadores.
Conclusin:

Funcin:

: Q(x)= Para todo x, X es estudiante

de la universidad Los Libertadores.

Los estudiantes pertenecen a la

universidad Los Libertadores.

Cuantificadores Universales
Ejemplo 4:
Q(x) = x/x profesor de la universidad Los Libertadores.
Conclusin:

Funcin:

: Q(x)= Para todo x, X es profesor de

la universidad Los Libertadores.

Los profesores pertenecen a la

universidad Los Libertadores.

Cuantificadores Universales
Ejemplo 5:
Q(x) = x/x estudiante en la universidad Los Libertadores.
R(x) = x/x es mayor de 25 aos.

Conclusin:

Funcin:

: Q(x) ^ R(x)

Para todo x, x son los estudiantes

de la universidad Los Libertadores y
son mayores de 25 aos.

Cuantificadores de Negacin
Corresponde a la negacin de la conclusin generadas de las
proposiciones existenciales o universales, y se representa con el
smbolo .
Se denota en el lenguaje formal con las expresiones:

Para todo x
Para cada x
Para cualquier (x,y)
Para todo x & y
Hay un x
para algn x
Para al menos un x
Existe un x tal que

Cuantificadores de Negacin
Ejemplo 1:
Sea A={1, 2, 3, 4, 5 }

A={1, 2, 3, 4, 5 }

Conclusin:
Los elementos del conjunto A no
son los de A.

Cuantificadores de Negacin
Ejemplo 2:
Q(x) = x/x estudiante en la universidad Los Libertadores.
R(x) = x/x es mayor de 25 aos.

Conclusin:

Funcin:

Q(x) ^ R(x)

No es estudiante de la universidad
Los Libertadores y son mayores de
25 aos.

Cuantificadores de Negacin
Ejemplo 3:
Q(x) = 5 > 4
R(x) = y pertenece a los reales.

Conclusin:

Funcin:

Q(x) ^ R(x)

5 NO es mayor que 4 y no
pertenecen a los reales.

Cuantificadores de Negacin
Ejemplo 4:
Q(x) = Juan estudia para sistemas Expertos.
R(x) = Pasa La Materia.

Conclusin:

Funcin:

Q(x) ^ R(x)

Juan no estudia para sistemas

expertos y no pasa la materia.

Cuantificadores de Negacin
Ejemplo 5:
Q(x) = Todos los perros de Bogot son negros.
R(x) = viven en casas estrato 6.

Conclusin:

Funcin:

Q(x) ^ R(x)

No todos los perros de Bogot son

y negros y viven en casas estrato 6.

Bibliografa
http://es.slideshare.net/jazzme/lgica-y-conjuntos-proposiciones-ycuantificadores

http://estructuradiscretaunerg.blogspot.com.co/2013/06/cuantificadorescuantificadores.html