Juan Manuel Martnez Brambila

Prof. Andrs Hernndez Villarreal

Lgica Clsica
20 Enero 2016
Copi 3.6
Para cada uno de los siguientes argumentos construya una demostracin formal de validez y una
demostracin indirecta y compare las longitudes de una y otra

A v (B C)
AC
C
(B C) v A
1,Conm.
5. ~(B C) A
4,Impl.
6. ~(B C) C
5,2,S.H.
7. ~~(B C) v C
6,Impl.
8. (B C) v C
9. (C v C) (C v B)
10. (C v C)
11. C

A v (B C)
AC
C
~C
~A
BC
1,5,S.D.
7. C

1.
2.
3.
4.

1.
2.
3.
4.
5.
6.

D.I.
2,M.T.
6,Simp.

7,D.N.
8,Dist.
9,Simp.
10,Taut.

(D v E) (F G)
(~G v H) (D F)
G
(D v E) (~F v G)
1,Impl.
5. ~(D v E) v (~F v G) 4,Impl.
6. [~F v ~(D v E)] v G 5,Asoc.
7. ~[F (D E)] v G 6,De
1.
2.
3.
4.

M.
8. G v ~[F (D E)]
7,Conm.
9. G v [~F v ~(D E)]
8,De M.

(D v E) (F G)
(~G v H) (D F)
G
.
~G
D.I
~G v H
5,Ad.
DF
2,M.T.
D
6,Simp.
DvE
7,Ad.
FG
1,8,M.T.
10. F
6,Simpl.
11. G
9,10,M.T.
1.
2.
3.
4.
5.
6.
7.
8.
9.

10. G v [~F v (~D v ~E)] 9,De M.

11. (~F v ~D) v (~G v ~E)
10,Asoc.
12. ~(F D) v (~G v ~E)
11,De M.
13. ~(F D) v ~(G E)
12,De M.
14. ~(D F) v ~(G E)
13,Conm.
15. (D F) ~(G E)
14,Impl.
16. (~G v H) ~(G E)
15,Trans.
17. ~(~G v H) v ~(G E)
16,Imp.
18. (G ~H) v ~(G E)
17,De M.
19. (G ~H) v (~G v ~E)
18,De M.
20. [(G ~H) v ~G] v ~E
19,Asoc.
21. ~[~(G ~H) G] v ~E
20,De M.
22. {~[(G ~H) G] E}
21,De M.
23. {~[(G G) ~H] E}
22,Asoc.
24. ~(G ~H) E
23,Taut.
25. E ~(G ~H)
24,Conm.
26. ~(G ~H)
25,Simp.
27. ~G v H
26,De
M.
28. D F
2,26,M.T.
29. D
30. D v E
31. F G
1,30,M.T.
32. F
28,Simpl.
33. G
31,32,M.T.

28,Simp.
29,Ad.

(H I) (J K)
(I v K) L
~L
~(H v L)
~(I v K)
~I ~K
5,De M.
7. ~I
8. H I
1,Simp.
9. ~H
10. ~H * ~L
9,3,Conj.
11. ~(H v L)
1.
2.
3.
4.
5.
6.

(H I) (J K)
(I v K) L
~L
~(H v L)
HvL
HI
1,Simp.
7. ~H v I
8. ~(I v K)
9. ~I ~K
7,De M.
10. ~I
11. ~H
12. ~H ~L
10,3,Conj.
13. ~(H v L)
1.
2.
3.
4.
5.
6.

2,3,M.T.
6,Simp.
8,7,M.T.
10,De

M.

5,Impl.
2,3,M.T.
8,Simp.
5,9,M.T.
11,De

M.
1. (M v N) (O P)
2. (O v Q) (~R S)
3. (R v T) (M U)
4. ~R
5. ~(M v N) v (O P)
6. ~[(M v N) ~(O P)]
7. ~[(M v N) (~O v ~P)]
8. ~(M v N) v ~(~O v ~P)
9. (M v N) (O P)
10. (O v Q) (~R S)
11. (R v T) (M U)
12. ~(M v N) v (O P)
13. ~[(M v N) ~(O P)]
14. (O v Q)
15. (R v T)
16. R

1. (M v N) (O P)
2. (O v Q) (~R S)
3. (R v T) (M U)
4. ~R
5. R
D.I.
6. ~(R v T) v (M U)
7. ~(M v N) v (O P)
8. ~[(M v N) ~(O P)]
9. O v Q) (~R S)
10. (R v T) (M U)
11. (O v Q)
12. (R v T)
13. R

1. (V ~W) (X Y)
2. (~W Z) (Y ~A)
3. (Z ~B) (~A C)
4. V X
5. ~B C
6. ~(~B C)
7. B v ~C
8. Y ~A
9. ~A C
10. (~A C) (B v ~C)

1. (V ~W) (X Y)
2. (~W Z) (Y ~A)
3. (Z ~B) (~A C)
4. V X
5. ~B C
6. ~(~B C)
7. B v ~C
8. Y ~A
9. ~A C
10. (~A C) (B v ~C)

11. (A v C) (B v ~C)
12. (A v C)
13. ~B C

11. (A v C) (B v ~C)
12. (A v C)
13. ~B C