Sea P(n) la funcion proposicional "n divide a 77".
Escriba cada proposicon en los ejericios 7
al 11 en palabras y diga si es verdadera o falsa. El dominio de discurso es el conjunto de
enteros positivos.
9. P(3)
R/
77 2
= 25 +
3 3
3 no divide a 77
La proposicion es falsa
11. ∃n P(n)
R/
Sea n = 7
77
= 11
7
Existe un entero positivo que divide a 77
La proposicion es verdadera
Sea P(x) laa afirmacion "x es un atleta profesional" y sea Q(x) la afirmacion "x juega futbol".
El dominio de discurso es el conjunto de todas las personas Escriba cada proposicion en los
ejericios 19 al 26 en palabras. Determine el valor de verdad de cada afirmacion.
19. ∀x (P(x) ⟹ Q(x))
R/ Todo atleta profesional es un jugador de futbol. La afirmacion es falsa, un atelata
profesional puede ser de otro deporte, no solo futbol.
21. ∀x (Q(x) ⟹ P(x))
R/ Todo jugador de futbol es un atleta profesional. La afirmacion es verdadera, pues alguien
que se dedica a jugar futbol para vivir es un tipo de atleta profesional.
Sea P(x) la afirmacion "x es un contador" y sea Q(x) la afirmacion "x tene un Porsche".
Escriba en simbolos y en palabras cada afirmacion en los ejercicios 28 al 31.
30. Todos los dueños de Porsches son contadores
R/
∀x (Q(x) ⟹ P(x))
31. Alguien que tiene un Porsche es contador
R/
∀x (Q(x) ⟹ P(x))
Determine el valor de verdad de cada afirmacion en los ejercicio 33 al 38. El dominio de
discurso es el conjunto de numeros reales. Justifique sus respuestas.
35.∀x x > 1 ⟹ x 2 > x
R/
x>1
x*x > 1*x
x2 > x
La afirmacion es verdadera
x 1
38.∃x x > 1 ⟹ <
x2 + 1 3
R/
Sea x = 2
2 2 1
= ≮
(2) + 1 5 3
2
La afirmacion es falsa
39. Escriba la negacion de cada proposicion en los ejercicios 33 al 38 en simbolos y en
palabras.
R/
• ∀x x 2 < x
∀x x 2 ⩽ x - El cuadrado de un numero real siempre sera igual o menor que el
mismo numero.
• ∃x x 2 > x
∄x x 2 > x - El cuadrado de ningun numero real es mayor que el mismo numero.
• ∀x x > 1 ⟹ x 2 > x
∀x x > 1 ⟹ x 2 ⩽ x - El cuadrado de numero mayor que uno siempre sera menor
o igual que el mismo numero.
• ∃x x > 1 ⟹ x 2 > x
∄x x > 1 ⟹ x 2 > x - No existe numero mayor de uno tal que el siendo mayor
que uno, el cuadrado del numero es mayor o igual que el mismo numero.
x 1
• ∀x x > 1 ⟹ <
x2 + 1 3
x 1
∀x x > 1 ⟹ ⩾ - Para cualquier numero mayor que uno se tiene
x2 + 1 3
x 1
⩾ .
x2 + 1 3
x 1
• ∃x x > 1 ⟹ <
x2 + 1 3
x 1
∄x x > 1 ⟹ < - No exste un numero real mayor que uno tal que
x2 + 1 3
x 1
< .
x2 + 1 3
¿Cual es el singificado literal de cada aafirmacion en los ejercicios 41 a 49? ¿Cual es el
significado deseado? Aclare cada afirmacion expresandola con otras palabras y en simbolos.
44. El economista Robert J. Saamuelson: Todo problema ambienta no es una tragedia.
R/
Sea P(x) la afirmacion "x es un problema ambiental"
Sea Q(x) la afirmacion "x es una tragedia"
∀x (P(x) ⟹ ¬Q(x))
La afirmacion tambien se puede reescribir de forma mas entendible: Un problema ambiental
no es una tragedia.
