Sugerencias para resolver problemas

Para probar que la afirmación cuantificada universalmente

∀x P (x)

es verdadera, demuestre que para toda x en el dominio de discurso, la proposición P(x) es

verdadera. Demostrar que P(x) es verdadera para un valor particular de x no prueba que

∀x P (x)

sea cierta.
Para probar que la afirmación cuantificada existencialmente

∃x P (x)

es verdadera, encuentre un valor de x en el dominio de discurso para el que la proposición

P(x) es verdadera. Un valor es suficiente.
Para probar que la afirmación cuantificada universalmente

∀x P (x)

es falsa, encuentre un valor de x (un contraejemplo) en el dominio de discurso para el que

la proposición P(x) es falsa.
Para probar que la afirmación cuantificada existencialmente

∃x P (x)

es falsa, demuestre que para toda x en el dominio de discurso, la proposición P (x) es falsa.
Demostrar que P(x) es falsa para un valor particular x no prueba que

∃x P (x)

sea falsa.

Sección de ejercicios de repaso

1. ¿Qué es una función proposicional? 7. Explique cómo probar que una afirmación cuantificada universal-
2. ¿Qué es un dominio de discurso? mente es verdadera.
3. ¿Qué es una afirmación cuantificada universalmente? 8. Explique cómo probar que una afirmación cuantificada existen-
cialmente es verdadera.
4. ¿Qué es un contraejemplo?
9. Explique cómo probar que una afirmación cuantificada universal-
5. ¿Qué es una afirmación cuantificada existencialmente?
mente es falsa.
6. Establezca las leyes generalizadas de De Morgan para lógica.
10. Explique cómo probar que una afirmación cuantificada existen-
cialmente es falsa.

Ejercicios
En los ejercicios 1 al 6, diga si la afirmación es una función proposi- Sea P(n) la función proposicional “n divide a 77”. Escriba cada pro-
cional. Para cada afirmación que sea una función proposicional, dé un posición en los ejercicios 7 al 11 en palabras y diga si es verdadera o
dominio de discurso. falsa. El dominio de discurso es el conjunto de enteros positivos.
1. (2n + 1)2 es un entero impar. 7. P(11) 8. P(1)
2. Seleccione un entero entre 1 y 10. 9. P (3) 10. ∀n P (n)
3. Sea x un número real. 11. ∃n P(n)
4. La película ganó el premio de la Academia como mejor película Sea P(x) la afirmación “x está en un curso de matemáticas”. El domi-
en 1955. nio de discurso es el conjunto de todos los estudiantes. Escriba cada
5. 1 + 3 = 4. proposición en los ejercicios 12 al 17 en palabras.
6. Existe x tal que x < y (x, y números reales). 12. ∀x P(x) 13. ∃x P(x)
 1.4 ◆ Cuantificadores anidados 29
14. ∀x ¬P(x) 15. ∃x ¬P(x) for i = 1 to n
16. ¬(∀x P(x)) 17. ¬(∃x P(x)) if(¬P(di))
18. Escriba la negación de cada proposición en los ejercicios 12 al 17 return falsa
en símbolos y en palabras. else
Sea P(x) la afirmación “x es un atleta profesional” y sea Q(x) la afir- return verdadera
mación “x juega fútbol”. El dominio de discurso es el conjunto de to- ¿Cuál es el significado literal de cada afirmación en los ejercicios 41
das las personas. Escriba cada proposición en los ejercicios 19 al 26 al 49? ¿Cuál es el significado deseado? Aclare cada afirmación expre-
en palabras. Determine el valor de verdad de cada afirmación. sándola con otras palabras y en símbolos.
19. ∀x ( P(x) → Q(x)) 20 ∃x ( P(x) → Q(x)) 41. De Querida Abby: Todos los hombres no engañan a sus esposas.
21. ∀x ( Q(x) → P(x)) 22. ∃x ( Q(x) → P(x)) 42. De San Antonio Express News: Todas la cosas viejas no envidian
23. ∀x ( P(x) ∨ Q(x)) 24. ∃x ( P(x) ∨ Q(x)) a las cosas de veinte.
43. Todos los 74 hospitales no entregan su reporte cada mes.
25. ∀x ( P(x) ∧ Q(x)) 26. ∃x ( P(x) ∧ Q(x))
44. El economista Robert J. Samuelson: Todo problema ambiental no
27. Escriba la negación de cada proposición en los ejercicios 19 al 26
es una tragedia.
en símbolos y en palabras.
45. Comentario del consejal de Door County: Esto todavía es Door
Sea P(x)la afirmación “x es un contador” y sea Q(x) la afirmación “x County y todos nosotros no tenemos un título.
tiene un Porsche”. Escriba en símbolos y en palabras cada afirmación
46. Título de una columna de Martha Stewart: Todas las pantallas de
en los ejercicios 28 al 31.
las lámparas no se pueden limpiar.
28. Todos los contadores tienen un Porsche.
47. Titular en el New York Times: Un mundo donde no todo es dulzu-
29. Algunos contadores tienen un Porsche. ra y luz.
30. Todos los dueños de Porsches son contadores. 48. Encabezado de una historia de subsidio a la vivienda: Todos no
31. Alguien que tiene un Porsche es contador. pueden pagar una casa.
32. Escriba la negación de cada proposición en los ejercicios 28 al 31 49. De Newsweek: Las investigaciones formales son una buena prác-
en símbolos y en palabras. tica en las circunstancias correctas, pero toda circunstancia no es
correcta.
Determine el valor de verdad de cada afirmación en los ejercicios 33 al
50. a) Use una tabla de verdad para probar que si p y q son proposi-
38. El dominio de discurso es el conjunto de números reales. Justifique
ciones, al menos una de p → q o q → p es cierta.
sus respuestas.
b) Sea P(x) la función proposicional “x es un entero” y sea Q(x) la
33. ∀x(x 2 > x)
función proposicional “x es un número positivo”. El dominio de
34. ∃x(x 2 > x) discurso es el conjunto de todos los números reales. Determine
35. ∀x(x > 1 → x 2 > x) si la siguiente prueba de que todos los enteros son positivos o to-
36. ∃x(x > 1 → x 2 > x) dos los números reales positivos son enteros es correcta o no.
Por el inciso a),
37. ∀x(x > 1 → x/(x 2 + 1) < 1/3)
∀x ((P(x) → Q(x)) ∨ (Q(x) → P(x)))
38. ∃x(x > 1 → x/(x 2 + 1) < 1/3)
es verdadera. En palabras: Para toda x, si x es un entero, enton-
39. Escriba la negación de cada proposición en los ejercicios 33 al 38 ces x es positivo; o si x es positivo, entonces x es un entero. Por
en símbolos y en palabras. lo tanto, todos los enteros son positivos o todos los números
40. ¿El seudocódigo del ejemplo 1.3.7 podría escribirse como sigue? reales positivos son enteros.
51. Demuestre el Teorema 1.3.14, inciso b).