UNIVERSIDAD NACIONAL de ingeniera

FIIS PROGRAMA DE DOCTORADO

PRUEBA DE CONOCCIMIENTOS BSICOS DE LGICA GENERAL PARA EL SEMINARIO DE EPISTEMOLOGA Y M. de a C.

Pr!"e#!r$ Dr. L%i# Pi#&!'a (er)!*a Esta prueba est diseada para diagnosticar si la persona que la responde est en condiciones de manejar conceptos, trminos, notacin y operaciones lgicas para comprender productivamente textos o conferencias sobre temas epistemolgicos, metodolgicos o de otro tipo que presuponen conocimientos de lgica general, los mismos que corresponden a un primer semestre de educacin superior. Esta prueba no debe ser entendida slo como un instrumento de evaluacin sino, principalmente, como una herramienta de aprendi aje. De+e e egir en &ada &a#! a )e,!r re#-%e#.a /%e e# & ara)en.e iden.i"i&a+ e ' 0ni&a. Para re#! 1er !# #i !gi#)!# e# ne&e#ari! /%e e e2a)inad! %.i i&e e )3.!d! de !# diagra)a# de Venn. Se re&!)ienda %.i i*ar %na 4!,a de re#-%e#.a# &!n a ,%#.i"i&a&i5n de a a .erna.i1a e egida &!)! & a1e ' &!n e n!)+re de in.ere#ad!.
67

!a lgica est diseada estrictamente para transferir o transmitir la """"""""" de unas afirmaciones a otras una ve que esta ya ha sido establecida, por medios no lgicos. a7 verdad +7 deduccin &7 informacin d7 hiptesis e7 falsedad !a expresin #$oberto cobra dinero a pesar de que no trabaja% es desde el punto de vista de la lgica a7 una proposicin conjuntiva +7 un condicional &7 un bicondicional d7 una proposicin atmica e7 de carcter informativo !a expresin #&mars a tu prjimo como a ti mismo%, no es una proposicin porque a7 es de carcter prescriptivo +7 es falsa en la prctica social &7 es descriptiva d7 slo tiene valide para los cristianos e7 es posible afirmar su falsedad '(ul de las siguientes proposiciones es molecular)
a7 +7 &7 d7 e7

87

97

:7

*+ , -+ . / En la guerra con (hile, 0iguel 1rau luch con hero2smo. 3o tomars el nombre de 4ios vano. En aquel entonces sol2amos soar que lograr2amos cambiar el mundo. El hijo de la $eyna de 5nglaterra. 6

;7

!os principios lgicos clsicos llamados de identidad, no6contradiccin y tercio excluido formulados en el lenguaje lgico son7 a7 p 8 q , 9 :p ;< 9 q=, p v 9 q +7 q 8 q, 9 :q > 9 q=, q v q &7 p 8 p, 9 :p ;< 9 p=, p v 9 p d7 p 8 p, 9 :p > 9 p=, p v 9 p e7 p > 9 p, p > p, 9:p v p= '(ul es la frmula lgica que corresponde al siguiente argumento) ? usted se convierte en asceta o hace mucho dinero. ? usted no se hace asceta o ser muy famoso. Si hace dinero, ser famoso. Por tanto, ser famoso.
a7 +7 &7 d7 e7

<7

::p v q = ;< :@ p v r = ;< : q > r== > r ::p v @ q= ;< :@ p v r== ;< :q > r= > r :p v q = ;< :@ p v r= ;< :@ q >r= > r :p v q = ;< :p v r= ;< :q > r= > r :p > :q>r == v r

=7

5ndicar la conclusin que se sigue lgicamente de las siguientes premisas7 'Si Euclides hubiera estado vivo entonces hubiera demostrado la hiptesis del continuo, pero Euclides no demostr tal hiptesis, en consecuencia... '
a7 +7 &7 d7 e7

Euclides est muerto. Euclides no conoci la hiptesis del continuo. !a hiptesis del continuo es absurda. Euclides, en efecto, vive. !a hiptesis del continuo es invalida.

>7

!os condicionales contrafcticos se caracteri an porque necesariamente tienen7 a7 slo el antecedente verdadero +7 antecedente falso y consecuente verdadero &7 antecedente y consecuente falsos d7 antecedente verdadero e7 slo consecuente falso Ai el antecedente de un condicional es la conjuncin - /, entonces para que este condicional sea vlido es necesario que el consecuente sea7 a7 p q +7 q p &7 p q d7 p q e7 p p !os condicionales contrafcticos expresan preferentemente ra onamientos sobre situaciones7 a7 que simplemente no suceden +7 que son imposibles &7 posibles pero de muy dif2cil ocurrencia d7 posibles pero que no han sucedido e7 posibles pero que no sucedieron de otro modo 8

?7

6@7

667

!a negacin de la afirmacin #!os mam2feros son animales vertebrados% es7

a7 +7 &7 d7 e7

3ingBn mam2fero es vertebrado Cay al menos un mam2fero invertebrado Cay al menos un mam2fero vertebrado 3ingBn vertebrado es mam2fero Dodo mam2fero no es vertebrado

687

!a afirmacin7 Juan tuvo una decepcin y se suicid, tiene como dificultad para su formali acin mediante la frmula - /, el hecho de que la conjuncin7
a7 +7 &7 d7 e7

es distributiva es asociativa es implicativa no es conmutativa es conmutativa

697

!a afirmacin Juan es hermano de Mara es7

a7 +7 &7 d7 e7

&tmica 0olecular Ena conjuncin Ena disyuncin Equivalente a #el hermano de 0ar2a%

6:7

'(ul de las siguientes frmulas es siempre verdadera en su matri principal) a= b= c= d= e= :& F= :9 F 9&= :& F= [ : 9 F 9 &= 9 : 9 ( F= ] 9 : 9 : 9 : ( 4= 9 E= 9 :9 & F== & :E &= ::& 9F= &= F

6;7

'(ul es la frmula lgica que corresponde al siguiente argumento) GSi te inscribes en el curso y estudias duro entonces pasars, pero si te inscribes en el curso y no estudias duro entonces no pasars. Por tanto, si te inscribes en el curso entonces o estudias duro y pasars o no estudias duro y no pasarsH. a= ::p q= r= ::p 9 q= 9 r= .. [p ::q r= :9 q 9 r==] b= ::p q= r= ::p 9 q= 9 r= .. :p :q r= :9 q 9 r== c= :p q= r ::p 9 q= r= [:p ::q r= :9 q r== ] d= :p q= r ::p 9 q= r= .. :p ::q r= .. :9 q 9 r== e= ::p q= 9r= ::p 9 q= 9 r= .. [p ::q r= :9 q 9 r==]

6<7

'(ul es la frmula que corresponde al siguiente plano de circuito elctrico) q I r a= b= c= d= e= p :q r= :q r= p pqr pqr p :q r=

6=7

'(ul es la frmula que corresponde al siguiente plano de circuito elctrico) p p

q a= b= c= d= e=
6>7

qJ

:p q= :p q= :p q= :p q= :p p= :q q= :p q= :p q= :p q= :q p=

'(ul es la frmula que corresponde al siguiente plano circuito elctrico) q p r s

q KK K q p= a= :p :q r s== : b= :p :q r s== : q p= :

p J

c= :p q= :q r s= p d= p : q p= :p r s= e= :p :q r s== : q p=
6?7

4ado el siguiente enunciado7 !os consumidores de alcohol pierden el autodominio. '(ul de las siguientes alternativas es su traduccin lgicamente equivalente) a= b= c= d= e= Dodos los consumidores de alcohol pierden el autodominio. !os que no consumen alcohol poseen autodominio Ai alguien pierde el autodominio, entonces es consumidor de alcohol. &lgunos consumidores de alcohol pierden el autodominio. &lgunos de los que pierden el autodominio son consumidores de alcohol.

8@7

4ado el siguiente enunciado7 Dodos, inclusive el ms bravo, saldrn corriendo. '(ul de las siguientes alternativas es su traduccin lgicamente equivalente) a= b= c= d= e= &lgunos cobardes no saldrn corriendo. Dodos los bravos saldrn corriendo. (ualquiera que sale corriendo es bravo. Dodos saldrn corriendo. Dodos los que saldrn corriendo son bravos.

867

'(ul de las siguientes afirmaciones es falsa) a= !a lgica es un lenguaje creado con reglas precisas para anali ar la correccin de los argumentos. b= !a lgica es una ciencia dedicada a la construccin de lenguajes especiales, llamados lenguajes formales. c= !os lenguajes lgicos son utili ados principalmente en el anlisis de las teor2as cient2ficas. d= !o que proh2be la lgica es que un argumento vlido tenga premisas verdaderas y la conclusin falsa. e= Ai la conclusin es verdadera, las premisas son verdaderas.

887

4adas las siguientes premisas de un silogismo7 3ingBn cuadrBpedo sabe silbar &lgunos gatos son cuadrBpedos '(ul de las alternativas siguientes es su conclusin lgicamente correcta) a= b= c= d= e= 3ingBn cuadrBpedo es gato &lgunos animales que saben silbar no son gatos &lgunos gatos no saben silbar &lgunos gatos saben silbar 3ingBn gato sabe silbar

897

4adas las siguientes premisas de un silogismo7 3ingBn borrego es terrible &lgunos sueos son terribles '(ul de las alternativas siguientes es su conclusin lgicamente correcta) a= &lgunos sueos son borregos b= Dodo borrego es soador ;

c= &lgunos sueos no son borregos d= 3ingBn sueo es borrego e= &lgunos borregos no son sueos
8:7

4adas las siguientes premisas de un silogismo7 3inguna criatura ra onable espera imposibles Dodo espistemlogo es ra onable '(ul de las alternativas siguientes es su conclusin lgicamente correcta) a= b= c= d= e= 3inguna criatura que espera imposibles es espistemlogo Dodo epistemlogo espera imposibles 3inguna criatura ra onable es epistemlogo Doda criatura que espera imposibles no es ra onable Dodo el que no espera imposible es ra onable

8;7

4adas las siguientes premisas de un silogismo7 Doda las criaturas hoscas son mal acogidas Dodas las avispas son hoscas '(ul de las alternativas siguientes es su conclusin lgicamente correcta) a= b= c= d= e= Dodas las avispas son mal acogidas Dodas las criaturas mal acogidas son avispas &lgunas avispas son bien acogidas Alo las avispas son mal acogidas &lgunas avispas son mal acogidas

<