Antecedentes

T0: α ⇔ ¬¬α
T1: `N ¬(α ⇒ β) ⇔ α ∧ ¬β
T2: `N ∃x¬α ⇔ ¬∀xα
T3: `N ∀x¬α ⇔ ¬∃xα

Ejemplos
Demuestra los siguientes teoremas de deducción natural:



a)∀x∃y P (x) ⇒ Q(y) `N ¬∃x∀y P (x) ∧ ¬Q(y)
Demostración:


1. ∀x∃y P (x) ⇒ Q(y) Premisa

2. ∃x∀y P (x) ∧ ¬Q(y) Sup

3. ∀y P (n) ∧ ¬Q(y) Sup(E∃n)


4. ∃y P (n) ⇒ Q(y) E∀ 1

5. P (n) ⇒ Q(m) Sup(E∃m)

6. P (n) ∧ ¬Q(m) E∀ 3
7. P (n) E∧ 6
8. ¬Q(m) E∧ 6

9. Q(m) E⇒ 5,7
10. Q(m) ∧ ¬Q(m) I∧ 8,9
11. ∀xP (x) ∧ ¬∀xP (x) F 10

12. ∀xP (x) ∧ ¬∀xP (x) E∃ 5,11

13. ∀xP (x) ∧ ¬∀xP (x) E∃ 3,12

14. ¬∃x∀y P (x) ∧ ¬Q(y) C 2,13

1


b)∀x∀y P (x) ⇒ Q(x) ∧ R(y) , P (c) `N ¬∀z¬Q(z)
Demostración:


1. ∀x∀y P (x) ⇒ Q(x) ∧ R(y) Premisa

2. P (c) Premisa

3. ∀z¬Q(z) Sup


4. ∀y P (c) ⇒ Q(c) ∧ R(y) E∀ 1

5. P (c) ⇒ Q(c) ∧ R(c) E∀ 4

6. Q(c) ∧ R(c) E⇒ 2,5
7. Q(c) E∧ 6

8. ¬Q(c) E∀ 3
9. Q(c) ∧ ¬Q(c) I∧ 7,8

10. ¬∀z¬Q(z) C 3,9

c)¬∃x P (x) ∧ ∀y¬P (x, y) `N ∀x P (x) ⇒ ∃yP (x, y)
Demostración:


1. ¬∃x P (x) ∧ ∀y¬P (x, y) Premisa

2. ¬∀x P (x) ⇒ ∃yP (x, y) Sup


3. ∀x¬ P (x) ∧ ∀y¬P (x, y) T2 1


4. ∃x¬ P (x) ⇒ ∃yP (x, y) T2 2

5. ¬ P (n) ⇒ ∃yP (n, y) Sup(E∃n 4)

6. P (n) ∧ ¬∃yP (n, y) T1 5

7. P (n) E∧ 6
8. ¬∃yP (n, y) E∧ 6

9. ∀y¬P (n, y) T2 8
10. P (n) ∧ ∀y¬P (n, y) I∧ 7,9


11. ¬ P (n) ∧ ∀y¬P (n, y) E∀ 3



12. ¬ P (n) ∧ ∀y¬P (n, y) ∧ P (n) ∧ ∀y¬P (n, y) I∧ 10,11

13. ∀xP (x) ∧ ¬∀xP (x) F 12

14. ∀xP (x) ∧ ¬∀xP (x) E∃ 5,13

15. ∀x P (x) ⇒ ∃yP (x, y) C 2,14

2
   


∀x P (x) ⇒ ∀y Q(y) ⇒ ∀z R(z) ⇒ S(z) ⇒ ∃x1 P (z, x1 ) ,
d)
P (c), Q(c), R(c)
`N ∀x1 ¬P (c, x1 ) ⇒ ¬S(c)
Demostración:
  


1. ∀x P (x) ⇒ ∀y Q(y) ⇒ ∀z R(z) ⇒ S(z) ⇒ ∃x1 P (z, x1 ) Premisa

2. P (c) Premisa

3. Q(c) Premisa
4. R(c) Premisa


5. P (c) ⇒ ∀y Q(y) ⇒ ∀z R(z) ⇒ S(z) ⇒ ∃x1 P (z, x1 ) E∀ 1


6. ∀y Q(y) ⇒ ∀z R(z) ⇒ S(z) ⇒ ∃x1 P (z, x1 ) E⇒ 2,5


7. Q(c) ⇒ ∀z R(z) ⇒ S(z) ⇒ ∃x1 P (z, x1 ) E∀ 6


8. ∀z R(z) ⇒ S(z) ⇒ ∃x1 P (z, x1 ) E⇒ 3,7

9. R(c) ⇒ S(c) ⇒ ∃x1 P (c, x1 ) E∀ 8

10. S(c) ⇒ ∃x1 P (c, x1 ) E⇒ 4,8

11. ¬ ∀x1 ¬P (c, x1 ) ⇒ ¬S(c) Sup

12. ∀x1 ¬P (c, x1 ) ∧ ¬¬S(c) T1 11

13. ∀x1 ¬P (c, x1 ) E∧ 12

14. ¬¬S(c) E∧ 12
15. S(c) T0 14
16. ∃x1 P (c, x1 ) E⇒ 10,15
17. ¬∃x1 P (c, x1 ) T3 13

18. ∃x1 P (c, x1 ) ∧ ¬∃x1 P (c, x1 ) I∧ 16,17

19. ∀x1 ¬P (c, x1 ) ⇒ ¬S(c) C 11,18