Segunda Tarea de Lógica Del Libro de Suppes

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: [email protected]

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

Segunda Tarea de Lógica Del Libro de Suppes

Cargado por

Copyright:

Formatos disponibles

Segunda Tarea de Lógica Del Libro de Suppes

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Segunda Tarea de Lógica Del Libro de Suppes

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Per, Decana de Amrica

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

También podría gustarte