17

B/ EJERCICIOS DE DEDUCCIÓN

1) p → q, q → r, p ⎮ r
2) p ∧ q → r, r→ s, p ∧ q ⎮ s
Modus Ponens

3) p ∨ q → r, r → s ∧ t, p ∨ q ⎮ s ∧ t
4) p → q, p, q → r, r → s ⎮ s
5) p → q ∧ r, q ∧ r → s, s → t, p ⎮ t
6) ¬r, (¬p ∨ ¬q) → ( ¬r → ¬s), ¬p ∨ ¬q ⎮ ¬s
7) r ∨ s, p → ¬q ∨ r, (p → ¬q ∨ r) → (r ∨ s → t ∧ ¬s) ⎮ t ∧ ¬s
8) p → q, q → r ⎮ p → r
9) p → q, q → r ∧ t, r ∧ t → s, s → t ⎮ p → t
Teorema de
Deducción

10) p → q ∧ r, q ∧ r → s ∨ t, s ∨ t → (w → r) ⎮ p → (w → r)
11) p → q ∧ r, q ∧ r → s ∨ t, s ∨ t → w ∧ m ⎮ p → w ∧ m
12) p ∧ q → r, r → s ∧ t, s ∧ t → w ⎮ p ∧ q → w
13) ¬p → (q → r ∨ s) ⎮ q → (¬p → r ∨ s)
14) p → (q → (r → s)) ⎮ q → (r → (p → s))
15) p → q, q → r ∧ s, p ∧ r ⎮ s
Simplificación

16) p → q ∧ r, r → s ∧ t ⎮ p → t
17) p → q ∧ r, r → s ∧ t, p ∧ s ⎮ t
18) p ∧ q → (p → r ∧ s), t ∧ (p ∧ q) ⎮ s
19) ¬¬p ∧ (¬¬q → t ∧ ¬s), ¬¬p → ¬¬q ∧ ¬¬r ⎮ ¬s
20) p → q ∧ r, q ∧ r → s ∨ t, s ∨ t → w, p ⎮ p ∧ w
21) p → q ∧ r, p, p → s ∧ t ⎮ q ∧ s
Producto

22) p ∧ q → r, p, q, q → s ⎮ r ∧ s
23) p → (q → r) ∧ (r → ¬s), (¬r ∨ s) ∧ (p ∧ (¬q → t)) ⎮ (¬q → t) ∧ (r → ¬s)
24) (p → ¬q) → (¬s → t), ¬r → ¬p, (r → ¬t) ∧ (p → ¬q) ⎮ (¬s → t) ∧ (¬r → ¬ p)
25) r ∧ t → ¬q, r ∧ t ⎮ ¬q ∨ (¬r → t)
26) r → s, p ∧ r ⎮ (q ∧ p) ∨ s
Adición

27) p ∧ q → r ∧ s, q ⎮ p → s ∨ t
28) p ∨ q → r, p ∧ s ⎮ r ∨ t
29) r → p ∧ q, p ∧ m → s, q → m, r ∧ t ⎮ s ∨ n
30) p ∨ ¬q → (q ∨ r) ∧ (¬s ∨ ¬t), q → s, r → s ⎮ p → s
31) p ∧ q → r ∨ s, p ∧ (r → t), q ∧ (s → t) ⎮ t
32) r → p ∨ q, p → s, q → m, r ∧ t ⎮ s ∨ m
Prueba por casos

33) p ∨ q, p → r, r → s, q → t, t → s ⎮ s ∨ m
34) p ∨ q → r, r ∨ t → s ∧ m ⎮ p → s ∨ n
35) p ∧ q → r ∨ s, p → q, p ∧ (r → t ∧ m), s → n ∧o ⎮ t ∨ n
36) p ∧ (q ∨ r), q ∧ p → s, p ∨ r → t ⎮ s ∨ t
37) p ∨ q → r ∨ s, r → t, s → m ∧ n ⎮ p → t ∨ m
38) p → s, q → t, s ∧ t → r ⎮ p → (q → r)
39) q ∨ r, q → p ∧ s, r → m ∧ t ⎮ m ∨ s
40) p ∧ ¬¬q ⎮ q
Doble Negación

41) ¬¬s ∧ ¬¬t ⎮ s ∧ t

42) p ∨ q → ¬¬r, ¬¬q ∧ ¬¬s ⎮ r ∨ t
43) ¬¬(p → ¬¬q), p ⎮ (p ∧ q) ∨ s
44) p → q, q ∨ r → ¬¬(r ∧ s), p ∧ s ⎮ r ∧ s
45) p → (q → r), p → ¬¬q ⎮ p ∧ t → r
Abs 46) p → ¬q, ¬q → r, ¬r ⎮ ¬p
 18
Reducción al Absurdo

47) p → ¬(q ∧ r) ⎮ q ∧ r → ¬p
48) p ∨ s → ¬(q ∧ r), t → w ∨ m, w → p, m → s, ¬(q ∧ r) → ¬t ⎮ ¬t
49) p ∧ q → r ∧ s ⎮ ¬(r ∧ s) → ¬(p ∧ q)
50) p ∧ q → ¬r, q ∧ t ⎮ r → ¬p
51) p → ¬q ∧ r, r → q ⎮ p → s

Ø ESTRATEGIAS DE DEDUCCIÓN MEDIANTE REGLAS BÁSICAS

a) Principio de economía.
52) p ∧ (q → (p → s)), p → q ∧ r ⎮ p → s

b) Aplicación de las reglas que no introducen supuestos subsidiarios, salvo en la Prueba de

Casos.
53) p → q, q ∨ r → s, s → (t → m), p ∧ ¬¬t ⎮ m
54) p → (q → r ∧ (s ∨ t)), p ∧ (s → m), q ∧ (t → h ∧ n) ⎮ m ∨ h

c) Aplicación del Teorema de Deducción.

55) p ∧ q → r ∧ s, s → q ∧ t, s ∧ t, ⎮ p → q ∧ r
56) q → s, r → s ∧ t ⎮ p → (q ∨ r → s)

d) Aplicación de la reducción al Absurdo.

57) ¬p → q, ¬p → ¬q ∧ s ⎮ p
58) p ∨ (q ∧ r), t ∨ q → ¬(p → t) ⎮ ¬(p → t)

e) Derivación sin supuestos iniciales.

59) ⎮ (p → q) → [(q → r) → (p → r)]
60) ⎮ ¬(p ∧ ¬p)

f) Combinación de estrategias.
61) p ∧ q → (r → s), ¬s ∧ r ⎮ p → ¬q
62) p → q ∨ r, q → r, r → s ⎮ p → s
63) p → ¬t ∧ s, s ∨ r → t ⎮ ¬p
64) ⎮ ¬q → ¬(p ∧ q)
65) t → p ∨ q, p → m ∧ s, q → ¬m, s ∨ ¬m → ¬(p ∨ q) ⎮ ¬t
66) t → p ∨ q, p → n ∧ s, q → ¬n ⎮ t → s ∨ ¬n
67) ⎮ (p ∧ q) ∨ (r ∧ s) → [(p ∨ r) ∧ (p ∨ s)] ∧ [(q ∨ r) ∧ (q ∨ s)]
68) p → m ∨ t, m → r, t → r ∧ s, q → t ∧ r ⎮ p ∨ q → r
69) p → q, m → r ∨ s, r → ¬q, s → ¬q ∧ t ⎮ ¬(p ∧ m)
70) ⎮ (p → q) ∧ (q → r) → (p → r)
71) ⎮ (p → q) → (p ∧ r → q ∧ r)
72) p ∨ ¬q → r ∨ m, (r → t ∨ s) ∧ (n → s), m ∧ ¬r → n ⎮ ¬p → (¬(q ∨ r) → s ∨ t)
73) ⎮ (p → q) → [(p → r) → (p → q ∧ r)]
74) p → q ∧ r, ¬p → ¬s, ¬s → r ⎮ r
75) (p ∧ q → t) ∧ ¬(t ∨ n), r ∨ s → t ∧ m ⎮ p → (q ∨ r → s)
76) ⎮ (p → r) → [(q → r) → (p ∨ q → r)]
77) (p → s) ∧ (q → t), (s ∨ t → m) ∧ (r ∨ n → ¬m) ⎮ p ∨ q → ¬r
78) p ∨ (q ∨ r) ⎮ q ∨ (p ∨ r)
 19

Ø DEDUCCIÓN DE ENUNCIADOS MEDIANTE REGLAS DERIVADAS

a) Reglas derivadas de negación: Modus Tollens e Introducción de doble negación.

79) p → ¬q, q ⎮ ¬p
80) ¬p → q, ¬q ⎮ p
81) p → q ⎮ ¬q → ¬p
82) q → r ⎮ (¬q → ¬p) → (p → r)

b) Reglas derivadas de coimplicación: Introducción y eliminación del coimplicador.

83) p ↔ q ⎮ q ↔ p
84) p, p ↔ q ⎮ q
85) p ↔ q, q ↔ r ⎮ p ↔ r
86) (p ∧ q) ↔ p ⎮ p → q
87) p ∧ (p ↔ q) ⎮ p ∧ q
88) q, p ↔ q ⎮ p
89) p → q, q → p ⎮ p ↔ q
90) p ↔ q ⎮ ¬p ↔ ¬q
91) ¬p ↔ ¬q ⎮ p ↔ q
92) (p ∨ q) ↔ p ⎮ q → p
93) p ↔ ¬q, q ↔ ¬r ⎮ p ↔ r

• 94) (p ∧ q) → r ⎮⎮ p → (q → r)
• 95) p → (q ∧ r) ⎮⎮ (p → q) ∧ (p → r)
• 96) p ↔ q ⎮⎮ ¬p ↔ ¬q
• 97) p ∨ (p ∧ q) ⎮⎮ p
• 98) p ∨ p ⎮⎮ p
• 99) p, ¬(p ∧ q) ⎮ ¬q
• 100) p → q ⎮⎮ ¬(p ∧ ¬q)
• 101) p ∨ q ⎮⎮ ¬(¬p ∧ ¬q)
• 102) p ∧ (q ∨ r) ⎮⎮ (p ∧ q) ∨ (p ∧ r)
• 103) p ∨ (q ∧ r) ⎮⎮ (p ∨ q) ∧ (p ∨ r)
• 104) p ∧ q ⎮⎮ ¬(p → ¬q)