TALLERES LGICA 1

(Tomado de: GARCA Z. Oscar Augusto, Introduccin a la lgica, Lma: !"#", $ondo editorial, %&&'( Ejemplos de formalizacin de proposiciones: a) Kant es filsofo, pero Frege es lgico Forma lgica: Kant es filsofo y Frege es lgico Frmula: p: Kant es filsofo. q: Frege es lgico. p q b) No iremos al teatro a menos que venga Ral. Forma lgica: Si Ral viene, entonces iremos al teatro. Frmula: p: Ral viene. q: iremos al teatro. q! p c) "instein no es filsofo, sino f#sico. Forma lgica: "instein es f#sico y "instein no es filsofo. Frmula: p: "instein es f#sico. q: "instein es filsofo. p q $) "ucli$es no es m%$ico ni f#sico. Forma lgica: "ucli$es no es m%$ico y "ucli$es no es f#sico. Frmula: p: "ucli$es es m%$ico. q: "ucli$es es f#sico p q o p&q e) Ni 'ilma, ni Silvia, ni (ng%lica ingresaron a la universi$a$. Forma lgica: 'ilma no ingres a la universi$a$ y Silvia no ingres a la uni) versi$a$ y (ng%lica no ingres a la universi$a$.

Frmula: p: 'ilma ingres a la universi$a$. q: Silvia ingres a la universi$a$. r: (ng%lica ingres a la universi$a$. p q r f) Sin carbono, o*#geno, nitrgeno e +i$rgeno, no +ay vi$a. Forma lgica: Si no +ay carbono y no +ay o*#geno y no +ay nitrgeno y no +ay +i$rgeno, entonces no +ay vi$a. Frmula: p: +ay carbono. q: +ay o*#geno. r: +ay +i$rgeno. s: +ay nitrgeno. t: +ay vi$a. , p q r s) ! t g) -anto .al$ir S/en0 como 12+emo3 4el Solar son atletas porque son futbolistas. Forma lgica: Si .al$ir S/en0 es futbolista y 12+emo3 4el Solar es futbolista, entonces .al$ir S/en0 es atleta y 12+emo3 4el Solar es atleta. Frmula: p: .al$ir S/en0 es futbolista. q: 12+emo3 4el Solar es futbolista. r: .al$ir S/en0 es atleta. s: 12+emo3 4el Solar es atleta. , p q ) ! , r s) +) 2%sar es profesor o es alumno, pero no pue$e ser ambas cosas a la ve0. Forma lgica: 2%sar es profesor o 2%sar es alumno y es falso que 2%sar sea profesor y 2%sar sea alumno. Frmula: p: 2%sar es profesor. q: 2%sar es alumno. ,p q) ,p q)

Ejercicio N.o 7 Reglas de formacin de frmulas lgicas 5. "scriba la palabra 6s#7 cuan$o la frmula est% bien forma$a y 6no7, "8ercicio N.o A en caso contrario. "n el primer caso $iga, a$em/s, cmo se llama, Formali0acin $e proposiciones establecien$o previamente la 8erarqu#a entre sus opera$ores 5. Formalice las siguientes proposiciones: en ca$a caso +alle su me$iante nmeros y, en el segun$o caso, enuncie las reglas $e la forma lgica y escriba la frmula correspon$iente. sinta*is lgica que viola: a) Si eres talib/n, entonces eres fun$amentalista. a) p ! q b) No como ni $uermo. b) , p q) , r s ) c) Ba universi$a$ est/ sin rector. c) , p q ) , r s ) $) "n los pa#ses $emocr/ticos no +ay $elito $e opinin, tampoco $) , p q ) , r ! s ) prisin por $eu$as. e) p ! q r e) Ni Cuan ni De$ro ni Felipe te $ar/n la ra0n. f) , p q r ) f) ( na$ie quiso escribir, ni a sus m/s #ntimos amigos. g). 9 p ! , q v r ) : g) -anto 2arlos como Fe$erico son ateos porque son materialistas. +) , p q ) ! , r s ) , t ;) +) Si +ay ley, ra0n y 8usticia en el mun$o, no suce$er/ lo que temes. i) 9, p q)! ,t ;): i) (unque est% enfermo, no faltar% a la cita. 8) < 9 , p ! q ) , r ! s ) : ,p r ) = ! , q s) 8) No lo +i0o (ntonio, sino 4avi$. >) , p & q ) ? , r & s ) >) Bas $eclaraciones obteni$as por la violencia carecen $e valor. l) 9 p ! , q & r ) : l) "l $inero +ace ricos a los +ombres, pero no $ic+osos. m) p & , q r ) m) No pu$o asistir porque estuvo ausente. n) p ? 9 q ! , r s t ) : n) Bos actos $el Dresi$ente $e la Repblica son nulos siempre que no @) p & 9 q & , r ? s ) : tengan refren$acin ministerial. o) 9 p , q & r ) : ? , r s ) o) 4e saberlo antes, +abr#a veni$o. p) p ! 9 , q r ) ,s & t ) : p) 2uan$o t lo $ices, ver$a$ ser/. q) , p ! q ) 9 r & , s ? t ) : q) Sin su libre consentimiento, sin la $ebi$a retribucin, no se le r) 9 , p q ) & , r s ) : ? 9 t ! , q r ) : pue$e obligar a prestar traba8o. s) p & 9 , q ? r ) & , s ? t ) : t r) Se te enviar/ el $iploma, bien por el correo $e +oy, bien por el $e ma@ana. s) Sufre la pena, pues cometiste la culpa. t) Bos yacimientos y restos arqueolgicos son patrimonio cultural $e la Nacin, est/n ba8o el amparo $el "sta$o y la ley regula su conservacin.

Ejercicio N.o 9 Formalizacin de inferencias 5. Formalice las siguientes inferencias: en ca$a caso +alle su fr mula lgica y escriba la frmula correspon$iente. a) Fsama bin Ba$en es un fun$amentalista religioso y Gitler es un fun$amentalista pol#tico. Buego, Gitler es un fun$amentalista pol#tico. b) "sta figura no es un cua$ril/tero, puesto que es un tri/ngulo. "s un tri/ngulo. "n consecuencia, no es un cua$ril/tero. c) Si la suma $e $os nmeros naturales es conmutativa, entonces si cambiamos el or$en $e los suman$os, se obtiene la misma suma. Ba suma $e $os nmeros naturales es conmutativa. Dor tanto, se obtiene la misma suma si cambiamos el or$en $e los suman$os. $) Hn cuerpo est/ en esta$o neutro y no presenta ningn fenmeno el%ctrico en su con8unto siempre que su carga el%ctrica positiva est% en esta$o igual a la negativa. Dero es falso que el cuerpo est% en esta$o neutro y no presente ningn fenmeno el%ctrico en su con8unto. "n consecuencia, la carga el%ctrica positiva $e un cuer) po est/ en esta$o igual a la negativa. e) Se llama falacia o sofisma si una inferencia inv/li$a tiene la apariencia $e ser v/li$a. Se llama falacia o sofisma. Buego, la inferencia inv/li$a tiene la apariencia $e ser v/li$a. f) "ste tri/ngulo no se llama equil/tero a menos que tenga tres la) $os iguales. Si se llama equil/tero, no se llama issceles. "n con) secuencia, si tiene tres la$os iguales, no se llama issceles. g) Sin variables ni opera$ores, no +ay lengua8e lgico posible. No +ay variables ni opera$ores. Dor tanto, no +ay lengua8e lgico posible. +) -anto Roberto como "rnesto son creyentes, porque ambos son catlicos. Roberto y "rnesto son catlicos. Buego, son creyentes. i) Ba 6p7 es una variable proposicional o es un opera$or lgico, pero no pue$e ser ambas cosas a la ve0. "n consecuencia, es falso que la 6p7 sea un opera$or lgico. 8) Hn nmero es $ivisible por E si termina en cero o en cifra par. Hn nmero es $ivisible por I si termina en cero o en I. Dor tanto, un nmero es $ivisible por E si no termina en I. >) Si +ay guerra civil, +ay esta$o $e sitio. Gay esta$o $e emergen) cia si se altera el or$en interno $e la Nacin. "n consecuencia, no +ay esta$o $e emergencia si +ay guerra civil. l) Sin $ecano ni conse8o $e faculta$ no +ay gobierno $e la faculta$ ni $emocracia. Dero es falso que +aya gobierno $e la faculta$ o +aya $emocracia. Dor tanto, es falso que +aya $ecano o +aya conse8o $e faculta$. m) Bos profesores or$inarios son principales, asocia$os y au*ilia) res. Bos profesores e*traor$inarios son em%ritos, +onorarios, investiga$ores y visitantes. Buego, los profesores or$inarios son principales, asocia$os y au*iliares. n) Si tu profesor recomien$a la $u$a, o es un esc%ptico o es un ni+ilista. Si es esc%ptico o ni+ilista, es i$ealista o metaf#sico. "n consecuencia, tu profesor recomien$a la $u$a si es i$ealista o metaf#sico. o) Si eres profesor principal, eres maestro o $octor. Si eres profesor or$inario, tienes $erec+o a la promocin en la carrera $ocente y a la participacin en el gobierno $e la universi$a$. Buego, eres profesor principal u or$inario si eres maestro o $octor. p) Bos profesores universitarios son or$inarios, e*traor$inarios y contrata$os. Dor tanto, los profesores universitarios son or$ina) rios, e*traor$inarios y contrata$os, o los 8efes $e pr/ctica y ayu) $antes $e c/te$ra reali0an una activi$a$ preliminar en la carre) ra $ocente. q) Sin carbono, o*#geno, nitrgeno e +i$rgeno, no +ay vi$a. "n

consecuencia, +ay carbono o +ay o*#geno o +ay nitrgeno o +ay +i$rgeno, si +ay vi$a. r) Si el Dresi$ente $e la Repblica $ecreta el esta$o $e emergencia, las Fuer0as (rma$as asumen el control $el or$en interno $e la Nacin. Si las Fuer0as (rma$as asumen el control $el or$en interno $e la Nacin, se suspen$en las garant#as constituciona) les y no se impone la pena $e $estierro. Buego, no se impone la pena $e $estierro si el Dresi$ente $e la Repblica $ecreta el esta) $o $e emergencia. s) Si un nmero natural es primo, es mayor que uno. "s $ivisible por s# mismo si es primo. Dor tanto, es $ivisible por s# mismo si es mayor que uno. t) Si $os es un nmero natural, su opuesto es un nmero entero y no un nmero natural. "s falso que el opuesto $e $os sea un nmero entero y no sea un nmero natural. Buego, $os es un nmero natural o entero. u) Si Fsama estu$ia msica po$r/ obtener un puesto en la Frques) ta Sinfnica. 4ebo concluir que Fsama po$r/ obtener un puesto en la orquesta Sinfnica ya que, o se $e$ica al $eporte o estu$ia msica, y Fsama no se $e$ica al $eporte. v) Si el can$i$ato es fun$amentalista, no ten$r/ %*ito. 4e$u0co que sufrir/ una censura, si recor$amos que o bien tiene %*ito o bien sufre una censura, y el can$i$ato es fun$amentalista. ;) No es cierto que Di0arro conquist el Der y no fue espa@ol, $a$o que Di0arro conquist el Der si y slo si no fue marino, pero fue espa@ol. *) Si el mnibus sale +oy para (yacuc+o, entonces no cay ningn +uayco, ya que si el mnibus no sale +oy a (yacuc+o, entonces o cay algn +uayco o se pro$u8o una +uelgaJ pero es cierto que no se pro$u8o una +uelga. y) F no ingresaste a la universi$a$ o no conseguiste el empleo, pues es cierto que no ven$es tu casa si ingresas a la universi$a$ y consigues un empleoJ y tu ven$iste tu casa.

Ejercicio N.o 10 Frmulas moleculares y ta las de !erdad 5. Le$iante la tabla $e la ver$a$ $etermine si las siguientes frmulas son tautolgicas, consistentes o contra$ictorias: a) ,p & p) b) , p ! p) & p c) 9 p ! , p p): $) , p M p) ! , p p) e) ,p p) M 9 p , q ? q): f) ,p ! q) , q ! p) g) 9,p M q) M , q q): +). 9 p ! , q p): & 9 ,p q) ! p: i) 9 , p ! q) , q ! r): ! , p ! 8) <9,p ! q) , q ! r): ! , r ! p)=

r)

E. Nmplicacin $e frmulas: Si (: F'FF O: F''F 2: '''F 4: FFF' 4etermine me$iante la tabla $e ver$a$ si: a) Ba negacin $el bicon$icional $e ( y O implica a la negacin alterna $e 2 y 4. b) Ba negacin $e la $isyuncin $%bil $e 2 y 4 implica a la nega) cin con8unta $e ( y O. c) Ba con8uncin $e las negaciones $e ( y O implica a la negacin $el bicon$icional $e 2 y 4. $) Ba $isyuncin fuerte $e ( y 2 implica a la negacin $e la nega) cin alterna $e las negaciones $e O y 4. e) Ba negacin con8unta $e 2 y la $isyuncin $%bil $e ( y 4 implica a la negacin $el con$icional $e ( y O. f) "l bicon$icional $e las negaciones $e O y 4 implica a la negacin alterna $e la negacin $e ( y la con8uncin $e las negaciones $e 2 y O. g) Ba con8uncin $e la $isyuncin $%bil $e ( y 2 y la $isyuncin fuerte $e O y 4 implica a la negacin alterna $e ( y 4. +) Ba negacin con8unta $e ( y 4 implica al bicon$icional $e la con8uncin $e 2 y O y la negacin alterna $e ( y la negacin $e 4. i) Ba negacin $e la con8uncin $e ( y el bicon$icional $e 2 y 4 implica a la $isyuncin fuerte $e la negacin $e O y el con$icio) nal $e ( y 4. 8) Ba negacin $el bicon$icional $e la con8uncin $e ( y O y el con$icional $e las negaciones $e 2 y 4 implica a la negacin $e la negacin alterna $e ( y la $isyuncin $%bil $e las negaciones $e ( y 4. K. "quivalencia $e frmulas: Si (: ''F' O: '''F 2: ''FF 4: FFF' 4etermine me$iante la tabla $e ver$a$ si: a) Ba negacin $el bicon$icional $e las negaciones $e ( y O es equivalente a la negacin alterna $e 2 y 4. b) Ba negacin $e la $isyuncin fuerte $e las negaciones $e 2 y 4 es equivalente a la negacin con8unta $e las negaciones $e ( y O. c) Ba $isyuncin $%bil $e las negaciones $e ( y O es equivalente a la negacin $el bicon$icional $e las negaciones $e 2 y 4. $) Ba con8uncin $e las negaciones $e ( y 2 es equivalente a la negacin $e la negacin alterna $e las negaciones $e O y 4.

e) Ba negacin alterna $e la negacin $e 2 y la $isyuncin $%bil $e ( y 4 es equivalente a la negacin $el con$icional $e las nega) ciones $e ( y O. f) "l con$icional $e las negaciones $e O y 4 es equivalente a la negacin alterna $e la negacin $e ( y la negacin con8unta $e las negaciones $e 2 y O. g) Ba con8uncin $e la $isyuncin $%bil $e las negaciones $e ( y 2 y la $isyuncin fuerte $e O y 4 es equivalente a la negacin alterna $e las negaciones $e ( y 4. +) Ba negacin alterna $e las negaciones $e ( y 4 es equivalente al bicon$icional $e la con8uncin $e las negaciones $e 2 y O y la negacin con8unta $e las negaciones $e ( y 4. i) Ba negacin $el con$icional $e ( y el bicon$icional $e 2 y 4 es equivalente a la $isyuncin $%bil $e la negacin $e O y la con) 8uncin $e las negaciones $e ( y 4. 8) Ba negacin $el bicon$icional $e la con8uncin $e ( y O y el con$icional $e las negaciones $e 2 y 4 es equivalente a la nega) cin $e la negacin alterna $e ( y la $isyuncin $%bil $e las negaciones $e ( y 4.

comerciali0acin ilegal $e los pirot%cnicos. Ba 4N2S2(L"2 co) meti irregulari$a$es al entregar autori0aciones a comerciantes y al no $enunciar ante la fiscal#a la comerciali0acin ilegal $e los pirot%cnicos. "n consecuencia, se pro$u8o la trage$ia $e Lesa 5. 4etermine me$iante la tabla $e ver$a$ si las siguientes inferencias Re$on$a. son v/li$as o inv/li$as: b) Si las aguas $el mar peruano se enfr#an o calientan e*cesivamen) a) Si se levanta la ve$a, entoces se po$r/ pescar anc+oveta. No se te, entonces no se po$r/ pescar anc+oveta ni atn. No se pue$e pue$e pescar anc+oveta. Buego, no se levant la ve$a. pescar anc+oveta ni atn. Dor tanto, las aguas $el mar peruano b) Si no se levanta la ve$a, entoces no se po$r/ pescar anc+oveta. se +an enfria$o o calenta$o e*cesivamente. Se pue$e pescar anc+oveta. "n consecuencia, se +a levanta$o la c) Si la 4N2S2(L"2 entreg autori0aciones a comerciantes y no ve$a. $enunci ante la fiscal#a la comerciali0acin ilegal $e los c) Si +ay ve$a, entonces no se po$r/ pescar atn. Gay ve$a. Dor pirot%cnicos, entoces cometi irregulari$a$es y ser/ $eclara$a tanto, no se pue$e pescar atn. en reorgani0acin por el Linisterio $el Nnterior. Ba 4N2S2(L"2 $) Si las aguas $el mar peruano se enfr#an e*cesivamente, entonces no entreg autori0aciones a comerciantes y $enunci ante la fis) no +abr/ buena activi$a$ pesquera. No +abr/ buena activi$a$ cal#a la comerciali0acin ilegal $e los pirot%cnicos. Buego, no pesquera. "n consecuencia, las aguas $el mar peruano se en) cometi irregulari$a$es y no ser/ $eclara$a en reorgani0acin fr#an e*cesivamente. por el Linisterio $el Nnterior. e) Si el mar peruano se calienta e*cesivamente, no +abr/ buena $) Si no se pue$e pescar anc+oveta ni atn, entonces las aguas $el activi$a$ pesquera. "l mar peruano no se calienta e*cesivamen) mar peruano se +an enfria$o o calenta$o e*cesivamente. Bas te. Buego, +abr/ buena activi$a$ pesquera. aguas $el mar peruano se +an calenta$o o enfria$o e*cesiva) f) Si +ay especulacin con el tipo $e cambio, se incrementar/ la mente. Dor tanto, no se pue$e pescar anc+oveta ni atn. coti0acin $el $lar y $evaluar/ el nuevo sol. Se +a incrementa$o e) Ba trage$ia $e Lesa Re$on$a $e8 cerca $e trescientos muertos, la coti0acin $el $lar y $evalua$o el nuevo sol. Dor tanto, +ay $oscientos $esapareci$os, m/s $e $oscientos cincuenta +eri$os especulacin con el tipo $e cambio. y setecientos locales $evasta$os. "n consecuencia, $e8 $ie0 mi) g) Si se incrementa la coti0acin $el $lar y $evala el nuevo sol, llones $e $lares en p%r$i$as materiales. +ay especulacin con el tipo $e cambio. No +ay especulacin f) Si la trage$ia $e Lesa Re$on$a $e8 centenares $e muertos, en) con el tipo $e cambio. Buego, es falso que se +aya incrementa$o tonces $ebe investigarse las causas y sancionar a los responsa) la coti0acin $el $lar y $evalua$o el nuevo sol. bles. Ba trage$ia $e Lesa Re$on$a $e8 centenares $e muertos y +) Si no se incrementa la coti0acin $el $lar ni $evala el nuevo +eri$os. Buego, $ebe investigarse las causas y sancionar a los sol, entonces no +ay especulacin con el tipo $e cambio. Gay responsables. especulacin con el tipo $e cambio. "n consecuencia, se g) Ba trage$ia $e Lesa Re$on$a $e8 $ie0 millones $e $lares en incrementa la coti0acin $el $lar y $evala el nuevo sol. p%r$i$as materiales y se incautaron $oscientas tonela$as $e i) Si las aguas $el mar peruano se enfr#an e*cesivamente, no se material pirot%cnico. "n consecuencia, se ten$r/ que invertir en) po$r/ pescar anc+oveta ni atn. Fcurre que no se pue$e pescar tre $ie0 y veinte millones $e $lares para la recuperacin $el anc+oveta ni atn. Dor tanto, las aguas $el mar peruano se +an /rea afecta$a $e Lesa Re$on$a. enfria$o e*cesivamente. +) Ba venta $e artefactos pirot%cnicos ser/ pro+ibi$a al pblico, sin 8) Si se pro$u8o la trage$ia $e Lesa Re$on$a, entonces la embargo los especialistas en la materia po$r/n solicitar una 4N2S2(L"2 cometi irregulari$a$es al entregar autori0acio) autori0acin a la 4N2S2(L"2 para reali0ar espect/culos nes a comerciantes y no fiscali0 la comerciali0acin $e los pirot%cnicos. "n consecuencia, no se po$r/ importar art#culos pirot%cnicos. Se pro$u8o la trage$ia $e Lesa Re$on$a. Dor tan) pirot%cnicos $etonantes y las personas que ocasionen lesiones to, la 4N2S2(L"2 cometi irregulari$a$es al entregar autori) graves por el uso $e estos art#culos ser/n sanciona$as con penas 0aciones a comerciantes y no fiscali0 la comerciali0acin $e los privativas $e liberta$ $e +asta quince a@os. pirot%cnicos. i) Si el Dresi$ente $e 2+ile $esigna como ministra $e $efensa a una mu8er, m%$ica y ma$re $e tres +i8os, entonces rompe la tra$icin E. Le$iante el m%to$o abrevia$o $iga si las siguientes frmulas son mac+ista $e sus fuer0as arma$as. "l Dresi$ente $e 2+ile $esign tautolgicas o no: como ministra $e $efensa a una mu8er, m%$ica y ma$re $e tres a) 9, p ! q ) ! , p ! r ) : ! 9p ! ,q ! r): +i8os. b) <p 9,q p) ! r := ! ,r ! q) Buego, rompi la tra$icin mac+ista $e sus fuer0as arma$as. c) <9 p ! ,q r) : r= ! , p q) 8) Si el Dresi$ente $e 2+ile $esigna como ministra $e $efensa a una $) <9 p ,q ! r) : r= ! ,p q) mu8er, socialista e +i8a $e un militar constitucionalista, entonces e) <9 ,p ! q) ,r ! s): , q s)= ! , p r) ser/ bien recibi$a por los peruanos esta $esignacin. Bos perua) f) ,p q) ! 9, p M r) , q r): nos +an recibi$o bien esta $esignacin. Dor tanto, el Dresi$ente g) 9, r M q) ,p M r) : ! ,p ! q) $e 2+ile +a $esigna$o como ministra $e $efensa a una mu8er, +) 9,p ! r) ! ,r ! s): ! 9,s q) p: socialista e +i8a $e un militar constitucionalista. i)<9, p q) ! r: , r ! s)= ! 9,p q) ! s : >) Si $os miembros $e una $esigual$a$ son positivos y se elevan a 8) 9,p ! ,q r) : ! 9, s M q) , s r): una misma potencia positiva, el signo $e la $esigual$a$ no cam) bia. Si los $os miembros $e una $esigual$a$ son negativos y se K. 4etermine me$iante el m%to$o abrevia$o si las siguientes elevan a una misma potencia positiva, el signo $e la $esiguala$ inferencias son v/li$as o inv/li$as: cambia. Dor tanto, el signo $e la $esigual$a$ cambia o no cambia. a) Si se pro$u8o la trage$ia $e Lesa Re$on$a, entonces la l) Si $os miembros $e una misma $esigual$a$ se multiplican o 4N2S2(L"2 cometi irregulari$a$es al entregar autori0a) $ivi$en por una misma canti$a$ positiva, el signo $e la $e) ciones a comerciantes y al no $enunciar ante la fiscal#a la sigual$a$ no var#a. Si los $os miembros $e una $esigual$a$ se

Ejercicio N.o 11 "n#lisis de inferencias mediante la ta la de !erdad$ el m%todo a re!iado y el m%todo analgico

multiplican o $ivi$en por una misma canti$a$ negativa, el signo $e la $esigual$a$ var#a. Buego el signo $e la $esigual$a$ var#a o no var#a. m) 4os pol#gonos son iguales si y slo si tienen respectivamente iguales to$os sus la$os e iguales los /ngulos compren$i$os entre los la$os respectivamente iguales. 4os pol#gonos son igua) les. Buego, tienen respectivamente iguales to$os sus la$os. n) F la vitamina ( no es requeri$a por el +ombre o es requeri$a por otros vertebra$os. Ba vitamina ( no es +i$rosoluble o se alma) cenan en el +#ga$o. "n consecuencia, la vitamina ( no es +i$ro) soluble ni anti+emorr/gica si es requeri$a por el +ombre. @) Bas bacterias son organismos microscpicos y causa $e enfer) me$a$es graves en el +ombre o no son organismos microscpi) cos ni causa $e enferme$a$es graves en el +ombre. Si las bacte) rias tienen forma $e bastoncillos, se llaman bacilos. Buego las bacterias son organismos microscpicos si y slo si son causa $e enferme$a$es graves en el +ombre. P. "scribe la conclusin correcta a partir $e las siguientes premisas, aplican$o las reglas lgicas que se in$ica: a) 5. , p q r ) , p q r ) ,Simp.) b) 5. , p ! q ) ? r ,($.) c) 5. , p q ) ! , r ? s ) E. p q ,LD) $) 5. , p q r ) ! t E. s ! , p q r ) K. , p q r ) s ,42) e) 5. , p q ) ! , p ! q ) E. , r ? s ) ! , p q ) ,SG) f) 5. p ! , q r ) E. , s t ) & , s r ) ,2on8.) g) 5. , p ! q ) ! , r ! s ) E. , r ! s ) ,L-) +) 5. , s ! r ) ! , p q ) E. p q ,L-) i) 5. , p ! q ) , r s ) E. r s ,S4) 8) 5. p ! q E. 9 p , r ! s ) : ! 9 , p & q ) ! t : K.q 9 ,p & q) ! t : ,44)

I. "scribe la conclusin correcta a partir $e las siguientes premisas, aplican$o las reglas lgicas que se in$ica: a) Si ( es un subcon8unto $e O, entonces to$o elemento $e ( es tambi%n elemento $e O. ( es un subcon8unto $e O. Buego, ,LD) b) Ba 2orriente $el Ni@o eleva la temperatura ambiental $e la costa norte $el Der. "n consecuencia, ,($.) c) Ba vitamina 2 se encuentra en los 8ugos $e frutas c#tricas y la vitamina K es anti+emorr/gica. Buego, ,Simp.) $) Si la c%lula es la uni$a$ b/sica $e la materia viva, entonces es la base $e la formacin $e los te8i$os org/nicos. Dero es falso que la c%lula sea la base $e la formacin $e los te8i$os y rganos. Buego, ,L-) e) Si un ministro $e "sta$o no +a cesa$o en el cargo, entonces pue) $e postular a la Dresi$encia $e la Repblica y si un miembro $e las Fuer0as (rma$as no +a pasa$o a la situacin $e retiro, en) R. "scriba el equivalente $e las siguientes frmulas aplican$o las tonces no pue$e postular a la Dresi$encia $e la Repblica. "n equivalencias tautolgicas que se sugieren: consecuencia, ,Simp.) a) p q f) Si los +i$rocarburos son compuestos org/nicos, entonces contie) a) ,4e L) nen carbono e +i$rgeno. Bos +i$rocarburos son compuestos b) ,2onm.) org/nicos. Buego, ,LD) c) ,Nmpl.) g) Si +a ocurri$o una transformacin en la estructura molecular $e $) ,N2)

una sustancia, entonces se +a pro$uci$o una reaccin qu#mica. Si se +a pro$uci$o una reaccin qu#mica, entonces +a ocurri$o un fenmeno qu#mico. Buego, ,SG) +) Si el 2ongreso se rene en legislatura or$inaria, entonces +a si$o convoca$o por su presi$ente. Si el 2ongreso se rene en legislatura e*traor$inaria, entonces +a si$o convoca$o a pe$i$o $el Dresi$ente $e la Repblica. "l 2ongreso no +a si$o convoca) $o por el presi$ente $el 2ongreso o no +a si$o convoca$o a pe$i$o $el Dresi$ente $e la Repblica. "n consecuencia, ,44) i) "l carbn vegetal se obtiene por la combustin incompleta $e la le@a o calcinan$o los +uesos en recipientes cerra$os. "l carbn vegetal no se obtiene calcinan$o los +uesos en recipientes cerra) $os. Buego, ,S4) 8) Si no +ay carbono y no +ay o*#geno y no +ay nitrgeno y no +ay +i$rgeno, entonces no +ay vi$a. Gay vi$a. Buego, ,L-) Q. 4etermine la vali$e0 o invali$e0 $e las siguientes inferencias a trav%s $el m%to$o analgico: a) Si el Dresi$ente $e la Repblica sale $el territorio nacional, el Drimer 'icepresi$ente se encarga $el $espac+o. "l Dresi$ente $e la Repblica sale $el territorio nacional. Dor tanto, el Drimer 'i) cepresi$ente se encarga $el $espac+o. b) "l cnyuge e*tran8ero est/ faculta$o para optar por la nacionali) $a$ peruana si tiene $os a@os $e matrimonio y $e $omicilio en el Der. No est/ faculta$o para optar por la nacionali$a$ peruana. Buego, es falso que tenga $os a@os $e matrimonio y $e $omicilio en el Der. c) 4e elevarse los impuestos, +abr/ $%ficit. Gabr/ $esocupacin si +ay $%ficit. "n consecuencia, $e elevarse los impuestos, +abr/ $esocupacin. $) Si pa$eces $e asma, eres v#ctima $e sofocaciones intermitentes. Si pa$eces $e bronquios, tienes inflama$os los bronquios. F pa$eces $e asma o no pa$eces $e bronquios. Buego, o no eres v#ctima $e sofocaciones intermitentes o no tienes inflama$os los bronquios. e) "res un melmano si tienes aficin $esme$i$a por la msica. Si eres melmano, no eres megalmano. Dor tanto, no eres megal) mano si tienes aficin $esme$i$a por la msica. f) "res un mis/ntropo si manifiestas aversin o repugnancia al trato +umano. Fcurre que es falso que manifiestas aversin o repugnancia al trato +umano. Buego, no eres un mis/ntropo. g) F "ucli$es es un sabio ale8an$rino o Bobac+evs>i y Riemann son matem/ticos. "ucli$es es un sabio ale8an$rino. Buego, es falso que Bobac+evs>i y Riemann sean matem/ticos. +) Frege es matem/tico y lgico alem/n y Russell es filsofo y lgico ingl%s. Buego, Frege es matem/tico. i) Ba tabla $e ver$a$ no es un algoritmo a menos que permita $eci) $ir mec/nicamente la vali$e0 o invali$e0 $e las inferencias. Ba tabla $e ver$a$ es un algoritmo. "n consecuencia, permite $eci) $ir mec/nicamente la vali$e0 o invali$e0 $e las inferencias. 8) Gei$egger y Sartre son filsofos e*istencialistas si centran la re) fle*in filosfica en el problema $e la e*istencia +umana. 2en) tran la refle*in filosfica en el problema $e la e*istencia +uma) na. Buego, son filsofos e*istencialistas.

b) p q a) ,4e L) b) ,2onm.) c) ,Nmpl.) $) ,N() c) p ! q a) ,Nmpl.) b) ,-rans.) c) ,4N) $) ,"*pan.) $) p M q a) ,"quiv.) b) ,-rans.) c) ,2onm.) $) ,-au) e) p q a) ,4") b) ,2onm.) c) ,"*pan.) $) ,4N) f) p & q a) ,N2) b) ,2onm.) c) ,4N) $) ,"*pan.) g) p ? q a) ,N() b) ,2onm.) c) ,"*pan.) $) ,-au.) +). p , q r) a) ,2onm.) b) ,4e L) c) ,4ist.) $) ,N2) e) ,Nmpl.) i) a) b) c) $) e) 8) a) b) c) $) e) p, q r) ,2onm.) ,4e L) ,4ist.) ,N() ,Nmpl.) , p q) ,"quiv.) ,2onm.) ,Nmpl.) ,4e L) ,N2)

m) p q r , a) b) c) $) e)

q r) ,2onm.) ,(soc.) ,4e L) ,4ist.) ,(bs.) p q ,2onm.) ,(soc.) ,4e L) ,4ist.) ,(bs.) r p

n) ,p q r p) a) b) c) $) e) @) 9 , p v q) a) b) c) $) e)

q: ! 9 p , r ? s ): ,Nmpl.) ,4e L) ,(bs.) ,4ist.) ,N()

A. (plique las leyes $e absorcin ,(bs.) a las siguientes frmulas: a) p ,q p) b) p ,r p) c) ,p q) ,p s) $) , p q r) ,t q s) e) ,p q) , r s q) f)) , p q r) ,r s t) g) ,p q) , r p) +) , p q r) ,q s) i) p ,t r s p) s , t p) 8) p r ,s r p)

,p ! q)

>) 9,p M q) ,r ? s): t a) ,2onm.) b) ,4e L) c) ,4") $) ,N() e) ,N2) l) ,p q r) , p q r) a) ,(soc.) b) ,4ist.) c) ,4e L) $) ,Nmpl.) e) ,N2)

Ejercicio N.o 1& El m%todo de la deduccin natural 5. Custifique las siguientes $emostraciones me$iante el m%to$o $e la $e$uccin natural: a) 5. p ! q E. p r Sq K. p P. q b) 5. r s E. s ! p K. r S p P. s I. p c) 5. ,q ! p) ,p ! r) E. r ! q K. s ! p S s P. p ! r I. p ! q Q. q ! p R. p ! p A. p v p T. p 5U. s $) 5. ,p ! q) ! ,r ! s) E. t ,u ! ;) K. ,p ! q) t P. * ! ,u ! ;) I. ,r ! s) S * Q. ,p ! q) R. t A. ,u ! ;) T. * e) 5. p ! q E. p ! r K. q S r P. p I. r f) 5. p ! q E. r s K. p s S r q P. s I. p Q. q R. r A. r q g) 5. p q E. q ! r K. s r S p P. r I. q Q. p +) 5. p ! q E. r ! s K. p r P. q S s

I. p Q. r R. s i) 5. ,p q) ! 9p ! ,r s): E. ,p q) t S r s K. p q P. p ! ,r s) I. p Q. r s R. r A. r s 8) 5. p ! ,q ! r) E. s ! ,q ! r) K. , p s) ! , t u) P. , t ! ;) , u ! *) I. ,y ! ;) ,0 ! *) Q. ,q ! r) S y 0 R. p A. s T. p s 5U. t u 55. ; * 5E. y 0 >) 5. p ! ,q ! r) E. r ! r K. ,s ! p) ,t ! q) S s ! t P. ,p q) ! r I. r r Q. r R. ,p q) A. p ! q T. s ! p 5U. s ! q 55. t ! q 5E. q ! t 5K. s ! t l) 5. ,p q) ,r s) E. , p s) , p q) S p r K. p s P. p I. , p q) Q. p ! q R. q A. p q T. , p q) 5U. r s 55. r 5E. p r m) 5. 9,p q) r : ! 9s ! ,t ! u) : E. ,p q) ! 9, ! ;) ! * : K. p ! 9,t ! u) ! * : P. p S s ! * I. p q Q. , ! ;) ! * R. ,t ! u) ! * A. , p q) r T. s ! ,t ! u) 5U. s ! * n) 5 q ! ,r ! s) E. t ! ,r ! s)

K. , q t) ! , v ;) P. , v ! *) , ; ! y) I. ,u ! *) ,0 ! y) Q. ,r ! s) S u 0 R. q A. t T. q t 5U. v ; 55. * y 5E. u 0 @) 5. p ,q ! r) E. s ,q ! r) K. , p s) , t u) P. t ! ; I. u ! * Q. y ! ; R. 0 ! * A. ,q ! r) S y 0 T. p 5U. s 55. p s 5E. t u 5K. ; * 5P. y 0 E. 4emuestre por la prueba $irecta ,D4) a) 5. p ! q E. ,p r) S q b) 5. q s E. p ,r s) S p c) 5. ,p q) r E. p s K. q S r t $) 5. , p q) E. p ! r P. q s S ,r s) e) 5. ,p q) r E. s ! p K. t ! q P. s t S r f) 5. t r E. r ! s K. t ! s P. ; ! s S ; g) 5. p ! ,q ! r) E. ,s q) ! r K. s S p +) 5. , p q) E. r ! s K. r q S s i) 5. p ! ,q ! p) q S p q E. p 8) 5. ,p q) ! ,r s) E. p ,t ! t) K. r S t ; >) 5. p E. p ! ,q r) S p r l) 5. p ! ,q ! r) E. , p q) ! s

K. s S r t m) 5. p ! ,q ! r) E. , p s) K. q S r n) 5. ,p q) ! ,r s) E. p K. s S r @) 5. r ! s E. p r K. p ! q S q ,s r)

E'ui!alencias tautolgicas 5. -autolog#a ,-au) a) ,p p) V p b) ,p p) V p E. 4oble Negacin ,4N) p V p

5E. -ransposicin ,-rans.) a) ,p ! q) V , q ! p) b) ,p M q) V , q M p) 5K. "*portacin ,"*p.) 9,p q) ! r) V 9 p ! , q ! r) : 5P. "*pansin ,"*pan.)

K. 4e Lorgan ,4e L) a) ,p q) V b) ,p q) V c) ,p q) V $) ,p q) V , , , , p q) p q) p q) p q)

a) p V b) p V c) ,p ! q) $) ,p ! q)

9p ,q q): 9p , q q): V 9p M ,p q): V 9q M ,p q) :

5I. (bsorcin ,(bs.) a) 9 p ,p q): V p b) 9 p ,p q): V p c) 9p , p q) : V ,p q) $) 9p , p q) : V ,p q)

P. 2onmutacin ,2onm.) a) , p q) V ,q p) b) ,p q) V ,q p) c) ,p q) V ,q p) $) ,p M q) V ,q M p) e) ,p & q ) V , q & p) f) ,p ? q) V ,q?p) I. (sociacin ,(soc.) a) 9 p ,q r) : V 9 ,p q) r) : b) 9p ,q r) : V 9 ,p q) r) : c) 9p M ,q M r): V 9,p M q) M r: Q. 4istribucin ,4ist.) a) 9p ,q r): b) 9p ,q r): c) 9p ! ,q r): $) 9p ! ,q r): V 9 ,p q) ,p r): V 9 ,p q) ,p r): V 9,p ! q) ,p ! r): V 9,p ! q) ,p ! r):

R. 4efinicin $e Nmplicacin Laterial ,Nmpl.) a) ,p ! q) V b) ,p ! q) V , p q) ,p q)

A. 4efinicin $e "quivalencia Laterial ,"quiv.) a) ,p M q) V 9, p ! q) ,q ! p): b) ,p M q) V 9,p q) , p q): T. 4efinicin $e 4isyuncin "*clusiva ,4ef. 4") ,p q) V 9, p q) , p q):

5U. 4efinicin $e Negacin 2on8unta ,4ef. N2) ,p & q) V , p q)

55. 4efinicin $e Negacin (lterna ,4ef. N() ,p ? q) V , p q)

5U

(rincipales reglas y leyes de la lgica proposicional 5) Regla $el Lo$us Donens ,LD): ( partir $e una frmula con$icio) nal y $e su antece$ente, se obtiene su consecuente. 5. ( ! O Bey $el Lo$us Donens ,LD) E. ( 9 , p ! q ) p: ! q O E) Regla $el Lo$us -ollens ,L-): ( partir $e una frmula con$i) cional y $e la negacin $e su consecuente, se obtiene la negacin $el antece$ente. 5. ( ! O Bey $el Lo$us -ollens ,L-) E. O 9, p ! q ) q : ! p ( K) Regla $el Silogismo Gipot%tico ,SG): ( partir $e $os frmulas con$icionales, $on$e el consecuente $e la primera es el antece) $ente $e la segun$a, se obtiene una con$icional forma$a por el antece$ente $e la primera y el consecuente $e la segun$a. 5. ( ! O Bey $el Silogismo Gipot%tico ,SG) E. O ! 2 9, p ! q ) , q ! r ) : ! , p ! r ) (!2

con$icionales y $e la $isyuncin $e sus antece$entes se obtiene la $isyuncin $e sus consecuentes. 5. ( ! O Bey $el 4ilema 2onstructivo ,42) E. 2 ! 4 K. ( 2 < 9,p ! q) ,r ! s) : ,p r)= ! ,q s) O 4 Q) Regla $el 4ilema 4estructivo ,44): ( partir $e $os frmulas con$icionales y $e la $isyuncin $e las negaciones $e sus con) secuentes, se obtiene la $isyuncin $e las negaciones $e sus an) tece$entes. 5. ( ! O E. 2 ! 4 r) K. O 4 ( 2 Bey $el 4ilema 4estructivo ,44) <9, p ! q ) , r ! s ): , q s ) =! , p

P) Regla $el Silogismo 4isyuntivo ,S4): ( partir $e una frmula $isyuntiva y $e la negacin $e una $e sus componentes, se obtie) ne la otra componente. A) Regla $e la 2on8uncin ,2on8.): ( partir $e $os frmulas se obtie) a) 5. ( O Bey $el Silogismo 4isyuntivo ,S4) ne la con8uncin $e ambas. E. ( 9,p q) p : !q 5. ( Bey $e la 2on8uncin ,2on8.) O E. O , p q)!, p q) b) 5. ( O 9,p q) q:! p ( O E. O ( T) Regla $e la ($icin ,($.): ( partir $e una frmula se obtiene la $isyuncin $e esa frmula con cualquier otra. 5. ( Bey $e la ($icin ,($.) I) Regla $el 4ilema 2onstructivo ,42): ( partir $e $os frmulas ( O p ! , p q)

R) Regla $e la Simplificacin ,Simp.): ( partir $e la con8uncin $e $os frmulas se obtiene una $e ellas. a) 5. ( O Bey $e Simplificacin ,Simp.) O ,p q)!q b) 5. ( O ( , p q)!p

55