LÓGICA I – FaHCE – UNLP Prof.

Bruno Sbrancia

DEDUCCIÓN NATURAL PROPOSICIONAL TP 1. (SOLUCIONES)

1. p  r, r  q⊢ q  p

1) p  r sup.
2) r  q sup.
3) r e1
4) q e  2, 3
5) p e1
6) q  p i  4, 5

2. p  r, r  (q  s), s  t ⊢ t

1) p  r sup.
2) r  (q  s) sup.
3) s  t sup.
4) r e1
5) q  s e  2, 4
6) s e5
7) t e  3, 6

3. t  (p  r), r  (q  s), s  (r  t), r ⊢ p

1) t  (p  r) sup.
2) r  (q  s) sup.
3) s  (r  t) sup.
4) r sup.
5) q  s e  2, 4
6) s e5
7) r  t e  3, 6
8) t e  7, 4
9) p  r e  1, 8
10) p e9

4. (p  q)  (p  r)⊢ p  (q  r)

1) (p  q)  (p  r) sup.
2) p sup. 
3) p  q e1
4) q e  3, 2
5) p  r e1
6) r e  5, 2
7) q  r i  4, 6
8) p  (q  r) i
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

5. p  (q  r) ⊢ (p  q)  (p  r)

1) p  (q  r) sup.
2) p sup. 
3) q  r e  1, 2
4) q e3
5) p  q i
6) p sup. 
7) q  r e  1, 6
8) r e7
9) p  r i
10) (p  q)  (p  r) i  5, 9

6. p  q, p  (q  r) ⊢ p  r

1) p  q sup.
2) p  (q  r) sup.
3) p sup. 
4) q  r e  2, 3
5) q e  1, 3
6) r e  4, 5
7) p  r i

7. (p  q)  r, q ⊢ r  t

1) (p  q)  r sup.
2) q sup.
3) p  q i2
4) r e  1, 3
5) r  t i4

8. p  (q  r), (p  r)  (s  t) ⊢ s

1) p  (q  r) sup.
2) (p  r)  (s  t) sup.
3) p sup. 
4) p  r i3
5) s  t e  2, 4
6) s e5
7) p  s i
8) q  r sup. 
9) r e8
10) p  r i9
11) s  t e  2, 10
12) s e  11
13) (q  r)  s I
14) s e  1, 7, 13
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

9. p  (q  r) ⊢ (p  q)  (p  r)

1) p  (q  r) sup.
2) p sup. 
3) p  q i2
4) p  r i2
5) (p  q)  (p  r) i  3,4
6) p  ((p  q)  (p  r)) i
7) q  r sup. 
8) q e7
9) p  q i8
10) r e7
11) p  r i  10
12) (p  q)  (p  r) i  9, 11
13) (q  r)  ((p  q)  (p  r)) i
14) (p  q)  (p  r) e  1, 6, 13

10. ¬p ⊢ ¬(p  q)

1) ¬p sup.
2) p  q sup. ꓕ
3) p e2
4) ꓕ e¬ 1, 3
5) ¬(p  q) i¬

11. p  (q  r) ⊢ ¬r  ¬p

1) p  (q  r) sup.
2) ¬r sup. 
3) p sup. ꓕ
4) q  r e  1, 3
5) r e4
6) ꓕ e ¬ 2, 5
7) ¬p i¬
8) ¬r  ¬p i
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

12. (p  q)  (p  r) ⊢ p  (q  r)

1) (p  q)  (p  r) sup.
2) p sup. 
3) p  q sup. 
4) q e  3, 2
5) q  r i4
6) (p  q)  (q  r) i
7) p  r sup. 
8) r e  7, 2
9) q  r i8
10) (p  )  (q  r) i
11) q  r e  1, 6, 10
12) p  (q  r) i

13. ¬(p  q) ⊢ ¬q

1) ¬(p  q) sup.
2) q sup. ꓕ
3) p sup. 
4) q rep. 2
5) p  q i
6) ꓕ e ¬ 1, 5
7) ¬q i¬

14. p  ¬q, r  q, ¬(p  r)  s ⊢ s  t

1) p  ¬q sup.
2) r  q sup.
3) ¬(p  r)  s sup.
4) p  r sup. ꓕ
5) p e4
6) ¬q e  1, 5
7) r e4
8) q e  2, 7
9) ꓕ e ¬ 6, 8
10) ¬(p  r) i¬
11) s e  3, 10
12) s  t i  11
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

15. p  (q  ¬r) ⊢ (p  r)  q

1) p  (q  ¬r) sup.
2) p  r sup. 
3) p e2
4) q  ¬r e
5) q sup. 
6) q rep. 5
7) q  q i
8) ¬r sup. 
9) r e2
10) ꓕ e ¬ 8, 9
11) q efsq. 10
12) ¬r  q i
13) q e  4, 7, 12
14) (p  r)  q i

16. q  ¬p ⊢ p  ¬q

1) q  ¬p sup.
2) p sup. 
3) q sup. ꓕ
4) ¬p e  1, 3
5) ꓕ e ¬ 2, 4
6) ¬q I¬
7) p  ¬q I

17. p  ¬q ⊢ q  ¬p

1) p  ¬q sup.
2) q sup. 
3) p sup. ꓕ
4) ¬q e  1, 3
5) ꓕ e ¬ 2, 4
6) ¬p I¬
7) q  ¬p I
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

18. ¬(p  q) ⊢ ¬p  ¬q

1) ¬(p  q) sup.
2) p sup. ꓕ
3) p  q i2
4) ꓕ e ¬ 1, 3
5) ¬p i¬
6) q sup. ꓕ
7) p  q i6
8) ꓕ e ¬ 1, 7
9) ¬q i¬
10) ¬p  ¬q i  5, 9

19. ¬p  ¬q ⊢ ¬(p  q)

1) ¬p  ¬q sup.
2) p  q sup. ꓕ
3) p sup. 
4) ¬p e1
5) ꓕ e ¬ 3, 4
6)p  ꓕ i
7) q sup. 
8) ¬q e1
9) ꓕ e¬ 7, 8
10) q  ꓕ i
11) ꓕ e  2, 6, 10
12) ¬(p  q) i¬

20. ¬q  ¬p ⊢ ¬(p  q)

1) ¬q  ¬p sup.
2) p  q sup. ꓕ
3) ¬q sup. 
4) q e2
5) ꓕ e ¬ 3,4
6) ¬q  ꓕ i
7) ¬p sup. 
8) p e2
9) ꓕ e ¬ 7, 8
10) ¬p  ꓕ i
11) ꓕ e  1, 6, 10
12) ¬(p  q) i¬
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

21. p  r, q  p, s  r ⊢ (q  s)

1) p  r sup.
2) q  p sup.
3) s  r sup.
4) q  s sup. ꓕ
5) p sup. 
6) q e4
7) p e  2, 6
8) ꓕ e ¬ 5, 7
9) ¬p  ꓕ i
10) ¬r sup. 
11) s e4
12) r e  3,11
13) ꓕ e ¬ 10, 12
14) ¬r  ꓕ i
15) ꓕ e 1,9, 14
16) (q  s) i¬

22. (q  s)  (r  p) ⊢ (q  s)  (r  p)

1) ¬(q  s)  (r  ¬p) sup.

2) ¬q  ¬s sup. 
3) ¬r  p sup. ꓕ
4) q  s sup. ꓕ
5) q sup. 
6) ¬q e2
7) ꓕ e ¬ 5,6
8) q  ꓕ i
9) s sup. 
10) ¬s e2
11) ꓕ e ¬ 9, 10
12) s  ꓕ i 
13) ꓕ e  4, 8, 12
14) ¬(q  s) i¬
15) r  ¬p e  1, 14
16) ¬r sup. 
17) r e  15
18) ꓕ e ¬ 16, 17
19) ¬r  ꓕ i
20) p sup. 
21) ¬p e  15
22) ꓕ e ¬ 20, 21
23) p  ꓕ i
24) ꓕ e  3, 19, 23
25) ¬(¬r  p) i¬
26) (¬q  ¬s)  ¬(¬r  p) i 
LÓGICA I – FaHCE – UNLP Prof. Bruno Sbrancia

23. p  (r  q), r  (q  s) ⊢ (p  r)  s

1) p  (¬r  q) sup.
2) ¬r  (¬q  s) sup.
3) ¬(p  r) sup. 
4) p e1
5) r sup. ꓕ
6) p  r i  4, 5
7) ꓕ e ¬ 3, 6
8) ¬r i¬
9) ¬q  s e  2, 8
10) ¬q sup. 
11) ¬r  q e1
12) q e  11, 8
13) ꓕ e ¬ 10, 12
14) s efsq. 13
15) ¬q  s i
16) s sup. 
17) s rep. 16
18) s  s i
19) s e  9, 15, 18
20) ¬(p  r)  s i