Está en la página 1de 9

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Per, Decana de Amrica



FACULTAD DE LETRAS Y CIENCIAS HUMANAS

Unidad de Posgrado





TAREA 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. 96-97.

EJERCICIOS

11. En la teora del comportamiento racional, que tiene
aplicaciones en economa, tica y psicologa, es de importancia
el concepto de individuo que prefiere un objeto o estado de
cosas a otro. Podemos decir que un individuo prefiere
dbilmente x a y, si no prefiere estrictamente y a x. Usamos el
concepto de preferencia dbil por comodidad formal, pues si
usamos preferencias estrictas necesitaramos tambin un
concepto de indiferencia. La medula del presente ejercicio
consiste en la demanda de que, sobre la base de las dos
sencillas propiedades postuladas de preferencia dbil y las
definiciones adecuadas de preferencia estricta e indiferencia,
en funcin de preferencia dbil, se demuestra que es posible
inferir lgicamente todas las propiedades esperadas de
preferencia estricta y de indiferencia. sese Q para
preferencia dbil, P para preferencia estricta e I para
indiferencia. Los dos postulados o premisas sobre el predicado
Q dicen solamente que es transitivo, y que de dos objetos
cualesquiera del dominio de objetos que se consideran, uno es
preferido dbilmente al otro. En notacin simblica:

(1) ()()()( )

(2) ()()( )

Como premisas adicionales introduciremos las dos definiciones
obvias:

(3) ()()( )

(4) ()()( )

Dedzcanse las ocho conclusiones siguientes de estas cuatro
premisas:




(a) () ()

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / () ()
5. EU 2
6. Idem. 5
7. EU 3
8. ( ) ( ) Def. 7
9. ( ) Simp. 8
10. Idem. 9
11. MP 6, 10
12. () () GU 11


(b) ()()( )

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()()( )
5. PA
6. EU 3
7. ( ) ( ) Def. 6
8. ( ) Simp. 7
9. MP 5, 8
10. Conmut. 9
11. EU 3
12. ( ) ( ) Def. 11
13. Simp. 12
14. MP 10, 13
15. PC 5, 14
16. ()()( ) GU 15






(c) ()()()( )

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()()()( )
5. PA
6. EU 3
7. ( ) ( ) Def. 6
8. ( ) Simp. 7
9. Simp. 5
10. MP 8, 9
11. EU 3
12. ( ) ( ) Def. 11
13. Simp. 12
14. Simp. 5
15. MP 13, 14
16. EU 1
17. Simp. 10
18. Simp. 15
19. Conj, 17, 18
20. MP 16, 19
21. EU 1
22. Simp. 15
23. Simp. 10
24. Conj. 22, 23
25. MP 21, 24
26. EU 3
27. ( ) ( ) Def. 26
28. Simp. 27
29. Conj. 20, 25
30. MP 28, 29
31. PC 5, 30
32. ()()()( ) GU 31







(d) ()()( )

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()()( )
5. PA
6. EU 4
7. ( ) ( ) Def. 6
8. Simp. 7
9. MP 5, 6
10. EU 2
11. SD 9, 10
12. EU 4
13. ( ) ( ) Def. 12
14. Simp. 13
15. MT 11, 14
16. PC 5, 15
17. ()()( ) GU 16






















(e) ()()()( )

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()()()( )
5. PA
6. EU 4
7. ( ) ( ) Def. 6
8. Simp. 7
9. ( ) EU 1
10. ( ) Export 9
11. EU 4
12. ( ) ( ) Def. 11
13. Simp. 12
14. Simp. 5
15. MP 13, 14
16. EU 2
17. SD 15, 16
18. MP 10, 17
19. EU 4
20. ( ) ( ) Def. 19
21. Simp. 20
22. Simp. 5
23. MP 21, 22
24. MT 18, 23
25. MP 8, 24
26. PC 5, 25
27. ()()()( ) GU 26












(f) ()() ( ( ))

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()() ( ( ))
5. PA
6. EU 3
7. ( ) ( ) Def. 6
8. Simp. 7
9. MP 5, 8
10. EU 4
11. ( ) ( ) Def. 10
12. Simp. 11
13. Simp. 9
14. MT 12, 13
15. EU 4
16. ( ) ( ) Def. 15
17. Simp. 16
18. Simp. 9
19. MT 17, 18
20. Conj. 14, 19
21. ( ) De M. 20
22. ( ) PC 5, 21
23. ()() ( ( )) GU 22
















(g) ()()()( )

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()()()( )
5. PA
6. EU 3
7. ( ) ( ) Def. 6
8. Simp. 7
9. Simp. 5
10. MP 8, 9
11. EU 4
12. ( ) ( ) Def. 11
13. Simp. 12
14. Simp. 5
15. MP 13, 14
16. ( ) EU 1
17. ( ) MT 15, 16
18. De M. 17
19. Simp. 10
20. SD 18, 19
21. EU 4
22. ( ) ( ) Def. 21
23. Simp. 22
24. MP 20, 23
25. PC 5, 24
26. ()()()( ) GU 20













(h) ()()()( )

(1) ()()()( )
(2) ()()( )
(3) ()()( )
(4) ()()( ) / ()()()( )
5. PA
6. EU 3
7. ( ) ( ) Def. 6
8. Simp. 7
9. Simp. 5
10. MP 8, 9
11. EU 4
12. ( ) ( ) Def. 11
13. Simp. 12
14. Simp. 5
15. MP 13, 14
16. EU 1
17. ( ) MT 15, 16
18. De M. 17
19. Simp. 10
20. SD 18, 19
21. EU 4
22. ( ) ( ) Def. 21
23. Simp. 22
24. MP 20, 23
25. PC 5, 24
26. ()()()( ) GU 25

También podría gustarte