Tarea 5 de Lgica 1. Considera la siguiente afirmacin: No debemos tener miedo a la muerte.

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 #unto por cada $rgumento! en total % puntos Argumento a favor: $ fin de cuentas! todos vamos a morir. &i la muerte es algo que a todos nos va a pasar no deber'amos temerle. #or esto! no debemos tener miedo a la muerte. Tipo de argumento: Deductivo Argumento en contra: La muerte es destruccin! es sombra! es olvido. (adie sabe qu" )ay m*s all* de la muerte! seguramente nada! no )ay ser. +l )ombre nunca podr* adaptarse a la muerte. Todas estas cosas son negativas! debemos temer a las cosas negativas. La muerte es negativa. #or lo tanto! debemos tener miedo a la muerte. Tipo de argumento: Deductivo %. Demuestra que las siguientes frmulas son teoremas del sistema MU (que vimos en la presentacin . (1 punto cada una! en total , puntos . I. MUUIIU 1. -. %. -.. 1. -.... ,. -........ 5. -2..... 3. -22.. 4. -22..2 $/ 0T1 (1 0T1 (% 0T1 (1 0T1 (, 0T1 (5 0T% (3

II. MUIUIU 1. -. %. -.. 1. -.... ,. -........ 5. -2..... 3. -2.2. 4. -2.2.2 $/ 0T1 (1 0T1 (% 0T1 (1 0T1 (, 0T1 (5 0T% (3

III. MUUII 1. -. %. -.. 1. -.... ,. -........ 5. -2..... 3. -22.. IV. MUIU 1. -. %. -.. 1. -.... ,. -2. 5. -2.2 $/ 0T1 (1 0T1 (% 0T1 (1 0T% (, $/ 0T1 (1 0T1 (% 0T1 (1 0T1 (, 0T1 (5

1. Construye tu propio sistema formal! las reglas de formacin deben ser recursivas. (, puntos

SISTEMA FORMAL AD ota ac!aratoria: &i bien para este sistema formal me inspir" en la secuencia de nucl"otidos del $D(! no estoy apelando a su significado! ni al de las bases nitrogenadas! ni al de los amino*cidos que se podr'an producir de una secuencia. (inguno de estos significados se apelan en las reglas de formacin.

LE "UA#E FORMAL AD VO$A%ULARIO: $! 5! C! T RE"LAS DE FORMA$I& : RF': +s frmula del &istema $D( cualquier secuencia finita de s'mbolos que o bien empiece con $! o bien con 5! o bien con C! o bien con T. RF(: &i y son frmula del &istema $D(! entonces pueden ser frmulas del &istema $D(: o bien $! o bien 5! o bien C! o bien T. RF): &i es frmula del &istema $D(! entonces pueden ser frmulas del &istema $D( o bien $$! o bien 55! o bien CC! o bien TT. $$: &lo son frmulas del &istema $D( aquellas que fueron formadas por las 06 1! % o 1.

TEOR*A DE +RUE%A A,IOMAS: A': $5T$ A(: $CT$5$ RE"LAS DE TRA SFORMA$I& : RT': 7$787T7 RT(: 75787C7 RT): 7$57875$7 RT-: 8 TTTTTTTTT RT.: 8 $$$$$$$$$

,. 9onus para :o:os (; punto para la tarea : <uan conoce a #edro (un su=eto muy e/tra:o ! que siempre miente. +n alguna ocasin <uan y #edro estuvieron c)arlando toda una tarde. >Cu*l de las siguientes oraciones no pudo ser dic)a por #edro en esa conversacin (ni en ninguna otra ? d/ A!guno0 1om2re0 0iempre mienten.

5. +=ercicio para medio punto e/tra: #resentar un argumento filosfico deductivo! indicar de dnde fue e/tra'do! indicar de manera clara cu*les son las premisas y cu*l es la conclusin. (; punto para el e/amen 1 +ar3fra0i0 de un argumento de San Agu0t4n acerca de! pro2!ema de! ma!: $ita0 de San Agu0t4n 5ue dan e! argumento:

@7A en el libre albedr'o de la voluntad )umana est* la causa de que )agamos el mal @7A $l preguntarme pues qu" es la maldad me encontr" con que no es sustancia alguna! sino slo la perversidad de un albedr'o que se tuerce )acia las cosas inferiores apart*ndose de la suma sustancia que eres tB @DiosA y que arro=a de s' sus propias entra:as qued*ndose slo con su )inc)aCn. @7A (o e/iste ni puede e/istir quien piense que )ay algo m*s e/celente que tB @DiosA! pues eres el sumo bien. @7A +s pues imposible que la corrupcin pueda de alguna manera violar a nuestro DiosD por ninguna voluntad! por ninguna necesidad! por ningBn caso imprevisto +ar3fra0i0 de! argumento: Lo propio del )ombre es la raCn! su carencia genera el mal. +l mal sur=e por el mal uso del )ombre de su libre albeldr'o. #or lo tanto el )ombre es el responsable del mal y no Dios. +remi0a0: E Lo propio del )ombre es la raCn! su carencia genera el mal. E +l mal sur=e por el mal uso del )ombre de su libre albeldr'o. $onc!u0i6n: E +l )ombre es el responsable del mal y no Dios E7tra4do de: &an $gust'n. Confesiones. -adrid: 9iblioteca de $utores Cristianos.