Lgica 1 (2013-1)

Mtro. Cristian A. Gutirrez

Grupo Yahoo: http://espanol.groups.yahoo.com/group/logicaUNAM2013/
Tarea 12
(Grupo 1104 entrega el jueves 8 de noviembre)
(Grupo 1122 entrega el viernes 9 de noviembre)
Nombre:____________________________________________ Grupo:________________
INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a
computadora (con la excepcin de la parte de deduccin natural), tiene que ser entregada el da que se
indica arriba y tiene que estar engrapada.
Nuestro sistema de reglas de lgica proposicional es el siguiente:
Reglas de Introduccin
Reglas de Eliminacin

sup.
....

sup.
...

sup.
...

[() ()]

[() ()]

[() ()]

[() ()]

sup.
...

sup.
...

NOTA: Recuerden que la nica forma de introducir supuestos (que es lo mismo que hiptesis) es
usando una regla que lo permita, de tal forma que no puedes probar cosas simplemente suponindolas,
tienen que respetar la forma de la regla. Las reglas que requieren de introducir supuestos son la
Introduccin de la Condicional (I), la Eliminacin de la Disyuncin (E), la Introduccin de la
Negacin (I~) y la Eliminacin de la Negacin (E~).
NOTA 2: Esto son otros nombre usuales para algunas de nuestra reglas.
Introduccin del Condicional (I): Prueba condicionada, Metateorema de la deduccin.
Eliminacin del Condicional (E): Modus Ponens o Modus Ponendo Ponens.
Introduccin de la Conjuncin (I): Conjuncin.
Eliminacin de la Conjuncin (E): Simplificacin.
Introduccin de la Disyuncin (I): Adicin.
Eliminacin de la Disyuncin (E): Prueba por casos.
Introduccin de la Negacin (I~) y Eliminacin de la Negacin (E~): Prueba por Reduccin al
Absurdo.
1. SECCIN OBLIGATORIA. Considera la siguiente afirmacin: El ejercito debe pelear en la
guerra contra el narcotrfico. Da un argumento a favor de esta afirmacin y uno en contra (se
espera que sean buenos argumentos) los argumentos pueden ser del tipo que quieras (de
preferencia deductivos), indica de qu tipo de argumento se trata (1/2 Punto por cada
Argumento, en total 1 puntos)
Argumento a favor: __________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
Tipo de argumento:___________________________________________________________________
Argumento en contra:_________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
Tipo de argumento:___________________________________________________________________

2. SECCIN OBLIGATORIA (DEBES RESPONDER POR LO MENOS 24 DE LOS 40

EJERCICIOS) Demuestra que las siguientes reglas de equivalencia son reglas derivadas de
nuestro sistema de deduccin natural, una vez que hayas hecho la demostracin, estars
autorizado a usarlas. Despus de cada regla aparece un ejercicio de deduccin natural que
debers responder dos veces, una usando slo las 12 reglas y otra usando las nuevas reglas
(puedes usar todas las reglas derivadas que ya hayas demostrado) (1/4 punto por cada
demostracin, para un total de 13.3 puntos)
Ejemplo:
DOBLE NEGACIN

Demostracin por deduccin natural:
1. sup.
2. ~
sup.
3.
rep. (1)
4.
I (3,4)
5. ~~ I~ (2-4)
6. I (1-5)
7. sup.
8. ~
sup.
9. rep. (7)
10.
I (8,9)
11.
E~ (8-10)
12. I (7-11)
13. ( ) ( ) I (6, 12)
14.
(13)
TRANSPOSICIN
( ) ( )
I. Demostracin de la regla de Transposicin:
1.
sup.
2. sup.
3. sup.
4. E (1,3)
5. I (2,4)
6. I~ (3-5)
7. I (2-6)
8. ( ) ( )

I (1-7)

9. sup.
10. sup.
11. ~ sup.
12. E (9,11)
13. I (10,12)
14. E~ (11-13)
15.
I (10-14)
16. ( ) ( )
I (9-15)
17. [( ) ( )] [( ) ( )]
I (8,16)
18. ( ) ( )
I (17)

II. Demostrar usando todas las reglas:

1. P Q
2. (~Q ~P) R
/
R
3. ~Q ~P
Trans. (1)
4. R
E (2,3)
III. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. P Q
2. (~Q ~P) R
/
R
3.~Q
hip.
4. P
hip.
5. Q
E (1,4)
6.
I (3,5)
7. ~P
I~ (4-6)
8. ~Q ~P I (3-7)
9. R
E (2,8)
CONMUTACIN
( ) ( )
( ) ( )
IV. Demostracin de la regla de Conmutacin (primera versin ( ) ( )):
1.
sup.
2. E (1)
3. E (1)
4.
I (2,3)
5. ( ) ( ) I (1-4)
6.
sup.
7. E (6)
8. E (6)
9.
I (7,8)
10. ( ) ( )
I (6-9)
11. [( ) ( )] [( ) ( )]
12. ( ) ( ) I (11)

I (5,10)

V. Demostracin de la regla de Conmutacin (segunda versin ( ) ( )):

1.
sup.
2. sup.
3.
I (2)
4. sup.
5.
I (4)
6.
E (1,2-5)
7. ( ) ( ) I (1-6)
8.
sup.
9. sup.
10.
I (9)
11. sup.
12.
I (11)
13.
E (8,9-12)
14. ( ) ( ) I (8-13)
15. [( ) ( )] [( ) ( )]
16. ( ) ( ) I (15)

I (7,14)

VI. Demostrar usando todas las reglas:

1. (P Q) (R S)
/ (Q P) (S R)
2. (Q P) (R S) Conm. (1)
3. (Q P) (S R) Conm. (2)
VII. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. (P Q) (R S)
15. S R
hip.
/ (Q P) (S R)
16. S
hip.
2. ((P Q) (R S)) ((R S) (P Q)
17. R S
I (17)
18. R
hip.
E (1)
19. R S
I (18)
3. Q P
hip.
20.
R

S
E (15,16-19)
4. Q
E (3)
21. (R S) (P Q)
E (2)
5. P
E (3)
22. P Q
E (20,21)
6. P Q
I (4,5)
23.
P
E (22)
7. (P Q) (R S) E (2)
24. Q
E (22)
8. R S
E (6,7)
9. R
hip.
25. Q P
I (23,24)
10. S R
I (9)
26. (S R) (Q P)
I (15-25)
11. S
hip.
27. ((Q P) (S R)) ((S R) (Q P))
12. S R
I (11)
I (14,27)
13. S R
E (8,9-12)
28. (Q P) (S R)
I (27)
14. (Q P) (S R)
I (3-13)

ASOCIACIN
[ ( )] [( ) ]
[ ( )] [( ) ]
VIII. Demostracin de la regla de Asociacin (primera versin [ ( )] [( ) ]):
1. ( ) sup.
2. E (1)
3.
E (1)
4. E (3)
5.
E (3)
6.
I (2,4)
7. ( ) I (5,6)
8. [ ( )] [( ) ]
I (1-7)
9. ( ) sup.
10.
E (9)
11. E (9)
12. E (10)
13. E (10)
14.
I (11,13)
15. ( )
I (12,14)
16. [( ) ] [ ( )]
I (9-15)
17. {[ ( )] [( ) ]} {[( ) ] [ ( )]}
18. [ ( )] [( ) ]
I (17)

I (8,16)

IX. Demostracin de la regla de Asociacin (segunda versin [ ( )] [( ) ]):

1. ( ) sup.
2. sup.
3.
I (2)
4. ( ) I (3)
5.
sup.
6. sup.
7.
I (6)
8. ( ) I (7)
9.
sup.
10. ( )
I (9)
11. ( )
E (5,6-10)
12. ( )
E (1,2-11)
13. [ ( )] [( ) ]

I (1-12)

14. ( )
sup.
15.
sup.
16. sup.
17. ( )
I (16)
18. sup.
19.
I (18)
20. ( )
I (19)
21. ( )
E (15,16-20)
22. sup.
23.
I (22)
24. ( )
I (23)
25. ( )
E (14,15-24)
26. [( ) ] [ ( )]
I (1-12)
27. {[ ( )] [( ) ]}
{[( ) ] [ ( )]} I (13-26)
28. [ ( )] [( ) ]
I (27)

X. Demostrar usando todas las reglas:

1. (P Q) S
/ (S P) Q
2. S (P Q)
Conm. (1)
3. (S P) Q
Asoc. (2)
XI. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. (P Q) S
4. Q
/ (S P) Q
5. S
2. P Q
E (1)
6. S P
3. P
E (2)
7. (S P) Q

E (2)
E (1)
I (3,5)
I (4,6)

DISTRIBUCIN
[ ( )] [( ) ( )]
[ ( )] [( ) ( )]
XII. Demostracin de la regla de Distribucin (primera versin [ ( )] [( ) ( )]):
1. ( ) sup.
2. E (1)
3.
E (1)
4. sup.
5.
I (2,4)
6. ( ) ( ) I (5)
7.
sup.
8.
I (2,7)
9. ( ) ( ) I (8)
10. ( ) ( ) E (3,4-9)
11. [ ( )] [( ) ( )]
I (1-10)
12. ( ) ( ) sup.
13.
sup.
14. E (13)
15. E (13)
16.
I (15)
17. ( )
I (14,16)
18.
sup.
19. E (18)
20. E (18)
21.
I (20)
22. ( )
I (19,21)
23. ( )
E (12,13-22)
24. [( ) ( )] [ ( )]
I (12-23)
25. {[ ( )] [( ) ( )]} {[( ) ( )] [ ( )]} I (11,24)
26. [ ( )] [( ) ( )]
I (25)

XIII. Demostracin de la regla de Distribucin (segunda versin [ ( )] [( ) ( )]):

1. ( ) sup.
2. sup.
3.
I (2)
4.
I (2)
5. ( ) ( ) I (3,4)
6.
sup.
7. E (6)
8.
E (6)
9.
I (7)
10.
I (8)
11. ( ) ( ) I (9,10)
12. ( ) ( ) E (1,2-11)
13. [ ( )] [( ) ( )]
I (1-12)
14. ( ) ( ) sup.
15.
E (14)
16.
E (14)
17. sup.
18. ( )
I (17)
19. sup.
20. sup.
21. ( )
I (14)
22. sup.
23.
I (19,22)
24. ( )
I (23)
25. ( )
E (16, 19-24)
26. ( )
E (15, 17-25)
27. [( ) ( )] [ ( )]
I (14-26)
28. {[ ( )] [( ) ( )]} {[( ) ( )] [ ( )]} I (13,27)
29. [ ( )] [( ) ( )]
I (28)
XIV. Demostrar usando todas las reglas:
1. ((P Q) S) T
/ ((S P) (Q S))
2. ((P Q) S)
Conm. (1)
3. (S (P Q))
Conm. (2)
4. ((S P) (S Q)) Dist. (3)
5. ((S P) (Q S)) Conm. (4)

XV. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:

1. ((P Q) S) T
/ ((S P) (Q S))
2. (P Q) S
hip.
3. P Q
hip.
4. P
E (3)
5. Q
E (3)
6. S P
I (4)
7. Q S
I (5)
8. (S P) (Q S)
I (6,7)
9. ((S P) (Q S)) I (8)
10. S
hip.
11. S P
I (10)
12. Q S
I (10)
13. (S P) (Q S)
I (11,12)
14. ((S P) (Q S)) I (13)
15. ((S P) (Q S)) E (2,3-14)
16. T
hip.
17. ((S P) (Q S)) I (16)
18. ((S P) (Q S)) E (1,2-17)
IDEMPOTENCIA o TAUTOLOGA
( )
( )
XVI. Demostracin de la regla de Idempotencia o Tautologa (primera versin ( ) ):
1.
sup.
2. sup.
3. sup.
4. E (1,2-3)
5. ( )
I (1-4)
6. sup.
7.
I (6)
8. ( )
I (6-7)
9. [( ) ] [ ( )]
I (5,8)
10. ( )
I (9)
XVII. Demostracin de la regla de Idempotencia o Tautologa (segunda versin ( ) ):
1.
sup.
2. E (1)
3. ( )
I (1-2)
4. sup.
5.
I (4,4)
6. ( )
I (4-5)
7. [( ) ] [ ( )]
I (3,6)
8. ( )
I (7)

XVIII. Demostrar usando todas las reglas:

1. (P P) (Q Q)
/ Q P
2. P (Q Q)
Idem. (1)
3. P Q
Idem. (2)
4. Q P
Conm. (3)
XIX. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. (P P) (Q Q)
/ Q P
2. P P
E (1)
3. P
E (2)
4. Q Q
E (1)
5. Q
hip.
6. Q
hip.
7. Q
E (4,5-6)
8. Q P
I (3,7)
DEFINICIN DE IMPLICACIN MATERIAL (DIM).
( ) ( )
( ) ( )
XX. Demostracin de la regla DIM (primera versin ( ) ( )):
1.
sup.
2. ~( ) sup.
3. sup.
4. E (1,3)
5.
I (4)
6. I (2,6)
7. I~ (2-6)
8.
I (7)
9. I (2,8)
10.
E~ (2-9)
11. ( ) ( )
I (1-10)
12. sup.
13. sup.
14. sup.
15. I (13,14)
16. E (15)
17. sup.
18. E (14-17)
19.
I (13-18)
20. ( ) ( )
I (12-19)
21. [( ) ( )] [( ) ( )] I (11,20)
22. ( ) ( )
I (21)

XXI. Demostracin de la regla DIM (segunda versin ( ) ( )):

1.
sup.
2.
sup.
3. E (2)
4. E (2)
5. E (1,3)
6. I (4,5)
7. ( ) I~ (2-6)
8. ( ) ( )
I (1-7)
9. ( ) sup.
10. sup.
11. sup.
12.
I (10,11)
13. I (9,12)
14. E~ (11-13)
15.
I (10-14)
16. ( ) ( ) I (9-15)
17. [( ) ( )] [( ) ( )]
I (8,16)
18. ( ) ( ) I (17)
XXII. Demostrar usando todas las reglas:
1. (P ~Q) S
/ (P Q) S
2. ~~(P ~Q) S
DN(1)
3. ~(P Q) S
DIM (2)
4. (P Q) S
DIM (3)
XXIII. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. (P ~Q) S
/ (P Q) S
2. P Q
hip.
3. P ~Q
hip.
4. P
E (3)
5. ~Q
E (3)
6. Q
E (2,4)
7.
I (5,6)
8. S
E (7)
9. S
hip.
10. S
E (1,3-9)
11. (P Q) S
I (2-10)

DEFINICIN DE EQUIVALENCIA MATERIAL (DEM).

( ) [( ) ( )]
( ) [( ) ( )]
XXIV. Demostracin de la regla DEM (primera versin ( ) [( ) ( )]):
1.
sup.
2. ( ) ( ) E (1)
3. ( ) [( ) ( )] I (1-2)
4. ( ) ( ) sup.
5.
I (4)
6. [( ) ( )] ( ) I (4-5)
7. {( ) [( ) ( )]} {[( ) ( )] ( )}
I (3,6)
8. ( ) [( ) ( )]
I (7)
XXV. Demostracin de la regla DEM (segunda versin ( ) [( ) ( )]):
1.
sup.
2. ( ) ( )
E (1)
3. ( ) [( ) ( )]
I (1-2)
4. ( ) ( )
sup.
5.
I (4)
6. [( ) ( )] ( ) I (4-5)
7. {( ) [( ) ( )]} {[( ) ( )] ( )} I (3,6)
8. ( ) [( ) ( )]
I (7)
XXVI. Demostrar usando todas las reglas:
1. ((P Q) T) S
2. T ((P Q) (Q P))
/ S
3. T (P Q)
DEM (2)
4. (P Q) T
Conm. (3)
5. S
E (1,4)
XXVII. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. ((P Q) T) S
2. T ((P Q) (Q P))
/ S
3. T
E (2)
4. (P Q) (Q P) E (2)
5. P Q
I (4)
6. (P Q) T
I (3,5)
7. S
E (1,6)

IMPLICACIN / EXPORTACIN (I/E)

[ ( )] [( ) ]
XXVIII. Demostracin de la regla de I/E ([ ( )] [( ) ]):
1. ( )
sup.
2.
sup.
3. E (2)
4. E (2)
5.
E (1,3)
6.
E (4,5)
7. ( )
I (2-6)
8. [ ( )] [( ) ] I (1-7)
9. ( )
sup.
10. sup.
11. sup.
12.
I (10,11)
13. E (9,12)
14.
I (11-13)
15. ( )
I (10-14)
16. [( ) ] [ ( )] I (9-15)
17. {[ ( )] [( ) ]} {[( ) ] [ ( )]} I (8,16)
18. [ ( )] [( ) ] I (17)
XXIX. Demostrar usando todas las reglas:
1. (P Q) (S R)
/ (S P) (Q R)
2. ((P Q) S) R
I/E (1)
3. (S (P Q)) R
Conm. (2)
4. ((S P) Q) R
Asoc. (3)
5. (S P) (Q R)
I/E (4)
XXX. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:
1. (P Q) (S R)
/ (S P) (Q R)
2. S P
hip.
3. Q
hip.
4. S
E (2)
5. P
E (2)
6. P Q
I (3,5)
7. S R
E (1,6)
8. R
E (4,7)
9. Q R
I (3-8)
10. (S P) (Q R)
I (2-9)

LEYES DE MORGAN (DeM)

( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
XXXI. Demostracin de la regla DeM (primera versin ( ) ( )):
1.
sup.
2.
sup.
3. sup.
4. E (1)
5. I (3,4)
6. sup.
7. E (1)
8. I (6,7)
9. E (2,3-8)
10. ( )
I~ (2-9)
11. ( ) ( ) I (1-10)

12. ( )
sup.
13. sup.
14. I (13)
15. I (12,14)
16. E~ (13-15)
17. sup.
18. I (13)
19. I (12,18)
20. E~ (17-19)
21.
I (16,20)
22. ( ) ( ) I (12-21)
23. [( ) ( )] [ ( ) ( )]
I (11,22)
24. ( ) ( ) I (23)

XXXII. Demostracin de la regla DeM (segunda versin ( ) ( )):

1. ~
sup.
2.
sup.
3. sup.
4. ~ E (1)
5. I (3,4)
6. sup.
7. E (1)
8. I (6,7)
9. E (2,3-8)
10. ( ) I~ (2-9)
11. (~ ) ( ) I (1-10)

12. ( ) sup.
13. sup.
14.
I (13)
15. I (12,14)
16. ~ I~ (13-15)
17. sup.
18.
I (13)
19. I (12,18)
20. E~ (17-19)
21. ~
I (16,20)
22. ( ) (~ ) I (12-21)
23. [(~ ) ( )] [ ( ) (~ )]
I (11,22)
24. (~ ) ( ) I (23)

XXXIII. Demostracin de la regla DeM (tercera versin ( ) ( )):

1. ~
sup.
2. ~
sup.
3. ~ sup.
4. E (1)
5. I (3,4)
6. sup.
7. ~ E (1)
8. I (6,7)
9. E (2,3-8)
10. (~ ) I~ (2-9)
11. ( ~) (~ ) I (1-10)

12. (~ ) sup.
13. ~ sup.
14. ~
I (13)
15. I (12,14)
16. E~ (13-15)
17. sup.
18.
I (13)
19. I (12,18)
20. ~ I~ (17-19)
21. ~
I (16,20)
22. (~ ) ( ~) I (12-21)
23. [( ~) (~ )] [ (~ ) ( ~)]
I (11,22)
24. ( ~) (~ ) I (23)

XXXIV. Demostracin de la regla DeM (cuarta versin ( ) ( )):

1. ~ ~
sup.
2.
sup.
3. sup.
4. ~ E (1)
5. I (3,4)
6. sup.
7. ~ E (1)
8. I (6,7)
9. E (2,3-8)
10. ( ) I~ (2-9)
11. (~ ~) ( ) I (1-10)

12. ( ) sup.
13. sup.
14.
I (13)
15. I (12,14)
16. ~ I~ (13-15)
17. sup.
18.
I (13)
19. I (12,18)
20. ~ I~ (17-19)
21. ~ ~ I (16,20)
22. ( ) (~ ~) I (12-21)
23. [(~ ~) ( )] [ ( ) (~ ~)]
I (11,22)
24. (~ ~) ( ) I (23)

XXXV. Demostracin de la regla DeM (quinta versin ( ) ( )):

1.
sup.
2. ~ ~
sup.
3. sup.
4. ~ E (2)
5. I (3,4)
6. sup.
7. ~ E (2)
8. I (6,7)
9. E (1,3-8)
10. (~ ~)
I~ (2-9)
11. ( ) (~ ~) I (1-10)

12. (~ ~)
sup.
13. ~( ) sup.
14. ~
sup.
15. ~
sup.
16. I (14,15)
17. I (12,16)
18. E~ (15-17)
19.
I (18)
20. I (13,19)
21. E~ (14-20)
22.
I (21)
23. I (13,,22)
24.
(1323)
25. ( ) ( )
(12-24)
26. [( ) (~ ~)] [ ( ) ( )]
I (11,25)
27. ( ) ( ) I (26)

XXXVI. Demostracin de la regla DeM (sexta versin ( ) ( )):

1. ~
sup.
2. ~
sup.
3. ~ sup.
4. E (2)
5. I (3,4)
6. sup.
7. ~ E (2)
8. I (6,7)
9. E (1,3-8)
10. ( ~) I~ (2-9)
11. (~ ) ( ~) I (1-10)

12. ( ~) sup.
13. ~(~ ) sup.
14. sup.
15. ~
sup.
16.
I (14,15)
17. I (12,16)
18. E~ (15-17)
19. ~
I (18)
20. I (13,19)
21. ~ I~ (14-20)
22. ~
I (21)
23. I (13,,22)
24. ~
(1323)
25. ( ) ( )
(12-24)
26. [(~ ) ( ~)] [ ( ) ( )]
I (11,25)
27. (~ ) ( ) I (26)

XXXVII. Demostracin de la regla DeM (sptima versin ( ) ( )):

1. ~
sup.
2. ~
sup.
3. sup.
4. ~ E (2)
5. I (3,4)
6. ~ sup.
7. E (2)
8. I (6,7)
9. E (1,3-8)
10. (~ ) I~ (2-9)
11. ( ~) (~ ) I (1-10)

12. (~ ) sup.
13. ~( ) sup.
14. ~
sup.
15. sup.
16.
I (14,15)
17. I (12,16)
18. ~ I~ (15-17)
19.
I (18)
20. I (13,19)
21. E~ (14-20)
22. ~
I (21)
23. I (13,,22)
24.
(1323)
25. ( ) ( )
(12-24)
26. [( ~) (~ )] [ ( ) ( )]
I (11,25)
27. ( ~) ( ) I (26)

XXXVIII. Demostracin de la regla DeM (octava versin ( ) ( )):

1. ~ ~
sup.
2.
sup.
3. ~ sup.
4. E (2)
5. I (3,4)
6. ~ sup.
7. E (2)
8. I (6,7)
9. E (1,3-8)
10. ( ) I~ (2-9)
11. (~ ~) ( ) I (1-10)

12. ( ) sup.
13. ~(~ )
sup.
14. sup.
15. sup.
16.
I (14,15)
17. I (12,16)
18. ~ I~ (15-17)
19. ~ I (18)
20. I (13,19)
21. ~ I~ (14-20)
22. ~ ~ I (21)
23. I (13,,22)
24. ~ (1323)
25. ( ) ( )
(12-24)
26. [(~ ~) ( )] [ ( ) ( )]
I (11,25)
27. (~ ~) ( ) I (26)

XXXIX. Demostrar usando todas las reglas:

1. (P Q) S
/ ((~P ~Q) ~S)
2. ~(~P ~Q) S
DeM (1)
3. ((~P ~Q) ~S)
DeM (2)

XL. Demosatrar sando slo las 12 reglas bsicas de nuestro sistema:

1. (P Q) S
/ ((~P ~Q) ~S)
2. (~P ~Q) ~S
hip.
3. ~P ~Q
E (2)
4. ~S
E (2)
5. P Q
hip.
6. ~P
hip.
7. P
E (5)
8.
I (6,7)
9. ~Q
hip.
10. Q
E (5)
11.
I (9,10)
12.
E (3,6-11)
13. S
hip.
14.
I (4,13)
15.
E (1,5-14)
16. ((~P ~Q) ~S)
I~ (2-15)
3. SECCIN OBLIGATORIA (Debes contestar por lo menos 4 ejercicios de los 8). Demuestra
que las siguientes frmulas son teoremas de nuestro sistema (1/4 de punto cada uno, en total 2
puntos.
a) P (P Q)
1. P
hip.
2. P Q
I (1)
3. P (P Q)
I (1-2)
b) P (Q P)
1. P
hip.
2. Q P
I (1)
3. P (Q P)
I (1-2)
c) (P Q) P
1. P Q
hip.
2. P
E (1)
3. (P Q) P
I (1-2)
d) (P Q) Q
1. P Q
hip.
2. Q
E (1)
3. (P Q) Q

I (1-2)

e) (P (Q R)) (Q (P R))
1. P (Q R)
hip.
2. Q
hip.
3. P
hip.
4. Q R
E (1,3)
5. R
E (2,4)
6. P R
I (3-5)
7. Q (P R)
I (2-6)
8. (P (Q R)) (Q (P R))

I (1-7)

f) (P (Q R)) ((P Q) (P R))

1. P (Q R)
hip.
2. P Q
hip.
3. P
hip.
4. Q R
E (1,3)
5. Q
E (2,3)
6. R
E (4,5)
7. P R
I (3-6)
8. (P Q) (P R)
I (2-7)
9. (P (Q R)) ((P Q) (P R))

I (1-8)

g) (P Q) ((P Q) ~P)
1. P Q
hip.
2. P Q
hip.
3. P
hip.
4. Q
E (1,3)
5. ~Q
E (2,3)
6.
I (4,5)
7. ~P
I~ (3-6)
8. (P Q) ~P
I (2-7)
9. (P Q) ((P Q) ~P)
I (1-8)
h) (P Q) (Q ~P)
1. P Q
2. Q
3. P
4. Q
5.
6. ~P
7. Q ~P
8. (P Q) (Q ~P)

hip.
hip.
hip.
E (1,3)
I (2,4)
I~ (3-5)
I (2-6)
I (1-7)

4. SECCIN OBLIGATORIA. Formaliza los siguientes argumentos y demuestra que son vlidos
(1 punto cada uno, por la formalizacin y por la prueba de validez, para un total de 2
puntos):
a) Es necesario que los seres humanos seamos agentes morales, para imputarnos responsabilidad
moral. De hecho se nos imputa responsabilidad moral. Por lo tanto, los seres humanos somos
agentes morales.
Diccionario:
P: Los seres humanos somos agentes morales.
Q: Se imputa responsabilidad moral a los seres humanos.
Formalizacin:
1.
QP
2.
Q
/ P
Demostracin:
1.
QP
2.
Q
/ P
3.
P
E (1,2)
b) nicamente si el anlisis tripartito de conocimiento es correcto, podemos dar una definicin
adecuada de conocimiento. Pero si los contraejemplos tipo Gettier son correctos, nuestro anlisis
tripartito de conocimiento es incorrecto. De ello podemos concluir que o bien no tenemos una
definicin adecuada de conocimiento o bien los contraejemplos tipo Gettier son incorrectos.
Diccionario:
P: El anlisis tripartito del conocimiento es correcto.
Q: Podemos dar una definicin adecuada de conocimiento.
R: Los contraejemplos tipo Gettier son correctos.
Formalizacin:
1.
QP
2.
R ~P
/ ~Q ~R

Demostracin:
1. Q P
2. R ~P
/ ~Q ~R
3.
~(~Q ~R)
sup.
4.
~Q
sup.
5.
~Q ~R I (4)
6.

I (3,5)
7.
Q
E~ (4-6)
8.
P
E (1,7)
9.
R
sup.
10. ~P
E (2,9)
11.
I (8,10)
12. ~R
I~ (9-11)
13. ~Q ~R I (12)
14.
I (3,13)
15. ~Q ~R E~ (3-14)
Una prueba ms corta:
1. Q P
2. R ~P
/ ~Q ~R
3. ~~R ~P
4. P ~R
5. Q ~R
6. ~Q ~R

DN (2)
Trans. (3)
S.H. (1,4)
D.I.M. (5)

5. SECCIN OPTATIVA. Bonus para oos: En el extrao planeta Og, existen dos tipos de personas,
las verdes y las rojas. Las personas rojas que nacieron en el sur siempre dicen la verdad, pero las
personas rojas que nacieron en el norte del planeta siempre mienten. Las personas verdes que nacieron
en el norte siempre dicen la verdad, pero las personas verdes que nacieron en el sur siempre mienten. En
una ocasin un lgico terrcola visit el planeta Og, en una noche sin luna se encontr a un habitante del
planeta og, como era un noche sin luna no pudo ver de color era. Sin embargo el nativo hizo una
afirmacin que le ayudo al lgico a saber de qu color era y si haba nacido en el sur o en el norte. Qu
afirmacin hizo?
a) Soy un sureo rojo.
b) Siempre miento.

c) Soy un sureo verde.

d) 2 + 2 = 4.
6. SECCIN OPTATIVA. Medio punto extra para el examen 6: Presentar un argumento filosfico
deductivo, indicar de dnde fue extrado, indicar de manera clara cules son las premisas y cul
es la conclusin, formalizarlo y demostrar su validez usando deduccin natural. (1 punto para el
examen 6)