Lgica 1 (2012-1)

Mtro. Cristian A. Gutirrez Tarea 8 Nombre: Leonardo Andrs Cspedes Crdenas Grupo: 1122

1. Considera la siguiente afirmacin: Cada individuo tiene el derecho de elegir si consume drogas o no lo hace. 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, indica de qu tipo de argumento se trata (1/2 Punto por cada Argumento, en total 1 puntos) Argumento a favor: El Estado no puede impedirnos realizar acciones que pongan en riesgo nuestra salud, slo puede advertirnos los daos de salud mediante las instituciones correspondientes. As, somos libres de decidir si consumimos alcohol, o fumamos cigarro, si comemos comida chatarra, o si tenemos relaciones sexuales sin condn. Si tenemos esta libertad de decisin y estamos bien informados, cada uno de nosotros debera poder elegir si consume drogas o no. Tenemos esta libertad, es un derecho individual, as como nuestro derecho a estar bien informados. Por lo tanto, cada individuo tiene el derecho de elegir si consume drogas o no. Tipo de argumento: Es deductivo, pero tambin ocupa analogas (el alcohol, cigarro, etc.). Argumento en contra: Slo si las dorgas no fueran un problema de salud mundial podramos tener derecho a elegir si las consumimos o no. Es falso que las drogas no causan problemas de salud, est demostrado que daan nuestro cuerpo, generan violencia, prdida, aislamiento y degradacion social en todas las personas que las consumen alrededor del mundo. Por esto, cada individuo no tiene el derecho a decidir si consume drogas o no. Tipo de argumento: Deductivo (Modus Tolens). 2. Utilizando el mtodo de Deduccin Natural visto en clase, demuestra que los siguientes argumentos son vlidos. (! punto cada uno, para un total de 5 puntos) a) 1. P ! Q b) 1. P ! Q /" (P $ Q) 2. R ! T 2. P Hip. 3. S ! W 3. Q E! 1 /" (P ! #) ! (W ! S) 4. P $ Q I$ (2-3) 4. P E! 1 5. T E! 2 c) 1. P ! Q /" (Q $ P) 6. P ! T I! (4, 5) 2. Q Hip. 3. P E! 1 7. (P ! T) ! (W ! S) I! (6, 3) 4. Q $ P I$ (2-3)

d) 1. P $ (R ! Q) 2. P ! T 3. T $ S /" Q ! S 4. P E! 2 5. R ! Q E$ (1, 4) 6. Q E! 5 7. T E! 2 8. S E$ (3, 7) 9. Q ! S I! (6, 8) e) 1. Q /" (Q % #) % S 2. Q % # 3. (Q % #) % S f) 1. P % Q 2. R % T 3. ~P ! ~T /" Q ! R 4. P 5. ~P 6. & 7. Q 8. Q 9. Q 10. R 11.T 12. ~T 13. & 14. R 15. R 16. Q ! R g) 1. P ! Q /" ~(~P % 'Q) 2. ~P % 'Q 3. ~P 4. P 5. & 6. ~Q 7. Q 8. & 9. & 10. ~(~P % 'Q)

h) 1. P % Q /" ~(~P ! 'Q) 2. ~P % 'Q 3. P 4. ~P 5. & 6. Q 7. ~Q 8. & 9. & 10. ~(~P ! 'Q) i) 1. Q 2. Q $ P /" (P ) Q) 3. P 4. Q 5. P $ Q 6. (Q $ P) ! (P $ Q) 7. P ) Q j) 1. P ! Q 2. Q $ ~P /" S 3. Q 4. ~P 5. P 6. & 7. S E! 1 E$ (2, 3) E! 1 (& (4, 5) E& 6

Hip. Hip. E! 2 (& (3, 4) Hip. E! 2 I& (6, 7) Ev (1, 3-8) I~ (2-9)

I% 1 I% 2

Hip. E! 3 I& (4,5) E& 6 Hip. Ev (1, 4-8) Hip. Hip. E! 3 I& (11,12) E& (13) Ev (2,10-14) I! (9, 15)

Hip. Rep. 1 I$ (3-4) I! (2, 5)

Hip. Hip. E! 1 (& (3, 4) Hip. E! 1 I& (6, 7) Ev (2, 3-8) (~ (2-9)

3. Formaliza las siguientes oraciones, incluye el diccionario en cada caso. (1/2 punto cada una, para un total de 4 puntos): a) Juan cree que todos los filsofos son unos intiles. Diccionario: P: Juan cree que todos los filsofos son unos intiles. Formalizacin: P b) Juan cree que todos los filsofos son unos intiles y que deberan hacer algo de provecho. Diccionario: P: Juan cree que todos los filsofos son unos intiles. Q: Juan cree que los filsofos deberan hacer algo de provecho. Formalizacin: P ! Q c) Juan cree que todos los filsofos son unos intiles, sin embargo estudi filosofa. Diccionario: P: Juan cree que todos los filsofos son unos intiles. Q: Juan estudi filosofa. Formalizacin: P ! Q d) Slo si comprendemos el lenguaje, podremos comprender la estructura de la realidad. Diccionario: P: Podemos comprender la estructura de la realidad. Q: Comprendemos el lenguaje. Formalizacin: P$Q e) O bien sucede que es necesario que exista una realidad objetiva independiente de nosotros para defender el realismo, o bien sucede que es suficiente para aceptar el realismo que aceptemos que todos compartimos la misma realidad aunque dependa de nosotros. Diccionario: P: Aceptamos el realismo. Q: Existe una realidad objetiva independiente de nosotros. R: Aceptamos compartir la misma realidad. S: La realidad depende de nosotros. Formalizacin: (P $ Q) v ((R ! S) $ P)

f) Carnap sostena que la filosofa es nicamente anlisis lgico, pero si es cierto que la filosofa slo es anlisis lgico, la metafsica no sera filosofa. Diccionario: P: Carnap sostena que la filosofa es nicamente anlisis lgico. Q: La filosofa slo es anlisis lgico. R: La metafsica no es filosofa. Formalizacin: P ! (Q $ R) g) La vida es muy compleja, pero si fuese simple no tendra sentido vivirla. P: La vida es compleja. Q: La vida es simple. R: No tiene sentido vivir la vida. Formalizacin: P ! (Q $ R) h) No es cierto que quiero sacarme el Melate y gastarlo en viajes alrededor del mundo. P: Quiero ganar el Melate. Q: Quiero gastar lo ganado en el Melate en viajes por el mundo. Formalizacin: ~(P ! Q) 4. Bonus para oos (! punto): En la isla de los caballeros y los bribones, en donde los primeros siempre dicen la verdad y los segundos siempre mienten, en una ocacin un visitante escucho una conversacin entre 3 nativos cuyos nombres eran Pedro, Luis y Jos. El visitante no saba de ninguno si era un caballero o un bribon. La conversacin fue como sigue: Jos (refiriendose a Luis): Eres un bribon. Luis: Yo soy bribon si y slo si Pedro tambin lo es. Pedro: Yo no soy bribon slo si Jos es bribon. Al escuchar esto el visitante supo de qu tipo de isleos se trataba. Qu tipo de isleos eran? a) Pedro: caballero, Luis: bribon, Jos: caballero. b) Pedro: bribon, Luis: bribon Jos: caballero. c) Pedro: bribon, Luis: caballero, Jos: bribon. d) Pedro: caballero, Luis: caballero, Jos: bribon. e) Pedro: caballero, Luis: caballero, Jos: caballero.