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. p∧q
2. (p ∧ q) ∧ r
3. ¬(p → ¬q) ∧ (p ∧ ¬q)
4. (p ∧ q) ∨ (p ∨ ¬q)
5. p∧q∧r
6. ¬(p ∧ ¬q) ∧ (p ∧ ¬q)
7. ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q)
8. p∨q∧r
9. ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q)
10. p ∨ q ∧ ¬r
11. p∧q→r
12. p ∧ q → ¬r
13. p↔¬p
14. ¬ (p ∧ ¬q) ∧ (p ∧ ¬q)
15. ¬¬ p ∨ ¬¬ q
16. p ∨q
17. p↔qvr
18. [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ]
19. (p ∨ ¬q) → ( ¬p → ¬q)
20. (p ↔ ¬q) v (p ∨ ¬q)
21. (¬p ∧ q) ∨ (¬p → q)
22. ¬q ∨ ¬p
23. (p → q ∧ r) ↔ ¬(¬q v r) v ¬r
24. (¬q ∧ r) → ¬(¬q v r) v ¬r
25. (p → q ) ∧ r Æ ¬(p v r) v ¬r
26. (p → q) ∧ (q → r) → (p ∧ ¬r)
27. ¬p ↔ (q ∧ r) ∨ ¬(¬q v r)
28. [ (p v ¬ q) → (p → q)] → [(¬p → q) v ¬p] v ¬p
29. [ ¬(p v q) v (p → q)] → [(¬p → q) v ¬p]
30. (p → q) ∧ (q → r) → (p ∧ r)
31. (p ∧ q → r) → (p v r )

Ejercicios de lógica i Tablas de verdad

 Departamento de Filosofía www.ieslaasuncion.org

32. (p ↔ q) → (¬q ↔ ¬p) .

33. (p ∧ q → p v ¬r) → ¬(¬q v ¬r) ∧ r
34. (p ∧ q → p) → (q v r ) ∧ (¬p ∧ ¬r)
35. ¬p → (q v r) ∧ ¬s
36. (p ↔ q) v (p → q)
37. (p v q) ∧ (¬p → ¬q v r)
38. (¬p ∧ q → p v r) ↔ ¬(¬q v ¬r) ∧ r
39. [ (¬p v q) ∧ (r → s) ] v ¬t
40. (p ∧ q) v r Æ [ ¬r Æ (p ∧ q)]

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

42. (¬p ∨ q → p ∧ r) ↔ ¬(¬q v ¬r) v r

43. (p ↔ q ∧ ¬r) ↔ ¬( ¬q v ¬r) v ( r v s )

44. (p ∨ ¬q → p ∧ r ) ↔ [ ¬(¬ q v ¬ r) v ( r → ¬ q) ]
45. (¬p ↔ q) ∧ (p v ¬p → ¬q v r)
46. (¬p ↔ ¬r ∧ ¬p) ∨ ¬(¬q Æ ¬p ∨ r) → ¬r
47. (¬p ↔ q v ¬r) ∧ ¬(¬p ↔ q v ¬r)
48. p v q ↔ (p → q)
49. (p v q) → (p ↔ q) •
50. [ (p v q) → (q → p) ] v ¬p
51. (p ↔ q) v ( p→ q)
52. (p v q) → ( ¬p→ ¬q)
53. p ∧ ¬q → ¬p
54. (p v q) ∧ (q→p)] v ¬ p
55. [(A→B)/\(B→C)] →(A→C)
56. (p ↔ ¬q) ∧ q
57. ¬(¬p ∧ q → r) → (q ↔ s v t) ∧ (¬p ∧ ¬r)
58. ¬p ∧ q ↔ p
59. p v q ↔ (p → q)

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

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

Porque tenía demasiados problemas.

Ejercicios de lógica ii Tablas de verdad

Departamento de Filosofía www.ieslaasuncion.org

60. (¬p v q → p ∧ r) ↔ ¬(¬q ∧ ¬r) ∧ r

61. (p v q) ↔ (¬p →¬q v r)

62. p v q → (p ↔ q)
63. ¬p v (¬q ∧ r) → (¬r↔ p)

64. (p → ¬q) ∧ (r v ¬p ↔ ¬r)

65. ((p v ¬r Æ ¬p) ∧ ¬(¬q Æ r) ↔ ¬r

66. (p Æ q → r) → p ∧ r *

67. (p ↔ q ∧ ¬r ) ↔ ¬¬(¬q v ¬r) v(r v s)

68. (¬p ↔ q) ← (p v ¬p → ¬q v r)

69. (p v ¬q→ p ∧ r) ↔ [ ¬(¬q v ¬r) v (r→ ¬q) ] *

70. (p Æ q) ∧ (q Æ r) Æ(p Æ r)

71. (p ← q → p) → (q v r) ∧(¬q ∧ ¬r)

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

73. ¬(p ∧ ¬q → r) → ¬(q ↔ ¬r v q) ∧ ¬(¬ p ∧ ¬ ¬¬p)

74. (¬q → r) v (¬r ∧ ¬p ↔ ¬¬r) →p ∧ ¬¬r

• Sobre el catolicismo ¿Permite la Iglesia Católica que se case un hombre con la hermana de su viuda?

• Por un obús irresistible se entiende un proyectil que siempre da en el blanco y lo destruye, y por una guarnición
indestructible entendemos un puesto que nada ni nadie puede destruir de ninguna manera. Así que, ¿qué pasaría si
un obús irresistible da a una guarnición indestructible?

Ejercicios de lógica iii Tablas de verdad

Departamento de Filosofía www.ieslaasuncion.org

Descubra si las siguientes expresiones son EQUIVALENTES, es

decir, si tienen la misma tabla de verdad.

1.- (p ↔ q) v (p → q)
(p v q) ∧ (¬p →¬q)

2.- p ∧ ¬q → ¬p
(p ↔ ¬q) v q

3.- ¬p v q ↔ p
p∨q

Si p es V y q es F, determínese el valor de verdad de las siguientes

fórmulas:
1.- ¬p ← q .

2.- ¬p v ¬p

3.- ¬¬p v ¬¬q

4.- ¬q → ¬p

5.- p →¬(p v¬q)

6.- p v q →q

7.- ¬(¬q→p) v (¬p →q)

8.- (¬p v ¬q) ↔ (¬p v ¬q → p)

9.- (p → q) v ¬q → ¬p

10.- ¬¬¬p → ¬p

.
¿Qué es un niño complejo?
Uno con la madre real y el padre imaginario.

Ejercicios de lógica iv Tablas de verdad

Departamento de Filosofía www.ieslaasuncion.org

Complete las siguientes frases:

1. Si “p v q” es V y p es F, entonces “q” es ...

2. Si “¬q ∧ q” es V, entonces “p” es ...

3. Si “¬p ∧ ¬q” es F y “p” es F, entonces “q” es ...

4. Si “¬ (¬p v ¬q)” es V, entonces “p” es ...

5. Si “p v ¬q” es F, entonces “q” es ...

6. Si “p → q” es V y “p” es V, entonces “q” es ...

7. Si “p → q” es V y “¬q” es V, entonces “¬p” es ...

8. Si “p ↔ q” es F y “p” es V, entonces “q” es ...

9. Si “¬q → ¬p” es V y “q” es F, entonces “p” es ...

10. Si “p ∧ ¬q” es V, entonces “p → q” es ... .

.
Definiciones:
HARDWARE: Lo que puedes partir con un hacha.
SOFTWARE: Aquello que sólo puedes maldecir.

Ejercicios de lógica v Tablas de verdad