Deduccin natural

Diego Tajer
April 19, 2013

1 Ejercicios con I, E, I, E
1. p, q ` q p

2. p, q, r ` q (p r)

3. p (q r) ` r p

4. p (q r), p, q ` r

5. p (q r), r s, p ` s

2 Ejercicios con I, E, I, E
1. p, q ` q p

2. p, q, r ` q (p r)

3. p (q r) ` r p

4. p (q r), p, q ` r

5. p (q r), r s, p ` s

3 Ejercicios con I, I
1. ` p (q r) ((p q) r)

2. ` (p (p q)) (p q)

3. ` p p

1
 4. ` (p q) (p q)

5. ` p q) (q p)

6. p q ` q p

4 Ejercicios con E
1. p (p q) ` p

2. ` (p q) ((p q) q)

3. p (q r) ` (p q) r

5 Ejercicios con DN,EFSQ

1. ` ((p q) p) p

2. ` (p q) (p q)

3. ` (p q) (p q)

6 Ejercicios variados
1. p (q r) ` (p q) (p r)

2. (p q) (p r) ` p (q r)

3. (p (q r)) ((p q) (p r))

4. p q, r s ` (p r) (q s)

5. p p, p p `

6. p (q r) ` (p q) (p r)

7. p ` p p

8. p p ` p

9. p ` p (p q)

10. p (p q) ` p

2
11. p q, q ` p

12. ` p p

13. p (q r) ` (p q) r

14. (p q) r ` p (q r)

15. p q ` (p q)

16. (p q) ` p q

17. p q ` p q

18. p q ` p q

19. p q ` (p q)

20. (p q) ` p q

21. ` (p q) (p q)

22. ` (p q) (p q)

23. ` (p q) (p q)