Universidad Americana

Curso de Lgica y Algoritmos

Prof. M.A.I. Alexander Vargas C.
Cuantificadores lgicos.
Se utilizan en aquellas afirmaciones en las que se usan variables. Por ejemplo:
p: n es un nmero impar
sta afirmacin no es una proposicin, porque el hecho de que p sea verdadera o falsa depende del
valor de n.
Sea P(n) la afirmacin: n es un nmero impar y sea D ( dominio de discurso ) el conjunto de enteros
positivos, entonces: para cada n en D, P(n) es verdadera o falsa pero no ambas a la vez.
Ejemplo 1:
Si n = 1, P(1): 1 es un nmero impar ( Verdadera ).
Si n = 2, P(2): 1 es un nmero impar ( Falsa ).
Por lo tanto, se llama a P(n) funcin proposicional o predicado.
Cuantificador Universal ( ).
Sea P una funcin proposicional con dominio de discurso D. Se dice que la afirmacin para toda x, P(x)
es una afirmacin cuantificada universalmente.
El smbolo significa para toda, para cada, para cualquier y representa al cuantificador
universal.
La afirmacin x P(x):
es verdadera si P(x) es verdadera para toda x en D.
es falsa si P(x) es falsa para al menos una x en D.
Ejemplo 2:
Tenemos la afirmacin x (x2 0) con el conjunto de nmeros reales como dominio de discurso ( D ).
Esta afirmacin es verdadera porque para todo nmero real x, es cierto que el cuadrado de x es positivo
o cero.
Si x = -2 entonces -22 0 por tanto 4 0.
Si x = 0 entonces 02 0 por tanto 0 0.
Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 1

Si x = 2 entonces 22 0 por tanto 4 0.

Ejemplo 3:
Tenemos la afirmacin x (x2 1 > 0) con el conjunto de nmeros reales como dominio de discurso
( D ).
Esta afirmacin es falsa, ya que si x = 1 no es cierto que 12 1 > 0. El valor 1 es un contraejemplo de
dicha afirmacin. Esto es, existe al menos una x en el dominio que hace que (x2 1 > 0) sea falsa.
Cuantificador Existencial ( ).
Sea P una funcin proposicional con dominio de discurso D. Se dice que la afirmacin existe x, P(x) es
una afirmacin cuantificada existencialmente.
El smbolo significa existe, para alguna, para al menos una.
As la afirmacin existe x, P(x) se escribe x P(x).
La afirmacin x P(x):
es verdadera si P(x) es verdadera para al menos una x en D.
es falsa si P(x) es falsa para toda x en D.
Ejemplo 4:
Considere la afirmacin x (x/x2 + 1 = 2/5) con el conjunto de nmeros reales como dominio de
discurso..
Esta afirmacin es verdadera porque existe al menos un nmero real que cumpla con (x/x2 + 1 = 2/5).
Si x = 2, entonces tenemos que: 2/22 + 1 = 2/5 o sea 2/5 = 2/5.

Ejemplo 5:
Si tenemos la afirmacin x (1/ x2 + 1 > 1) y deseamos verificar que es falsa, debe demostrarse que
(1/ x2 + 1 > 1) es falsa para todo nmero real x.
Ahora, esta afirmacin es falsa precisamente cuando (1/ x2 + 1 1) es verdadera.
Si x = 1, entonces tenemos que: 1, lo cual es verdadero.
Por lo tanto (1/ x2 + 1 > 1) es falsa para todo nmero real x.

Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 2

Ejercicios de Prctica.
** Sea P(n) la funcin proposicional n divide a 77. El dominio es el conjunto de enteros positivos.
Escriba cada proposicin y diga si est es verdadera falsa.
1. P(11)

2. P(3)

3. P(1)

4. n P(n)

5. n P(n)

** Sea P(x) la afirmacin x est en un curso de matemticas, el dominio es el conjunto de todos los
estudiantes. Escriba cada proposicin en palabras.
6. x P(x)
9. x P(x)

7. x P(x)
10. (x P(x))

8. x P(x)
11. (x P(x))

** Sea P(x) la afirmacin x es un atleta profesional y sea Q(x) la afirmacin x juega ftbol.
Dominio es el conjunto de todas las personas. Escriba cada proposicin en palabras y determine
el valor de verdad.
12. x ( P(x) Q(x) )

13. x ( P(x) Q(x) )

14. x ( Q(x) P(x) )

15. x ( Q(x) P(x) )

16. x ( P(x) Q(x) )

17. x ( P(x) Q(x) )

18. x ( P(x) Q(x) )

19. x ( P(x) Q(x) )

** Determine el valor de verdad para cada afirmacin. Dominio conjunto de nmeros reales.
20. x ( x2 > x )

21. x ( x2 > x )

23. x ( x > 1 x2 > x ) 24. x ( x2 1 )

22. x ( x > 1 x2 > x )

25. x ( x2 = 8)

Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 3

Cuantificadores Anidados.
Se utilizan en aquellas afirmaciones en las que se usan dos variables. Por ejemplo:
Tenemos la afirmacin: la suma de cualesquiera dos nmeros reales positivos es positiva. Observe
que la afirmacin hace referencia a dos nmeros. Por lo tanto, si x > 0 y y > 0, entonces x + y > 0.
Simblicamente sera xy ( ( x > 0 ) ( y > 0 ) ( x + y > 0 ) ).
Para cada x y para cada y, si x > 0 y > 0, entonces x + y > 0, cuyo Dominio de discurso es el
conjunto de nmeros reales positivos.
Ejemplo 1:
Si tenemos mn (m < n) con el conjunto de enteros como dominio de discurso.
Podemos decir que: Para toda m, existe n tal que m < n, esto significa que si tomamos cualquier
entero m, hay un entero n mayor que m.
Dicho de otra forma: No existe un entero que sea el ms grande.
Ejemplo 2:
Si tenemos la afirmacin Todos aman a alguien, donde L(x,y) es la afirmacin x ama a y.
Todos necesita un y alguien necesita un , entonces la afirmacin se escribe en smbolos como
xy L(x,y)
En palabras, para cada persona x, existe una persona y, tal que x ama a y.
Observe que, xy L(x,y) no es lo mismo al ejemplo anterior, esta ltima afirmacin es: Existe una
persona x, tal que para toda y, x ama a y. Osea que la afirmacin sera Alguien ama a todos.
Por lo tanto, observe que cambiar el orden de los cuantificadores altera el significado de la afirmacin.
Tenemos entonces que la afirmacin xy P(x,y) con dominio de discurso en D:
es verdadera si x y y en D, P(x,y) es verdadera.
es falsa si x y y en D tal que P(x,y) es falsa.
Basados en lo anterior podemos decir que la afirmacin xy ( ( x > 0 ) ( y > 0 ) ( x + y > 0 ) )
con el conjunto de los nmeros reales como dominio de discurso es verdadera, ya que para todo
nmero real positivo, la suma de ambos es positiva.

Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 4

Mientras que para la afirmacin xy ( ( x > 0 ) ( y < 0 ) ( x + y 0 ) ) tambin con el

conjunto de los nmeros reales como dominio de discurso es falsa, ya que si x = 1 y y = -1, la
proposicin condicional ( ( x > 0 ) ( y < 0 ) ( x + y 0 ) ) es falsa.
Se dice entonces que el par x = 1 y y = -1 es un contraejemplo.
Otra forma de comprobar lo anterior es negando la proposicin condicional, esto es:
((x>0)(y<0)(x+y0))
Basados en que cualquier proposicin condicional cuantificada universalmente (xy ) es
lgicamente equivalente a:
( xy S(x,y) B(x,y) )
Por lo tanto tenemos que:
(xy (( x > 0 ) ( y < 0 )) ( x + y 0 ) )
y si tomamos el par x = 1 y y = -1, entonces:
(xy (( 1 > 0 ) ( -1 < 0 )) ( 1 + -1 0 ) )
( T F )
( T T )
(T)
F
Observe que el resultado es el mismo, la proposicin condicional es falsa.
Otra afirmacin es xy P(x,y) con dominio de discurso en D, la cual:
es verdadera si para toda x en D (x), existe al menos una y en D (y), para la
que P(x,y) sea verdadera.
es falsa si existe al menos una x en D (x), tal que P(x,y) es falsa para toda y en D
(y).
Ejemplo 3:
Considere la afirmacin xy (x + y = 0) con el conjunto de nmeros reales como dominio de
discurso.

Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 5

Esta afirmacin es verdadera porque, para todo nmero real x, existe al menos una y ( a saber y = -x )
para la que x + y = 0 es verdadera.
Es decir, para todo nmero real x, existe un nmero que, al sumarse a x hace la suma igual a cero
( inverso aditivo ).
Por ejemplo si x = 2, y = -2 entonces:
x+y=0
2 + -2 = 0
0=0
Verdadero
Ejemplo 4:
Sea la afirmacin xy (x > y) con el conjunto de nmeros enteros positivos como dominio de
discurso.
Esta afirmacin es falsa porque, existe al menos una x ( a saber x = 1 ), tal que x > y es falsa para todo
nmero entero positivo y.
Por ejemplo si x = 1, y = 2 entonces:
x>y
1>2
Falso
Considere la afirmacin xy P(x,y) con dominio de discurso en D, la cual:
es verdadera si existe al menos una x en D (x), tal que P(x,y) es verdadera para toda
y en D (y).
es falsa si para toda x en D (x), existe al menos una y en D (y), tal que P(x,y)
sea falsa.
Ejemplo 5:
Sea la afirmacin xy (x y) con el conjunto de nmeros enteros positivos como dominio de
discurso.
Esta afirmacin es verdadera porque, existe al menos un entero positivo x ( a saber x = 1 ), para el que
x y es verdadera para todo nmero entero positivo y.
En otras palabras, existe un nmero entero positivo ms pequeo ( el 1 ).
Ejemplo 6:
Sea la afirmacin xy (x y) con el conjunto de nmeros enteros positivos como dominio de
discurso.
Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 6

Esta afirmacin es falsa porque, para todo entero positivo x, existe al menos un entero positivo y ( a
saber y = x + 1, tal que x y es falsa.
En otras palabras, no hay nmero entero positivo ms grande.
Considere la afirmacin xy P(x,y) con dominio de discurso en D, la cual:
es verdadera si existe al menos una x en D (x), y al menos una y en D (y) tal que P(x,y)
es verdadera.
es falsa si para toda x en D (x), y para toda y en D (y), tal que P(x,y) es falsa.
Ejemplo 7:
Sea la afirmacin xy ( (x > 1) (y > 1) (xy = 6) ) con el conjunto de nmeros enteros
positivos como dominio de discurso.
Esta afirmacin es verdadera porque, existe al menos un entero positivo x ( a saber x = 2) y al menos
un entero positivo y (a saber y = 3), tales que xy = 6.
En otras palabras, 6 es un nmero compuesto ( es decir, no es primo).
Por ejemplo si x = 2, y = 3 entonces:
(2 > 1) (3 > 1) (2 3 = 6)
TTT
Verdadera
Ejemplo 8:
Sea la afirmacin xy ( (x > 1) (y > 1) (xy = 7) ) con el conjunto de nmeros enteros
positivos como dominio de discurso.
Esta afirmacin es falsa porque, para todo entero positivo x y para todo entero positivo y la
afirmacin (x > 1) (y > 1) (xy = 7) es falsa.
En otras palabras, 7 es un nmero primo.
Por ejemplo si x = 7, y = 1 entonces:
(7 > 1) (1 > 1) (7 1 = 7)
T F T
Falso

Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 7

Ejercicios de Prctica.
** Sea P(x,y) la funcin proposicional x y. Dominio es el conjunto de todos los enteros positivos,
determine el valor de verdad para cada afirmacin.
1. xy P(x,y)

2. xy P(x,y)

3. xy P(x,y)

4. xy P(x,y)

** Determine el valor de verdad para cada afirmacin cuyo dominio es el conjunto de los nmeros
reales.
5. xy (x2 < y + 1)

6. xy (x2 < y + 1)

8. xy (x2 + y2 = 9)

9. xy (x2 + y2 0)

7. xy (x2 + y2 = 9)
10. xy (( x < y) (x2 < y2))

Informacin tomada de: Johnsonbaugh, Richard. Matemticas discretas. Sexta Edicin. Pearson Prentice Hall. 2005

Pgina 8