UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Per, Decana de Amrica

FACULTAD DE LETRAS Y CIENCIAS HUMANAS

Unidad de Posgrado





EJERCICIOS DE LGICA


ALUMNO: RAFAEL FLIX MORA RAMIREZ

CDIGO: 14037064

CARRERA: MAESTRA EN FILOSOFA
EPISTEMOLOGA

LUGAR: FACULTAD DE LETRAS Y CIENCIAS
HUMANAS

CORREO: rafael.f.mora@hotmail.com

PROFESOR: DR. LUIS PISCOYA HERMOZA

CURSO: LGICA DE PRIMER ORDEN



LIMA
2014
SUPPES, Patrick. (1979). Introduccin a la lgica simblica.
12da. impresin. Mxico: CECSA. pp. 97-98.

EJERCICIOS

12. E. V. Huntington dio una lista de axiomas para la parte
informal de la obra Principia Mathematica de Whitehead y
Russell, que descansa en tres smbolos primirivos, un smbolo
de una sola posicin C de relacin, un smbolo de operacin
binaria +, y un smbolo de operacin unitaria |. La principal
interpretacin que se intenta de la teora es que las variables
toman como valores proposicionales elementales (u oraciones
si se desea); una proposicin tiene la propiedad C si es
verdadera, x+y es la disyuncin de las dos proposiciones x y y;

es la negacin de la proposicin x. (As pues, este conjunto de

postulados est ntimamente conectado con la lgica de los
conectivos oracionales)
Los cincos axiomas son:
A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) ()
Constryanse deducciones para demostrar que los teoremas
siguientes son consecuencias lgicas de los axiomas. Puesto
que algunos de los teoremas son tiles para demostrar otros, se
recomienda una deduccin larga para todas las partes. Si se da
una deduccin larga, indquese al final qu lnea de deduccin
corresponde a cada teorema. Cercirese de que ningn teorema
depende de ms de los cinco axiomas y premisas dadas.












TEOREMA 1. () (

).T1

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / () (

)
6. () PA
7. (

) () EU 4
8. (

) MT 6, 7
9. (

) DN 8
10. () (

) PC 6, 9
11. () (

) GU 10

TEOREMA 2. () (

) .T2

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / () (

)
6. () PA
7. (

) () EU 3
8. (

) MT 6, 7
9. () (

) PC 6, 8
10. () (

) GU 9

TEOREMA 3. ( ) ( ) .T3

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / ( ) ( )
6. ( ) PA
7. ( ) ( ) EU 1
8. ( ) MT 6, 7
9. ( ) ( ) PC 6, 8
10. ( ) ( ) GU 9


TEOREMA 4. ( ) () () .T4

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / ( ) () ()
6. ( ) () PA
7. ( ) (

) () EU 5
8. (

) () EU 3
9. () (

) EU T1
10. () 6 Simp.
11. (

) MP 9, 10
12. ( ) Simp. 6
13. ( ) (

) Conj. 11, 12
14. () MP 7, 13
15. ( ) () () PC 6, 14
16. ( ) () () GU 15

TEOREMA 5. ( ) () () .T5

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / ( ) () ()
6. ( ) PA
7. ( ) ( )

EU T1
8. ( )

MP 6, 7
9. ( ) ( ) EU 1
10. ( ) MT 6, 9
11. () ( ) EU 2
12. () MT 10, 11
13. () ( ) EU 2
14. () MT 6, 13
15. () () Conj. 14, 12
16. ( ) () () PC 6, 15
17. ( ) () () GU 16



TEOREMA 6. () () ( ).T6

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / () () ( )
6. () () PA
7. () Simp. 6
8. () Simp. 6
9. ( ) (

) () EU 5
10. ( ) (

) MT 8, 9
11. ( ) (

) De M. 10
12. (

) () EU 4
13. (

) MT 7, 12
14. ( ) SD 11, 13
15. () () ( ) PC 6, 14
16. () () ( ) GU 15

TEOREMA 7. (

().T7

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / (

()
6. (

) EU 3
7. (

) () EU 4
8. (

() SH 6, 7
9. () (

) EU T2
10. (

) (

EU T1
11. () (

SH 9, 10
12. (

() () (

Conj. 8, 11
13. (

() Def. 12






TEOREMA 8. () (

) ().T8

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / () (

) ()
6. () (

) PA
7. (

) (

() EU 5
8. () Simp. 6
9. (

() EU T7
10. (

() () (

Def. 9
11. () (

Simp. 10
12. (

MP 8, 11
13. (

) Simp. 6
14. (

) (

Conj. 13, 12
15. () MP 7, 14
16. () (

) () PC 6, 15
17. () (

) () GU 16





















TEOREMA 9. ( )

.T9

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / ( )

6. ( )

PA
7. ( )

IC 6
8. (( )

) EE 2
9. ( ( )

) (( )

) EU T8
10. ( ( )

) MT 8, 9
11. () ( ( )

) EU 2
12. () MT 10, 11
13. (( )

) (( )

) EU 2
14. (( )

) MT 8, 13
15. (( )

) ( ) EU 4
16. ( ) MP 14, 15
17. () () ( ) EU T6
18. () () MT 16, 17
19. () () De M. 18
20. () Idemp. 19
21. () () Conj. 12, 20
22. [( )

] () () PC 6, 21
23. [( )

] PRA 22
24. [( )

] DN 23















TEOREMA 10. (

( )).T10

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / (

( ))
6. (

( )) PA
7. (

( )) IC 6
8. (

( )) IC 7
9. (

( )) EE 8
10. (

) (

( )) EU 2
11. (

) MT 9, 10
12. (

) () EU 4
13. () MP 11, 12
14. (

( )) (

) ( ) EU 5
15. (

) ( ) MP 14, 9
16. ( ) Simp. 15
17. ( ) ( ) EU T3
18. ( ) MP 16, 17
19. () ( ) EU 2
20. () MT 18, 19
21. () () Conj. 13, 20
22. (

( )) () () PC 6, 21
23. (

( )) PRA 22
24. (

( )) DN 23















TEOREMA 11. (( )

( )).T11

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / (( )

( ))
6. (( )

( )) PA
7. (( )

( )) IC 6
8. (( )

( )) IC 7
9. (( )

( )) EE 8
10. (( )

( )) (( ) ( )

) EU T3
11. (( ) ( )

) MP 9, 10
12. ( )

(( )

( )) EU 2
13. ( )

MT 11, 12
14. ( )

( ) EU 4
15. ( ) MP 13, 14
16. ( ) (( ) ( )

) EU 2
17. ( ) MT 16, 11
18. ( ) ( ) MP 17, 18
19. ( ) MP 17, 18
20. ( ) ( ) Conj. 15, 19
21. (( )

( )) ( ) ( ) PC 6, 20
22. (( )

( )) PRA 21
23. (( )

( )) DN 22
















TEOREMA 12. (

( )

( ).T12

A1. ( ) ( )
A2. () ( )
A3. (

) ()
A4. (

) ()
A5. ( ) (

) () / (

( )

( )
6. (

( )

( ) PA
7. (

( )

( ) IC 6
8. (

( )

( ) IC 7
9. (

( )

( ) IC 8
10. (

( )

( ) EE 9
11.(

( )

( ) ( )

( ) (

EU T3
12. ( )

( ) (

MP 10, 11
13. ( )

( ) ( )

( ) (

EU 2
14. ( )

( ) MT 12, 13
15. (

( )

( ) EU 2
16. (

MT 10, 15
17. (

) EU 4
18. (

) MP 16, 17
19. (

) () (

) EU T6
20. ((

) ()) MT 18, 19
21. (

) () De M. 20
22. ( )

( ) ( )

( ) EU T5
23. ( )

( ) MP 14, 22
24. ( )

Simp. 23
25. ( ) Simp. 23
26. ( )

( ) EU 4
27. ( ) MP 24, 26
28. () ( ) EU 2
29. () MT 25, 28
30. ( ) () () EU T4
31. ( ) () Conj. 27, 29
32. () MP 30, 31
33. () (

) EU T2
34. (

) MP 32, 33
35. () SD 21, 34
36. ( ) () () EU T5
37. () () MP 25, 36
38. () Simp. 37
39. () () Conj. 35, 38
40. (

( )

( ) () () PC 6, 40
41. (

( )

( ) PRA 40
42. (

( )

( ) DN 41