Está en la página 1de 7

Deducción Natural.

Soluciones

(Las aclaraciones que os escribo por aquí son para facilitar vuestra comprensión de la
Deducción Natural; no necesitáis escribirlas en el examen)

1.-
pq
pr
r

1. pq premisa
2. pr premisa
3. p RE  1
4. r RE  2,3

2.-
p  (q  r)
p
r  (s  t)
t
 (q  s)

Deducción por reducción al absurdo:

1 p  (q  r) premisa
2 p premisa
3 r  (s  t) premisa
4 t premisa
5 qs supuesto (reducción al absurdo)
6 q RE  5
7 s RE  5
8 qr MP 1,2
9 r MP 6,8
10 s  t MP 3,9
11 t MP 7,10
12 t   t RI  4,11
13  (q  s) RI  5, 12
Deducción directa y explicación de la aplicación de la RE :

1 p  (q  r) premisa
2 p premisa
3 r  (s  t) premisa
4 t premisa
5 qr MP 1,2
6 qr Interdef , 5
7 q Supuesto (primer caso de 6)
8 qs RI 7
9 r Supuesto (segundo caso de 6)
10 s  t MP 3,9
11  s  t Interdef. , 10
12  s IA 4,11
13  q   s RI 12

En este momento deductivo tenemos dos supuestos abiertos. Los vamos a cerrar
cuando apliquemos la regla RE en 14. 7 cerrará con 8 no gracias a la regla aplicada en
8, sino gracias a la regla que vamos a aplicar en 14. Igualmente con 9. Las reglas
aplicadas en 8 y en 13 no cierran los supuestos 7 y 9, sino que son las reglas que nos
han servido para obtener  q   s, que es la fórmula común obtenida tras examinar los
dos casos de la disyunción presente en 6. Ahora que hemos llegado a la misma fórmula
a partir de los dos supuestos, podemos aplicar RE y afirmar dicha fórmula ya libre de
supuestos:

1 p  (q  r) premisa
2 p premisa
3 r  (s  t) premisa
4 t premisa
5 qr MP 1,2
6 qr Interdef , 5
7 q Supuesto (primer caso de 6)
8 qs RI 7
9 r Supuesto (segundo caso de 6)
10 s  t MP 3,9
11  s  t Interdef. , 10
12  s IA 4,11
13  q   s RI 12
14  q   s RE 6, 7-8, 9-13
15  (q  s) Interdef , 14

3.-
pq
qr
r  s
(p  s)  (q  p)
p
q
Deducción por reducción al absurdo:

1. pq premisa
2. qr premisa
3. r  s premisa
4. (p  s)  (q  p) premisa
5. p premisa
6. q supuesto (objetivo: contradicción para aplicar RI¬)
7. r MP 2,6
8. s MP 3,7
9. p  s Carga de premisas 8
10. qp MP 4,9
11. p MP 6,10
12. p  p RI  5,11
13. q RI 6, 12

Deducción directa:

1. pq premisa
2. qr premisa
3. r  s premisa
4. (p  s)  (q  p) premisa
5. p premisa
6. pr transitiva 1,2
7 p  s transitiva 3,6
8. qp MP 4,7
9. q MT 5,8

4.-
p
qp
rq
(s  r)  s

1. p premisa
2. qp premisa
3. rq premisa
4. sr supuesto (antecedente de conclusión. Objetivo: s)
5. (s  r)  (r  s) Interdef , 4
6. q MT 1,2
7. r MT3,6
8. sr RE 5
9. s MT 7,8
10. (sr)  s RI 4,9
5.-
p  (q  r)
rs
p
(q  r)  s

1. p  (q  r) premisa
2. rs premisa
3. p premisa
4. qr supuesto (antecedente de la conclusión. Objetivo: s)
5. qr MP
6. qs Transitiva 2,5
7. q RE 4
8. s MP 6,7
9. (q  r )  s RI 4,8

6.-
pq
p  q
p  p
q

1. pq premisa
2. p  q premisa
3. p  p premisa
4. p supuesto (primer caso de 3. Objetivo: q)
5. q MP 1,4
6. p supuesto (segundo caso de 3. Objetivo: q)
7. q MP 2,6
8. q RE 3, 4-5, 6-7

7.-
p  p
(p  q)  (q  r)
(p  s)  (s  r)
r

1. p  p premisa
2. (p  q)  (q  r) premisa
3. (p  s)  (s  r) premisa
4. pq RE 2
5. qr RE 2
6. p  s RE 3
7. sr RE 3
8. p supuesto (primer caso de 1. Objetivo: r)
9. q MP4,8
10. r MP 5,9
11. p supuesto (segundo caso de 1. Objetivo: r)
12. s MP 6,11
13. r MP 7,12
14. r RE 1, 8-10, 11-13

Al aplicar RE debemos indicar el número de la línea donde está la disyunción (1) y los
números donde empieza y termina cada subderivación (8-10 y 11-13). La regla aplicada
en 10 (MP) no autoriza a cerrar 8; ni la aplicada en 13 (MP) autoriza a cerrar 11. Es la
regla aplicada en 14 (RE) la que nos autoriza a cerrar los dos supuestos 8 y 11 a la vez.

8.-
pq
p  (r  s)
q  (r  s)
 (r  s)
 (r  s)

1. pq premisa
2. p  (r  s) premisa
3. q  (r  s) premisa
4.  (r  s) premisa
5. q MT 3,4
6. p IA 1,5
9. r  s MP 2,6
8.  (r  s) Interdef , 9

9.-
p  (q  r)
(r  s)
p
(q  s)

1. p  (q  r) premisa
2. rs premisa
3. p premisa
4. qr MP 1,3
5. qs transitiva 2,4
10.-
(p  q)  (r   q)
pr
s

1. (p  q)  (r   q) premisa
2. pr premisa
3. pq RE  1
4. rq RE  1
5. p RE  2
6. r RE  2
7. q MP 3,5
8. q MP 4,6
9. s ECQ 7,8

11.
(p  q)  (r  s)
tp
uq
r
t  u

Deducción mediante reducción al absurdo:

1 (p  q)  (r  s) premisa
2 tp premisa
3 uq premisa
4 r premisa
5  (t  u) supuesto (objetivo: contradicción)
6 tu Interdef , 5
7 t RE 6
8 u RE 6
9 p MP 2,7
10 q MP 3,8
11 p  q RI 9,10
12 r  s MP 1,11
13 r RE 12
14 r  r RI 4,13
15   (t  u) RI 5
16 t  u RE 15
Deducción mediante reducción al absurdo del consecuente del condicional:

1 (p  q)  (r  s) premisa
2 tp premisa
3 uq premisa
4 r premisa
5 t supuesto (antecedente en la conclusión)
6 u supuesto (objetivo: una contradicción para afirmar u)
7 q MP 3,6
8 p MP 2,5
9 pq RI  7,8
10 r  s MP 1,9
11 r RE  10
12 r  r RI  4,11
13 u RI  6, 12
14 t  u RI  5,13

Deducción directa:

1 (p  q)  (r  s) premisa
2 tp premisa
3 uq premisa
4 r premisa
5 r  s RI 4
6  (r  s) Interdef , 5
7  (p  q) MT 1,6
8 p  q Interdef , 7
9 p supuesto (primer caso de 8)
10 t MT 2,9
11 t  u RI 10
12 q supuesto (segundo caso de 8)
13 u MT 3,12
14 t  u RI 13
15 t  u RE , 9-11, 12-14
16 t  u Interdef , 15