Universidad de Concepción Prof.: Ricardo Alzugaray H.

Depto. Ciencias Básicas Álgebra y Trigonometría Guía Nº1

Determinar el valor de verdad de las siguientes proposiciones, justificando su respuesta:

1. Si 5 < 3, entonces - 3 < - 5
2. No es verdad que, 2 + 2 = 4 ó 3 + 5 = 6
3. Es verdad que, 2 + 2  4 y 3 + 3 = 6
4. Si 3 < 5, entonces - 3 < - 5

Construir la tabla de verdad de cada una de las proposiciones siguientes:

5.  p   q
6. ( p  p)
7. p → ( p  q )
8. (p   q) → ( p  q)
9.  p  ( q → p)  (p   q) → (q v  p)
10.  p v (q →  r)  (p  r)   q
11. (p → q) → [(p ∨ ∼q) → (p ∧ q)]
12. . [(p ∨ q) ∧ r] → (p ∧ ∼q)
13. Utilizando la información dada, determinar el valor de verdad de r.
i. r → q es falsa
ii. q → ~r es falsa
iii. p → (q  ~r) es falsa
iv. ~ r  q es verdadera y ( p  q ) → s es falsa
v. ( r → p ) → ( p  ~q) es verdadera y q es verdadera.
En los problemas 14 a 18, escriba el recíproco y el contrarecíproco de cada uno de los condicionales
dados.
14. p → (q ∧ r)
15. “Si 2 + 2 = 5, entonces 2 + 4 = 8”.
16. “Si la Tierra es plana, entonces Julio César fue el primer presidente de Estados Unidos”.
17. “Si los cuadrados tienen tres lados, entonces los triángulos tienen cuatro lados”.
18. “Si un hexágono tiene seis lados, entonces la Luna es de queso”.

En los problemas 19 a 28, suponga que p: 7 < 9, q: El Sol es un astro frío y r: La temperatura está por
debajo de cero. Expresar verbalmente los siguientes enunciados simbólicos:
19. p ∨ q 24. [(p ∨ q) ∧ (q ∧ r)] → r
20. p ∧ q 25. (p ∧ q) ↔ r
21. ∼p → q 26. ∼(p ∨ r) ∨ q
22. p → ∼q 27. (p ∧ q) ∧ (q ∧ r)
23. (r ∧ p) → q 28. ∼q ↔ r

En los problemas 29 a 33, considere la proposición compuesta siguiente:

[(∼p ∧ q) ∨ (p ∨ r) → [(p ∨ ∼q) ∨ (p ∨ ∼r)]. Indique cuál es el valor de verdad de esta proposición para
cada uno de los casos dados.
29. p es falso, q es falso, r es falso.
30. p es falso, q es falso, r es verdadero.
31. p es verdadero, q es falso, r es verdadero.
32. p es verdadero, q es verdadero, r es falso.
33. p es verdadero, q es verdadero, r es verdadero.

Demostrar cada teorema siguiente:

34. Si p es una proposición cualquiera, entonces (p)  p
35. Si p es una proposición cualquiera, entonces p  p  p
36. Si p es una proposición cualquiera, entonces p  p  p
37. Si p y q son proposiciones cualesquiera, entonces p  q  q  p
38. Si p y q son proposiciones cualesquiera, entonces p  q  q  p
39. Si p, q y r son proposiciones cualesquiera, entonces (p  q)  r  p  (q  r)
40. Si p, q y r son proposiciones cualesquiera, entonces (p  q)  r  p  (q  r)
41. Si p, q y r son proposiciones cualesquiera, entonces p  (q  r)  (p  q)  (p  r)
42. Si p, q y r son proposiciones cualesquiera, entonces p  (q  r)  (p  q)  (p  r)
43. Si p y q son proposiciones cualesquiera, entonces (p  q)  p  q
44. Si p y q son proposiciones cualesquiera, entonces (p  q)  p  q
45. Si p y q son proposiciones cualesquiera, entonces (p → q)  p  q
46. Si p y q son proposiciones cualesquiera, entonces (p  q)  (p  q)
47. Si p y q son proposiciones cualesquiera, entonces (p  q)  (p   q)
48. Si p y q son proposiciones cualesquiera, entonces (p  q)  (p   q)
49. Si p y q son proposiciones cualesquiera, entonces p →  q  q →  p
50. Si p, q y r son proposiciones cualesquiera, entonces (p  q) → r  (p → r)  (q → r)
51. Si p, q y r son proposiciones cualesquiera, entonces (p → q) → r  (p   q )  r 
52. Si p y q son proposiciones cualesquiera, entonces (p → q)  (p  q )
Considere el teorema: “si en △ 𝐴𝐵𝐶 se tiene que 𝐴𝐵 = 𝐵𝐶, entonces 𝑚∢𝐴 = 𝑚∢𝐶 ”
53. Identificar hipótesis y tesis para este teorema.
54. Escriba el recíproco de este teorema.
55. Escriba el contra recíproco de este teorema.
56. Mencione explícitamente como se debe usar el método directo para demostrar este teorema.
57. Mencione explícitamente como se debe usar el método del contra recíproco para demostrar este
teorema.
58. Mencione explícitamente como se debe usar el método de reducción al absurdo para demostrar
este teorema.
Considere el teorema: “si f es una función derivable en a, entonces f es una función continua en a”:
59. Identificar hipótesis y tesis para este teorema.
60. Escriba el recíproco de este teorema.
61. Escriba el contra recíproco de este teorema.
62. Mencione explícitamente como se debe usar el método directo para demostrar este teorema.
63. Mencione explícitamente como se debe usar el método del contra recíproco para demostrar este
teorema.
64. Mencione explícitamente como se debe usar el método de reducción al absurdo para demostrar
este teorema.