0% encontró este documento útil (0 votos)
73 vistas2 páginas

Guia1 AyT - Mod.A

Este documento presenta 64 problemas relacionados con lógica proposicional y demostración de teoremas. Los problemas cubren temas como determinar el valor de verdad de proposiciones, construir tablas de verdad, expresar enunciados simbólicos en lenguaje natural, y demostrar teoremas utilizando métodos como directo, contrarecíproco y reducción al absurdo.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
73 vistas2 páginas

Guia1 AyT - Mod.A

Este documento presenta 64 problemas relacionados con lógica proposicional y demostración de teoremas. Los problemas cubren temas como determinar el valor de verdad de proposiciones, construir tablas de verdad, expresar enunciados simbólicos en lenguaje natural, y demostrar teoremas utilizando métodos como directo, contrarecíproco y reducción al absurdo.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

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.

También podría gustarte