Tablas De Verdad

Departamento de Filosofía

www.ieslaasuncion.org

Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradicción, una tautología o una proposición empírica.
1. 2. 3.4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. p∧q (p ∧ q) ∧ r ¬(p → ¬q) ∧ (p ∧ ¬q) (p ∧ q) ∨ (p ∨ ¬q) p∧q∧r ¬(p ∧ ¬q) ∧ (p ∧ ¬q) ¬¬(¬p ∧¬q) ∨ (p ∧ ¬q) p∨q∧r ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q) p ∨ q ∧ ¬r p∧q→r p ∧ q → ¬r p↔¬p ¬ (p ∧ ¬q) ∧ (p ∧ ¬q) ¬¬ p ∨ ¬¬ q p ∨q p↔qvr [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ] (p ∨ ¬q) → ( ¬p → ¬q) (p ↔ ¬q) v (p ∨¬q) (¬p ∧ q) ∨ (¬p → q) ¬q ∨ ¬p (p → q ∧ r) ↔ ¬(¬q v r) v ¬r (¬q ∧ r) → ¬(¬q v r) v ¬r (p → q ) ∧ r ¬(p v r) v ¬r (p → q) ∧ (q → r) → (p ∧ ¬r) ¬p ↔ (q ∧ r) ∨ ¬(¬q v r) [ (p v ¬ q) → (p → q)] → [(¬p → q)v ¬p] v ¬p [ ¬(p v q) v (p → q)] → [(¬p → q) v ¬p] (p → q) ∧ (q → r) → (p ∧ r) (p ∧ q → r) → (p v r )

Ejercicios de lógica

i

Tablas de verdad

Departamento de Filosofíawww.ieslaasuncion.org

32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57. 58. 59.

(p ↔ q) → (¬q ↔ ¬p) . (p ∧ q → p v ¬r) → ¬(¬q v ¬r) ∧ r (p ∧ q → p) → (q v r) ∧ (¬p ∧ ¬r) ¬p → (q v r) ∧ ¬s (p ↔ q) v (p → q) (p v q) ∧ (¬p → ¬q v r) (¬p ∧ q → p v r) ↔ ¬(¬q v ¬r) ∧ r [ (¬p v q) ∧ (r → s) ] v ¬t (p ∧ q) v r [ ¬r (p ∧ q)]

[ (¬p v q ) → r ] ↔ [ (p ∧ ¬q) v r] (¬p ∨ q → p ∧ r) ↔ ¬(¬q v ¬r) v r (p ↔ q ∧ ¬r) ↔ ¬( ¬q v ¬r) v ( r v s ) (p ∨ ¬q → p ∧ r ) ↔ [ ¬(¬ q v ¬ r) v ( r → ¬ q) ] (¬p ↔ q) ∧ (p v ¬p → ¬q v r) (¬p ↔ ¬r ∧ ¬p) p v q ↔ (p → q) (p v q) → (p ↔q) • [ (p v q) → (q → p) ] v ¬p (p ↔ q) v ( p→ q) (p v q) → ( ¬p→ ¬q) p ∧ ¬q → ¬p (p v q) ∧ (q→p)] v ¬ p [(A→B)/\(B→C)] →(A→C) (p ↔ ¬q) ∧ q ¬(¬p ∧ q → r) → (q ↔ s v t) ∧ (¬p ∧ ¬r) ¬p ∧ q ↔ p p v q ↔(p → q)
.

∨

¬(¬q

¬p ∨ r) → ¬r

(¬p ↔ q v ¬r) ∧ ¬(¬p ↔ q v ¬r)

¿Qué le dijo un vector a otro? ¿Oye, tienes un momento?.

•

¿Por qué se suicidó el libro de matemáticas? Porque...