EJERCICIOS

DE DEDUCCIN NATURAL
(con reglas bsicas)

A continuacin se prueba una serie de argumentos usando slo las reglas bsicas
de CDN.

1) ({ p q, p r, (q s) t }, p (t r ))

1. p q
2. p r
3. (q s) t
4. p EC 2
5. r EC 2
6. q EI 1, 4
7. q EN 6
8. q s ID 7
9. t EI 3, 8
10. t r IC 9, 5
11. p (t r) IC 4, 10

2) ({ p q, (q r) s, p}, (p s) r )

1. p q
2. (q r) s
3. p
4. p q EE 1
5. p EN 3
6. q EI 4, 5
7. q r ID 6
8. (q r) s EE 2
9. s EI 8, 7
10. p s IC 5, 9
11. (p s) r ID 10

3) ({ p (q r), q s, (p s) t }, p t )

1. p (q r)
2. q s
3. (p s) t
4. q EC 2
5. q r ID 4
6. (q r) p EE 1
7. p EI 6, 5
8. s EC 2
9. p s IC 7, 8
10. (p s) t EE 3
11. t EI 10, 9
12. p t IC 7, 11
4) ({ p (q r), q (s t), r (t s), p }, s t )


1. p (q r)
2. q (s t)
3. r (t s)
4. p
5. q r EI 1, 4
6. q (s t) EE 2
7. q EC 5
8. s t EI 6, 7
9. r (t s) EE 3
10. r IC 5
11. t s EI 9, 10
12. s t IE 8, 11


5) ({ p (q r), (p q) s, r }, (s r) t )

1. p (q r)
2. (p q) s
3. r
4. p q
5. p EC 4
6. q EC 4
7. q r EI 1, 5
8. r EI 7, 6
9. r r IC 8, 3
10. (p q) IN 49
11. s EI 2, 10
12. s r IC 11, 3
13. (s r) t ID 12


6) ({ (p q) r, s q, (r s) t }, t )

1. (p q) r
2. s q
3. (r s) t
4. p
5. q EC 2
6. p q II 45
7. r EI 1, 6
8. s EC 2
9. r s IC 7, 8
10. (r s) t EE 3
11. t EI 10, 9

7) ({p (q r), p (s t), s t }, r )


1. p (q r)
2. p (s t)
3. s t
4. p
5. s t EI 2, 4
6. s EC 5
7. t EC 5
8. t s EE 3
9. s EI 8, 7
10. s s IC 9, 6
11. p IN 410
12. p (q r) EE 1
13. q r IE 12, 11
14. r EC 13


8) Justificar por reduccin al absurdo la correccin del siguiente argumento:
({p q, r (s t), (t s) (q p)}, r)


1. p q
2. r (s t)
3. (t s) (q p)
4. r
5. r (s t) EE 2
6. s t EI 5, 4
7. s
8. t s ID 7
9. q p EI 3, 8
10. t
11. t s ID 10
12. q p EI 3, 11
13. q p ED 6, 79, 1012
14. q EC 13
15. p EC 13
16. q p EE 1
17. p IE 16, 14
18. p p IC 15, 17
19. r IN 418
20. r EN 19





9) ({p q, r (q s), (s t) t}, p (r t) )


1. p q
2. r (q s)
3. (s t) t
4. p
5. p q EE 1
6. p
7. p p IC 4, 6
8. p IN 67
9. q EI 5, 8
10. q s EC 2
11. s EI 10, 9
12. s t ID 11
13. t EI 3, 12
14. r EC 2
15. r t IC 14, 13
16. p (r t) II 415



10) ({(p q) r, p s, (q s) (p t)}, r t)

1. (p q) r
2. p s
3. (q s) (p t)
4. r
5. r (p q) EE 1
6. p q EI 5, 4
7. p
8. p s EE 2
9. s EI 8, 7
10. q s ID 9
11. p t EI 3, 10
12. t EC 11
13. q
14. q s ID 13
15. p t EI 3, 14
16. t EC 15
17. t ED 6, 712, 1316
18. r t II 417






11) ({p (q r), p (q s), (r t) s}, s)

1. p (q r)
2. p (q s)
3. (r t) s
4. p EC 2
5. q s EC 2
6. q r EI 1, 4
7. q
8. s EI 5, 7
9. r
10. r t ID 9
11. s EI 3, 10
12. s ED 6, 78, 911




12) Justificar por reduccin al absurdo la correccin del argumento anterior:

1. p (q r)
2. p (q s)
3. (r t) s
4. s
5. p EC 2
7. q r EI 1, 5
8. q
9. q s EC 2
10. s EI 9, 8
11. r
12. r t ID 11
13. s EI 3, 12
14. s ED 7, 810, 1113
15. s s IC 14, 4
16. s IN 415
17. s EN 16
13) ({p q, (q r) s, (r s) t, t (q r)}, p t)

1. p q
2. (q r) s
3. (r s) t
4. t (q r)
5. p
6. p q EE 1
7. q EI 6, 5
8. q r ID 7
9. s EI 2, 8
10. r s ID 9
11. t EI 3, 10
12. p t II 511
13. t
14. t (q r) EE 4
15. q r EI 14, 13
16. q EC 15
17. q p EE 1
18. p EI 17, 16
19. t p II 1318
20. p t IE 12, 19



14) ({p (q r), r s, (q t) s)}, p (s t) )

1. p (q r)
2. r s
3. (q t) s
4. p
5. p (q r) EE 1
6. q r EI 5, 4
7. q
8. q t ID 7
9. s EI 3, 8
10. r
11. s EI 2, 10
12. s ED 6, 79, 1011
13. s t ID 12
14. p (s t) II 413