Gua 3

Un enfoque sinttico para la lgica

proposicional: Deduccin Natural
Comisin Picollo-Tajer

1.

Identicacin de reglas

En las siguientes derivaciones, indique qu reglas o supuestos se aplicaron en

cada paso, y en base a qu pasos anteriores:
(a)
1. A B

premisa

2. B C

premisa

3. A
4. B
5. C
6. A C
(b)
1. A (B C)

premisa

2. B
3. A
1

4. B C
5. C
6. A C
7. B (A C)
(c)
1. A

premisa

2. B
3. A
4. B A
(d)
1. A B

premisa

2. A
3. B
4. B A
(e)
1. A B

premisa

2. A
3. B A
4. A (B A)
5. B
6. B A
7. B (B A)
8. (B A)
En cada caso, identicar qu regla derivada se ha probado.
2

2.

Derivaciones
Pruebe que:
1. A (B C) (A B) (A C)
2. (A B) (A C) A (B C)
3. A A A

4. A A A
5. A A (A B)
6. A (A B) A
7. {A B, B} A
8. A A
9. A (B C) (A B) C
10. (A B) C A (B C)
11. A B (A B)
12. (A B) A B
13. A B A B
14. A B A B
15. A B (A B)
16. (A B) A B
17. (A B) (A B)
18. (A B) (A B)
19. (A B) (A B)
20. (A B) (A B)
21. {r (s q), (s w) p, } r q
22. {(r (s t)) w, r, (s t), (w p)} p
23. {(r w) (q t), w p, t (m s)} q (s r)
3