Lgica 2 (2013-1)

Mtro. Cristian A. Gutirrez http://espanol.groups.yahoo.com/group/logicaUNAM2013/ Tarea 8

(Grupo 0004 entrega el lunes 1 de abril) (Grupo 0022 entrega el martes 2 de abril)

Nombre:____________________________________________ Grupo:________________
INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a computadora, tiene que ser entregada el da que se indica arriba y tiene que estar engrapada.

1. Demuestra que los siguientes son argumentos vlidos usando deduccin natural (puedes usar todas las reglas) (1 PUNTO cada una, para un total de 2 punto):

a) 1. S (S T) 2. ~S (S ~S) / S T 3. ~S 4. S ~S 5. S 6. 7. S 8. S T 9. S 10. T 11. S T 12. T 13. S 14. T S 15. (S T) (T S) 16. S T

hip. E (2,3) E (4) I (3,5) E~(3-6) E (1,7) hip. E (8) I (9-10) hip. E (8) I (12-13) I (11,14) I (15)

b) 1. S P / (S ~S) (P ~P) 2. (S P) (P S) 3. S ~S 4. S 5. S P 6. P 7. P ~P 8. ~S 9. P S 10. P 11. S 12. 13. ~P 14. P ~P 15. P ~P 16. (S ~S) (P ~P)

E(1) hip. hip. E (2) E (4,5) I (6) hip. E (2) hip. E (9,10) I (8,11) I~ (10-12) I (13) E (3, 4-14) I (3-15)

2. Analiza el siguiente argumento mediante el mtodo de rboles de verdad. Indica si el argumento es vlido o invlido, en caso de que sea invlido da una asignacin de valores de verdad que lo demuestra. (2 puntos) c) 1. P Q 2. Q P 3. P Q / (P (Q P)) P

rbol de verdad:

PQ QP P Q ~((P (Q P)) P) ~P Q P ~Q P (Q P) ~P ~Q ~P P ~Q

~Q ~P P (Q P) ~P ~P QP ~Q P

~P

QP ~Q P

Como quedan ramas del rbol abiertas, podemos garantizar que el argumento es invlido. Una asignacin de valores que lo muestra es v(P)=F y v(Q)=F (de hecho es la nica). 3. Contesta las siguientes preguntas ( PUNTO cada una, para un total de 5 puntos) I. El mejor libro de Gabriel Garca Mrquez no es Cien aos de soledad, sino El otoo del patriarca. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: a: Gabriel Garca Mrquez, a': Cien aos de soledad, a'': El otoo delo patriarca, f1x: el mejor libro de x) (Dominio de discurso: Todos los seres humanos y todos los libros) a) ~(f1(a) = a'') (f1(a) = a') b) ~(f1(a) = a'') (f1(a) = a'') c) ~(f1(a) = a') (f1(a) = a'') d) ~(f1(a) = a') (f1(a) = a') II. Si Juan es libre, entonces es un agente moral y es responsable de sus actos. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: a: Juan, Px: x es libre, P'x: x es un agente moral, P''x: x es responsable de sus actos) (Dominio de discurso: Todas los seres humanos) a) P(a) (P'(a) P''(a)) b) P(a) (P'(a) P''(a)) c) (P(a) (P'(a)) P''(a) d) P(a) (P'(a) P''(a))

III. Pancracio se titular siempre y cuando termine su tesis. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: a: Pancracio, f1x: la tesis de x, Px: x se titula, R2xy: x termina y) (Dominio de discurso: todos los seres humanos y todas las tesis) a) P(a) R2(a, f1(a)) b) P(a) R2(a, f1(a)) c) R2(f1(a),a) P(a) d) P(a) R2(f1(a),a) IV. Todos los seres humanos tienen debilidad de la voluntad. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: Px: x es ser humano, P'x: x tiene debilidad de la voluntad) (Dominio de discurso: Los seres vivos) a) x(P'(x) P(x)) b) x(P(x) P'(x)) c) xP'(x) P(x) d) xP(x) P(x) V. Existen filsofos que no son moralmente cuestionables. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: Px: x es filsofo, P'x: x es moralmente cuestionable) (Dominio de discurso: Los seres humanos) a) ~x(P(x) P(x)) b) x(~P(x) P(x)) c) x~(P(x) P'(x)) d) x(P(x) ~P'(x))

VI. Los filsofos no son intiles. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: Px: x es filsofo, P'x: x es intil) (Dominio de discurso: Los seres humanos) a) ~x(P(x) P'(x)) b) x~(P(x) P'(x)) c) x(~P(x) P'(x)) d) x(P(x) ~P'(x)) VII. Existe un abogado que no es corrupto y adems es poltico . Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: Px: x es abogado, P'x: x es corrupto, P''x: x es poltico) (Dominio de discurso: Los seres humanos) a) x((P(x) ~P'(x)) P''(x)) b) x((P(x) P'(x)) P''(x)) c) x(P(x) ~(P'(x) P''(x))) d) x((~P(x) P'(x)) ~P''(x))

VIII. No existe un filsofo que adems sea empresario y sea muy exitoso. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: Px: x es filsofo, P'x: x es empresario, P''x: x es exitoso) (Dominio de discurso: Los seres humanos) a) ~x((P(x) P'(x)) ~P''(x)) b) x~((P(x) P'(x)) P''(x)) c) ~x(P(x) (P'(x) P''(x))) d) x((P(x) ~P'(x)) ~P''(x)) IX. No todos los filsofos saben lgica. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: Px: x es filsofo, P'x: x sabe lgica) (Dominio de discurso: Los seres humanos) a) ~x(P(x) P'(x)) b) x~(P(x) P'(x)) c) x(~P(x) P'(x)) d) x(P(x) ~P'(x)) X. Es suficiente que la teora poltica de John Ralws sea correcta, para que exista por lo menos un pas en donde se puede aplicar. Cul es la simbolizacin ms adecuada para la oracin anterior? (Diccionario: a: John Rawls, f1x: la teora poltica de x, Px: x es correcto, P'x: x es un pas, R2xy: x se puede aplicar en y) (Dominio de discurso: los seres humanos, los pases, las teora) a) x(P'(x) R2(x,f 1(a))) P(f 1(a)) b) P(f 1(a)) x(P'(x) R2(x,f 1(a))) c) P(f 1(a)) x(P'(x) R2(f 1(a),x)) d) x(P'(x) R2(f 1(a),x)) P(f 1(a)) 4. Bonus para oos: Supongamos que estamos en la isla de los caballeros y los bribones. Nos encontramos a 3 nativos: Ludovico, Samuel y Clemente, pero no sabemos si son caballeros o bribones. Ludovico dice: Samuel y Clementes son ambos caballeros. Samuel dice: Ludovico es un bribn, pero Clemente es un caballero. Qu tipo de personas son Ludovico, Samuel y Clemente? a) Ludovico: Caballero, Samuel: Caballero, Clemente: Caballero. b) Ludovico: Bribn, Samuel: Bribn, Clemente: Caballero. c) Ludovico: Bribn, Samuel: Caballero, Clemente: Caballero. d) Ludovico: Bribn, Samuel: Bribn, Clemente: Bribn. 5. Puntos extra para el examen 4: Demuestra que las siguientes reglas son buenas reglas a partir de nuestras 12 reglas bsicas. (1.5 punto, 0.5 por cada una). Negacin del bicondicional () () () () () ()

1. () 2. 3. 4. 5. ( ) (~a ) 6. 7. 8. 9. ~ 10. 11. 12. 13. ( ) (~a ) 14. 15. 16. 17. 18. (~ ) ( ) 19. 20. () ()

hip. hip. hip. I (2,3) I (4) (5) (1,6) E~ (3-7) (28) hip. hip. I (10,11) I (12) (13) (1,14) I~ (11-15) (1016) (9,17) (18) (119)

21. hip. 22. hip. 23. hip. 24. ( ) ( ) (22) 25. (24) 26. (23,25) 27. ( ) ( ) (21) 28. (27) 29. (26,28) 30. (23,29) 31. (2330) 32. ( ) ( ) (21) 33. (32) 34. (31,33) 35. ( ) ( ) (22) 36. (35) 37. (34,36) 38. (29,37) 39. () (2238) 40. () () (2139) 41. (() ()) (() ()) (20,40) 42. () () (41)