UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO

ASIGNATURA: ESTRUCTURAS DISCRETAS

SEMANA: 3 FECHA: 15-19 JUN 2020 PÁGINA: 1 de 6

2020-2021 PPA PROFESOR: SARA FRANCO CASTRO PARALELO: A

TAREA
SEMANA N° 2

Resolver los ejercicios y ubicar los resultados en la hoja de respuesta que se

encuentra al final del documento.

En los ejercicios 1 al 6, diga si la afirmación es una función proposicional. Para cada afirmación que
sea una función proposicional, dé un dominio de discurso.

1. (2n + 1)2 es un entero impar.

2. Seleccione un entero entre 1 y 10.

3. Sea x un número real.

4. La película ganó el premio de la Academia como mejor película en 1955.

5. 1 + 3 = 4.

6. Existe x tal que x < y (x, y números reales).

Sea P(n) la función proposicional “n divide a 77”. Escriba cada proposición en los ejercicios 7 al 11
en palabras y diga si es verdadera o falsa. El dominio de discurso es el conjunto de enteros
positivos.

7. P(11)

8. P(1)

9. P(3)

10. ∀n P(n)

11. ∃n P(n)

Sea P(x) la afirmación “x está en un curso de matemáticas”. El dominio de discurso es el conjunto

de todos los estudiantes. Escriba cada proposición en los ejercicios 12 al 17 en palabras.

12. ∀x P(x)

13. ∃x P(x)

14. ∀x ¬P(x)

15. ∃x ¬P(x)

Facultad de Ciencias de la Ingeniería | Ingeniería en Software

 UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO
ASIGNATURA: ESTRUCTURAS DISCRETAS

SEMANA: 3 FECHA: 15-19 JUN 2020 PÁGINA: 2 de 6

2020-2021 PPA PROFESOR: SARA FRANCO CASTRO PARALELO: A

16. ¬(∀x P(x))

17. ¬(∃x P(x))

18. Escriba la negación de cada proposición en los ejercicios 12 al 17 en símbolos y en palabras.

Sea P(x) la afirmación “x es un atleta profesional” y sea Q(x) la afirmación “x juega fútbol”. El
dominio de discurso es el conjunto de todas las personas. Escriba cada proposición en los
ejercicios 19 al 26 en palabras. Determine el valor de verdad de cada afirmación.

19. ∀x (P(x) → Q(x))

20. ∃x (P(x) → Q(x))

21. ∀x (Q(x) → P(x))

22. ∃x (Q(x) → P(x))

23. ∀x (P(x) ∨ Q(x))

24. ∃x (P(x) ∨ Q(x))

25. ∀x (P(x) ∧ Q(x))

26. ∃x (P(x) ∧ Q(x))

27. Escriba la negación de cada proposición en los ejercicios 19 al 26 en símbolos y en palabras.

Sea P(x)la afirmación “x es un contador” y sea Q(x) la afirmación “x tiene un Porsche”. Escriba en
símbolos y en palabras cada afirmación en los ejercicios 28 al 31.

28. Todos los contadores tienen un Porsche.

29. Algunos contadores tienen un Porsche.

30. Todos los dueños de Porsches son contadores.

31. Alguien que tiene un Porsche es contador.

32. Escriba la negación de cada proposición en los ejercicios 28 al 31 en símbolos y en palabras.

Determine el valor de verdad de cada afirmación en los ejercicios 33 al 38. El dominio de

discurso es el conjunto de números reales. Justifique sus respuestas.

33. ∀x(x2 > x)

34. ∃x(x2 > x)

Facultad de Ciencias de la Ingeniería | Ingeniería en Software

 UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO
ASIGNATURA: ESTRUCTURAS DISCRETAS

SEMANA: 3 FECHA: 15-19 JUN 2020 PÁGINA: 3 de 6

2020-2021 PPA PROFESOR: SARA FRANCO CASTRO PARALELO: A

35. ∀x(x > 1 → x2 > x)

36. ∃x(x > 1 → x2 > x)

37. ∀x(x > 1 → x/(x2 + 1) < 1/3)

38. ∃x(x > 1 → x/(x2 + 1) < 1/3)

39. Escriba la negación de cada proposición en los ejercicios 33 al 38 en símbolos y en palabras.

¿Cuál es el significado literal de cada afirmación en los ejercicios 40 al 48? ¿Cuál es el significado
deseado? Aclare cada afirmación expresándola con otras palabras y en símbolos.

40. De Querida Abby: Todos los hombres no engañan a sus esposas.

41. De San Antonio Express News: Todas las cosas viejas no envidian a las cosas de veinte.

42. Todos los 74 hospitales no entregan su reporte cada mes.

43. El economista Robert J. Samuelson: Todo problema ambiental no es una tragedia.

44. Comentario del concejal de Door County: Esto todavía es Door County y todos nosotros no
tenemos un título.

45. Título de una columna de Martha Stewart: Todas las pantallas de las lámparas no se pueden
limpiar.

46. Titular en el New York Times: Un mundo donde no todo es dulzura y luz.

47. Encabezado de una historia de subsidio a la vivienda: Todos no pueden pagar una casa.

48. De Newsweek: Las investigaciones formales son una buena práctica en las circunstancias
correctas, pero toda circunstancia no es correcta.

Facultad de Ciencias de la Ingeniería | Ingeniería en Software

 UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO
ASIGNATURA: ESTRUCTURAS DISCRETAS

SEMANA: 3 FECHA: 15-19 JUN 2020 PÁGINA: 4 de 6

2020-2021 PPA PROFESOR: SARA FRANCO CASTRO PARALELO: A

HOJA DE RESPUESTAS

PREGUNTA RESPUESTA
1 Es una función proposicional. El dominio de discurso podría ser todos los enteros.
2 No es una función proposicional.
3 Es una función proposicional. El dominio de discurso podría ser todos reales.
Es una función proposicional. El dominio de discurso es el Conjunto de todas las
4
películas.
5 No es una función proposicional.
Es una función proposicional. El dominio de discurso es Conjunto de números
6
reales.
7 11 divide a 77. Verdadero.
8 1 divide a 77. Verdadero.
9 3 divide a 77. Falso.
10 Todo entero positivo n.n divide a 77. Falso.
11 Algún entero positivo n.n divide a 77. Verdadero.
12 Todo estudiante está en un curso de matemáticas.
13 Algún estudiante está en un curso de matemáticas.
14 Todo estudiante no está en un curso de matemáticas.
15 Algún estudiante no está en un curso de matemáticas.
16 Algún estudiante no está en un curso de matemáticas.
17 Todo estudiante no está en un curso de matemáticas.
12.- ꓱx ¬ P(x). Algún estudiante no está en un curso de matemáticas.
13.- ꓯx ¬ P(x). Todo estudiante no está en un curso de matemáticas.
14.- ꓱx P(x). Algún estudiante está en un curso de matemáticas.
18
15.- ꓯx P(x). Todo estudiante está en un curso de matemáticas.
16.- ꓯx P(x). Todo estudiante está en un curso de matemáticas.
17.- ꓱx P(x). Algún estudiante está en un curso de matemáticas.
19 Todo atleta profesional juega fútbol. Falso.
20 Algún atleta profesional juega fútbol. Verdadero.
21 Todo jugador de fútbol es un atleta profesional. Falso.
22 Algún jugador de fútbol es un atleta profesional. Verdadero.
23 Todos son atletas profesionales o juegan fútbol. Falso.
24 Algunos son atletas profesionales o juegan futbol. Verdadero.
25 Todos son atletas profesionales y jugadores de fútbol. Falso.
26 Algunos son atletas profesionales y jugadores de fútbol. Verdadero.
19.- ꓱx (P(x)^ ¬ Q(x)). Alguien es un atleta profesional y no juega fútbol.
27
20.- ꓯx (P(x)^ ¬ Q(x)). Todos son atletas profesionales y no juegan fútbol.

Facultad de Ciencias de la Ingeniería | Ingeniería en Software

 UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO
ASIGNATURA: ESTRUCTURAS DISCRETAS

SEMANA: 3 FECHA: 15-19 JUN 2020 PÁGINA: 5 de 6

2020-2021 PPA PROFESOR: SARA FRANCO CASTRO PARALELO: A

PREGUNTA RESPUESTA
21.- ꓱx (Q(x)^ ¬ P(x)). Alguien juega fútbol y no es un atleta profesional. 22.-
ꓯx (Q(x)^ ¬ P(x)). Todos juegan fútbol y no son atletas profesionales.
23.- ꓱx (¬P(x)^ ¬Q(x)). Alguien no es un atleta profesional y no juega fútbol. 24.-
ꓯx (¬P(x)^ ¬Q(x)). Todos no son atletas profesionales y no juegan fútbol. 25.- ꓱx
(P(x) → ¬Q(x)). Algún atleta profesional no juega fútbol.
26.- ꓯx (P(x) → ¬Q(x)). Todo atleta profesional no juega fútbol.
28 ꓯx (P(x) → Q(x)). Todos los contadores tienen un Porsche.
29 ꓱx (P(x) ^ Q(x)). Algunos son contadores y tienen un Porsche.
30 ꓯx (Q(x) → P(x)). Todos los dueños de Porsches son contadores.
31 ꓱx (Q(x) ^ P(x)). Algunos son dueños de Porsches y son contadores.
28.- ꓱx (P(x) ^¬ Q(x)). Alguno es contador no es dueño de un Porsche.
29.- ꓯx (P(x) →¬ Q(x)). Todos los contadores no tienen un Porsche.
32
30.-ꓱx (Q(x) ^¬P(x)). Algunos son dueños de Porsches y no son contadores.
31.- ꓯx (Q(x) →¬ P(x)). Todos son dueños de Porsches y no son contadores.
33 Falso. Un contraejemplo es x=0.
34 Verdadero. El valor x=2 hace que (x2 > x) sea verdadera.
35 Verdadero. El valor x=2 hace que (x > 1 → x2 > x) sea verdadera.
36 Verdadero. El valor x=2 hace que (x > 1) → (x2 > x) sea verdadera.
37 Falso. Un contraejemplo es x=0. (x > 1 → x/(x2 + 1) < 1/3)
38 Verdadero. El valor x=2 hace que (x > 1 → x/(x2 + 1) < 1/3) sea verdadera.
33.- ꓱx (x2 ≤ x). Existe x tal que x2 ≤ x. 34.-
ꓯx (x2 ≤ x). Para todo x tal que x2 ≤ x
35.- ꓱx (x ≤ 1 → x2 ≤ x). Existe x tal que x ≤ 1 → x2 ≤ x.
39
36.- ꓯx (x ≤ 1 → x2 ≤ x). Para todo x tal que x ≤ 1 → x2 ≤ x.
37.- ꓱx (x ≤ 1 → x/ (x2 + 1) ≥ 1/3). Existe x tal que x ≤ 1 → x/ (x2 + 1) ≥ 1/3.
38.- ꓯx (x ≤ 1 → x/ (x2 + 1) ≥ 1/3). Para todo x tal que x ≤ 1 → x/(x2 + 1) ≥ 1/3.
El significado literal es: Ningún hombre engaña a su esposa. El significado deseado es:
Algún hombre no engaña a su esposa. Sea P(x) la afirmación “x es un hombre” y sea
40
Q (x) la afirmación “x engaña a su esposa”. En símbolos, la afirmación
aclarada es ꓱx (P(x) ^ ¬ Q (x)).
El significado literal es: Ningunas cosas viejas envidian a las cosas de veinte. El
significado deseado es: Algunas cosas viejas no envidian a las de veinte. Sea P(x) la
41
afirmación “x es cosas viejas” y Q(x) la afirmación “x es envidian a las cosas de
veinte”. En símbolos, la afirmación aclarada es ꓱx (P(x) ^ ¬ Q (x)).
El significado literal es: Ningún de los 74 hospitales entregan su reporte cada mes. El
significado deseado es: Algunos de los 74 hospitales no entregan su reporte cada mes.
42 Sea P(x) la afirmación “x es 74 hospitales” y Q(x) la afirmación es “x es entregan su
reporte cada mes”. En símbolos, la afirmación aclarada es ꓱx (P(x) ^
¬ Q (x)).

Facultad de Ciencias de la Ingeniería | Ingeniería en Software

 UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO
ASIGNATURA: ESTRUCTURAS DISCRETAS

SEMANA: 3 FECHA: 15-19 JUN 2020 PÁGINA: 6 de 6

2020-2021 PPA PROFESOR: SARA FRANCO CASTRO PARALELO: A

PREGUNTA RESPUESTA
El significado literal es: Ningún problema ambiental es una tragedia. El significado
deseado es: Algún problema ambiental no es una tragedia. Sea P(x) la afirmación “x
43
es un problema ambiental” y sea Q(x) la afirmación “x es una tragedia”. En
símbolos, la afirmación aclarada es ∃x (P(x) ^ ¬ Q (x)).
El significado literal es: Todos nosotros no tenemos un título. El significado deseado
44 es: No todos tenemos un título. Sea P(x) la afirmación “x es tenemos un
título”. En símbolos, la afirmación aclarada es ∃x¬ (P(x).
El significado literal es: Todas las pantallas de las lámparas se pueden limpiar. El
significado deseado es: Algunas pantallas de las lámparas no se pueden limpiar. Sea
45
P(x) la afirmación “x es las pantallas de las lámparas” y Q(x) la afirmación “x
es se pueden limpiar”. En símbolos, la afirmación aclarada es ∃x (P(x) ^ ¬ Q (x)).
El significado literal es: Todo no es dulzura y miel. El significado deseado es: No todo
46 es dulzura y miel. Sea P(x) la afirmación “x es dulzura y miel”. En símbolos, la
afirmación aclarada es ∃x¬ (P(x).
El significado literal es: Todos no pueden pagar una casa. El significado deseado es:
47 No todos pueden pagar una casa. Sea P(x) la afirmación “x es pagar una casa”.
En símbolos, la afirmación aclarada es ∃x¬ (P(x).
El significado literal es: Toda circunstancia no es correcta. El significado deseado es:
48 No toda circunstancia es correcta. Sea P(x) la afirmación “x es circunstancia es
correcta”. En símbolos, la afirmación aclarada es ∃x¬ (P(x).

Facultad de Ciencias de la Ingeniería | Ingeniería en Software