Tarea de Lgica

1. Considera la siguiente afirmacin: La comunidad de la Facultad de Filosofa y Letras de la UNAM tiene el deber de reflexionar sobre la situacin actual del pas. 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 (de preferencia deductivos) indica de qu! tipo de argumento se trata (1"# $unto por cada %rgumento en total 1 puntos) Argumento a favor: &i la 'niversidad (acional %utnoma de )!*ico es una institucin p+blica debe de refle*ionar acerca de la crisis sistemica nacional. La ,acultad de ,ilosof-a y Letras de esta universidad es un espacio esencial para esto donde pueden reunirse e*pertos en diversos temas para dialogar y proponer una solucin a esta crisis social pol-tica y econmica del pa-s. $or esto la comunidad de esta facultad tiene el deber de llevar a cabo los mecanismos necesarios para que se d! esta refle*in. Tipo de argumento: Deductivo Argumento en contra: La ,acultad de ,ilosof-a y Letras de la 'niversidad (acional %utnoma de )!*ico tiene carreras donde la refle*in de aspectos nacionales no son importantes. .n todo caso se podr-a pensar que en filosof-a geograf-a o estudios latinoamericanos se podr-an discutir. $ero en estas carreras /acen refle*iones utpicas comple0as que no tienen relacin directa ni con la pra*is pol-tica ni con la econmica. $or esto no es un deber para esta facultad /acer una refle*in de la crisis actual del pa-s eso le corresponde a otras escuelas como la ,acultad de .conom-a la de Derec/o o a los mismos gobernadores. Tipo de argumento: Deductivo.

#. Da la tabla de verdad de las siguientes frmulas y determina en cada caso si la frmula es una tautolog-a una contingencia o una contradiccin.(1"# $unto por cada tabla de verdad en total 1 puntos) 2 . ($ 3) ($ 43) $ 3 ($ 3) ( $ 4 3)

5 5 , ,

5 , 5 ,

5 5 , ,

5 , , ,

5 , 5 ,

V V V V

5 , , ,

, , 5 5

5 5 , ,

, 5 5 5

, 5 , 5

5 , 5 ,

Tipo de frmula: T%'T6L678%

22. (4$ 3) ($ 43) $ 5 5 , , 3 5 , 5 , (4 , , 5 5 $ 5 5 , , , , 5 , 3) 5 , 5 , F V F V 5 , , , ( , , 5 5 $ 5 5 , , , 5 5 5 4 , 5 , 5 3) 5 , 5 ,

Tipo de frmula: C6(T2(7.(C2%

222. $ 3 $ 5 5 , , 3 5 , 5 , $ 5 5 , , F V V F , 5 , 5 3 5 , 5 ,

Tipo de frmula: C6(T2(7.(C2%

25. (9$ 3:) 9(43 4$:) $ 5 5 , 3 5 , 5 ($ 5 5 , 5 , 5 3:) 5 , 5 V V V 9(4 , 5 , 3 5 , 5 5 , 5 4 , , 5 $:) 5 5 ,

Tipo de frmula: T%'T6L678% 5. ($ 43) 43 $ 5 5 , , 3 5 , 5 , ($ 5 5 , , , 5 5 5 4 , 5 , 5 3) 5 , 5 , F V V V 4 , 5 , 5 3 5 , 5 ,

Tipo de frmula: C6(T2(7.(C2% 52. 4(4$ 3) ; $ 5 5 5 5 , , , , 3 5 5 , , 5 5 , , ; 5 , 5 , 5 , 5 , 4 , , 5 5 , , , , (4 , , , , 5 5 5 5 $ 5 5 5 5 , , , , 5 5 , , 5 5 5 5 3) 5 5 , , 5 5 , , F V V F F V F V ; 5 , 5 , 5 , 5 ,

Tipo de frmula: C6(T2(7.(C2%

522. (4$ 4;) ; $ 5 5 ; 5 , (4 , , $ 5 5 , 5 4 , 5 ;) 5 , V V ; 5 ,

, ,

5 ,

5 5

, ,

5 5

, 5

5 ,

V V

5 ,

Tipo de frmula: T%'T6L678% 5222. ($ 3) 4(3 4$) $ 5 5 , , 3 5 , 5 , ($ 5 5 , , 5 , 5 5 3) 5 5 5 , F F F F 4 , 5 , , (3 5 , 5 , 5 , 5 5 4 , , 5 5 $) 5 5 , ,

Tipo de frmula: C6(T;%D2CC2<( 2=. $ ($ 3) $ 5 5 , , 3 5 , 5 , $ 5 5 , , V V F V ($ 5 5 , , 5 , , 5 3) 5 , 5 ,

Tipo de frmula: C6(T2(7.(C2% =. $ ($ ) $ 5 , $ 5 , F F ($ 5 , , 5 ) , ,

Tipo de frmula: C6(T;%D2CC2<( >. %nali?a los siguientes argumentos con el m!todo de condicional asociado y cada caso d- si el argumento es v@lido o inv@lido (tienes que incluir la tabla de verdad) en caso de que sea v@lido demu!stralo tambi!n usando deduccin natural. (1 $unto por cada argumento en total 1 puntos) a) 1. 4($ 3) " ($ 43)

.l condicional asociado al argumento es 4($ 3) ($ 43) P Q 4 ( $ 3 ) V V F V F V , 5 5 5 5 , , 5 , , , 5 , 5 , V V V V

$ 5 5 , ,

, 5 5 5

4 , 5 , 5

3 ) 5 , 5 ,

F F 5 .l argumento es VLIDO

Demostracin por deduccin natural: 1. 4($ 3) " ($ 43) #. $ &up. >. 4$ 43 L) (1) A. 4$ &up. 1. 2 (# A) B. 43 . (1) C. 43 &up. D. 43 . (> AEC) F. $ 43 2 (#ED) b) 1. $ 3 #. 4(4$ 3)

" 4;

.l condicional asociado al argumento es G($ 3) 4(4$ 3)H 4; P Q R G( $ 3 ) 4 ( 4 $ V V V V F F F F V V F F V V F F V F V F V F V F 5 5 5 5 , , , , 5 5 , , 5 5 5 5 5 5 , , 5 5 , , , , , , , , , , , , 5 5 , , , , , , , , 5 5 5 5 5 5 5 5 , , , ,

5 5 , , 5 5 5 5

3 )H 5 5 , , 5 5 , , V V V V V V V V

4 , 5 , 5 , 5 , 5

; 5 , 5 , 5 , 5 ,

.l argumento es VLIDO. Demostracin por deduccin natural: 1. $ 3 #. 4(4$ 3) " 4; >. $ 43 L) (#)

A. $ 1. 3 B. 43 C. D. 4; c) 1. 4(3 4$) #. 4$ 43 " $ 43

. (>) . (1 A) . (>) 2 (1 B) . (C)

.l condicional asociado al argumento es G4(3 4$) (4$ 43)H ($ 43) P V V F Q G4 ( 3 V F V 5 5 , 5 , 5 , , 5 4 , , 5 $ ) ( 4 5 5 , , 5 , , , 5 $ 5 5 , , , 5 5 5 4 , 5 , 5 3 )H ( 5 , 5 , V V V F $ 5 5 , , , 5 5 , 4 , 5 , 5 3) 5 , 5 ,

F F 5 , , 5 , 5 5 .l argumento es una contingencia es inv ido. d) 1. $ (4; 3) #. 4$ 4; " $ 3

.l condicional asociado al argumento es GG$ (4; 3)H (4$ 4;)H ($ 3) P V V V V F F F F Q V V F F V V F F R GG$ V F V F V F V F 5 5 5 5 , , , , ( 4 5 5 , 5 , , , , , 5 , 5 , 5 , 5 ; 5 , 5 , 5 , 5 , 5 5 , 5 5 5 , 5 3 )H ( 5 5 , , 5 5 , , , 5 , 5 , , , , 4 , , , , 5 5 5 5 $ 5 5 5 5 , , , , , 5 , 5 5 5 5 5 4 , 5 , 5 , 5 , 5 ; )H ( 5 , 5 , 5 , 5 , V V V F V V V V $ 5 5 5 5 , , , , 5 5 , , , , , , 3) 5 5 , , 5 5 , ,

.l argumento es una contingencia es inva ido. e) 1. 4$ 3 #. 3 ; >. 4; $

" $ .l condicional asociado al argumento es GG(4$ 3) (3 ;)H (4; $)H $ P V V V V F F F F Q V V F F V V F F R GG(4 V F V F V F V F , , , , 5 5 5 5 $ 5 5 5 5 , , , , 5 5 5 5 5 5 , , 3 ) ( 3 5 5 , , 5 5 , , , 5 5 5 , 5 , , 5 5 , , 5 5 , , , 5 5 5 , 5 5 5 , 5 , 5 , 5 , 5 ; )H ( 4 5 , 5 , 5 , 5 , , 5 5 5 , , , , , 5 , 5 , 5 , 5 ; 5 , 5 , 5 , 5 , , 5 5 5 5 , 5 , $ )H 5 5 5 5 , , , , V V V V V V V V $ 5 5 5 5 , , , ,

.l argumento es VLIDO Demostracin por deduccin natural: 1. 4$ 3 #. 3 ; >. 4; $ " $ A. 4$ ; 1. 3 $ B. 3 $ C. 3 D. 44$ F. $ 1J. $ 11. $

&I (1 #) &I (# >) D2) (1) &up. )T (1 C) D( (D) &up. . (B CE1J)