OsBseTivos Ideniear Gon carded toe componentes biscos ota Yigea formal, ales oomo las propoiiones. simples compuesta, ave ebigeneran a part deo canelores eos Reéonecer y’ aplloer las lferentes regias do Interencia s0bt@ 108 enunclados - para ‘obtener nuova informacin, *Uuitzar las propledaces y equivalencies cel. condicional ‘en. la soluctén de problemas cespeeiteos que involueren este conecter, Aplicar los conceptos de hhegaetén sobre propesioiones compuestes yy frases (quantificades para Identiear proposiciones de sentido Kigco eaquivatente. Identincar el sentido t6gico do las dlterentes préguntas precentes en ol examen de 2dmieion, LOGICA PROPOSICIONAL ‘Goma seres humanas tenemos ia capacidad és proceear inform: ‘para pensar, infer yactuar. A esta eualidad tnica y maravilosa que ‘nos define Ia Hamamos léglea La téxica_proposicionat como técnica format tlene origen en te evesided de aiferenciar lo que esta pensade de manera correcta de lo que no, es decir, fa lglea formal ae una ciencia que inch Diineigios y los métedos para diferenclar el razonamisnto correcte del Incorrect. Elprigen de la lgica formal como clencla 8e remonta al siglo WV aC. y se Ie atibuye principalmente @ las ebiivaciones china, india y griege, aunque Ariststelos es cansiderado el padre de la elstemetizacion del rezonamiento humnano al ar lgr al stogismo |6tooya un sin riimeto deapitcaciones que hoy en dia siguen siendo Ge gran ulildad en las aplicaciones dela legion proposiciénal La lgica formal consiste en la aceptacién de cierias reglas de inferoncia a través de las cuales se obtienen conctusiones de mayo! Validez por medio de un niimero fnito de pases encadenados, donde ‘cada paso viene sustentado por un cazonamiento previo. Asi la liga formal es una hetramlenta que nos permite desarrallas ejr ‘como el que se propone a continuactén: ee | Blercicio: ae ‘Aun elmacén han ilegaco camisas de tallas S, My |. guardadas en {res cajas dlstintas, lag cuales poseen a siguiente particuaridad: “Todas estan mal marcadas". Si hasta ahora sélo se conoce qu tas ccamisas de talla Me encuentranien|a caja mareads can S, entonce las camisas que estan en la caja marcada con M son: A. Lasicamisas de tala S 8. Las camicas do tala M c Las cami imposible de deterrninar sin més informacién 8 do alla L\6gica proposicional [A continuacién se presenta la solucién al eercicio anterior, pero sugerimos at lector tomarse 1un tiempo para datle solucién al problema aates de continua la lectura, (Setucténe Ge Después de haber leido detenidamenie el ejercicle, notemos entonces que “Todas las cajas estan mal marcedas” Es dlecirlas camisas de talls Sno estén en la caja matcada con 8, y de gual manera sucede con fas tallas My L. Ademds, las camisas de tala M estan en la caja marcada con S: Observe que apart de esta itima premisa podemos rellenar con una Xlos cua sombredos 4a tabl, ye que no hey oto tipo de camisa sn fa caja matcada con Sy las camisas de alla M 10 eet en f caja marcads como L, asi q ‘Camisaa lalla MH | ‘Camisaa talla t |~ Poyctino, puede infrise que sts camisas de tlle L noestin en fas calad marcadas con oL. ‘8 porque estn en la ¢aja marcada por a letta M yor ende a respuasta correcta es ©. E‘Légica proposiclonal El cuadro utillzado en e eferciclo anterior la lamamos ‘cuadro de doble entrads y puede tiizarse con ‘recuencla para llevar un rogietro de la Informacién Que se inlere a macida que se desatralia et ejerceio. De aqui en adelante, todo, praceso encadenade de pasos I6g{cos serd llamado inferencla, es decir, la i6gfea formal ofrece una herramienta que permite fextcaer eonclusiones, donde el argumento sélo es + Valido si no existe ningin tipo de eontradieeién entre ‘sus premisas y la conclusion, Este _método clslcoy argumentativo permite iferenciar ei tazonamionte vélide del invélido ya ‘ue la légiea formal en su esencia no deja lugar 8 ccontradieciones. Esto no quiere decit que sea ‘necesario coneser la l6gica proposiclonal para razonar de manera correcta, Lalégiea comottal es una herramienta que nos permite vertoar con certeza el ‘compertamiento légico de un enunciado a través a8 ‘unas condiciones establectdas. A continuacién datentos a conocer Ia teoria que se desarrollaré a 0 largo de todo este capitulo para ‘oveder a lob nostuladas de la Wica proposicional Capitulo 1: Légica proposicional + Las proposiciones + Los conectores fico + La negacion * La disyuncion de casos * La conluncién + Leyes de Morgan + El condicional + Bicondicional Forman + Reglas de interencia * Concepto de sufclencia yde necesisad + Cuantincadores \égloos + Método de reduect6n al absurdo Proposiciones légicas y eonectores Una proposicién léglea es una expresién gramatical © Un enunciade que posee sentido légieo y que Puede wiilizarse para Inferir nuova intormacién, As, ‘2n el efempio anterior las éxprasiones “todos las ceajas estan mal marcadas”y “las camisas de tala M estén en ta caja marcada eon S" son propos mientras que la pregunta “zdénde estén los camisas de talla L?" ho foes. EI sentido 0 valor logico de una propesicién puede ‘1 Verdadero 0 falso; para nuestio caso, eiremos ‘que una proposicién l6gica es verdadera sila misma se esta cumpliendo on el problema. {Las proposiciones pueden ser simples o compuestas. Una proposicién es compuesta si est acompariada de conectores légicos como la coniuncién (ya isyunelén (0), 0 algun condiciotal ("s... entonces” 081 solo si); en caso contrat, Ia proposicién se ‘considera una proposietén simple. Pare el ejemplo anterior, atrmar entonces que las camisas detalla Mse encuentran enlacaja marcada com la letra $ se considera una proposicién simple y lentras que una proposicién falea eevfa or ejemplo afirmar que las camisae de talla | ee feneventran en la caja mareada con leta L, ya ve afimar tal cosa ests generando eontradieciones con verdadera, las condiciones del enuncladoLogica proposictonal De arora en adelante no miraremos las proposiciones bajo un valor Wleo de vardadero 0 faleo para evitar confusiones con el sentido estrcto de la logica formal por lo tanto caida proposielén l6glea sora denotada ‘bajo el cumplimlento de las mlsmas en el enunciado, ‘28 dectr, as proposiciones verdaderas se airé entonces ‘que cumplen y las falsas, por el contrario, no cumplen. ‘ota: Cada proposicién contenida en una situaciin problema de 1 sjercicio de Aagonamianto’ligico dele seh considerada werdica a menos que se especifigne lo contiaia. Cuadro 1, Proposiciones simples y compuestas Goage gang ef examen, Gowianto mi dinero, “Coy acne con Claudia, Pata trabajar la ligica formal, se ha desarrolado un sistema de simbolos, que ge utlizaré a Jo largo de tod este capitulo (cuadro 2). Si Waaio me invita a sali, entonces no salgo con Daniel eases | cScseeeeesdee ‘Me alracanon y lagu tarde. : Compuesta Juego hilbol si y $10 si compro un balén WFormanl Gort fox EWA Pore aclarsr la idea que se encuentra ssociads al concepto de proposicién simple y proposiclén compuésta se presentan los siguientes sols ‘elemplos, que eyidencian ta caracterlzacién de ‘cada una de ellas, Una proposicién simple es aquel ‘enunciado de sentido completo que no, pose conectores l6gleos. Al contrario, 66 considera una proposiclén compuesta la formada por dos © mas proposiciones simples diferentes. En el cuadko 4 aparecen subrayadas is proposiciones yen otra gruesa los conectores lbgicos: SESE ARERR Proposieién Coinputaata Comprcata | Compute [Simple SimpleLédiea proposictonat Cuadro 2. Simbolos usados on la légica formal Operaciones logicas, Ejemplo gramatical ear Toit Regacion ‘No canto @iaguaind vo [Gempxo 0 | Miswencion |S tiewcane =F VC +e Saco mi paaaporte y vidajo a iy |_Comencin Europa=PNE ‘Si... ontonces... | Condicionat » | Sigano al partide entonces __| pao a ta final = GB — F ‘Wr nisnero dividepon doa ab | y solo ai 24 pan = D es P Siysolosi | Bicondicional | o> s ‘Criantificeuton Jodas las priertas eatin | tans" Padivns Cuantificader 1 | | Qlmenoa tun core eaté vaclo Amano ano | Oe teal ¢ (V) aed anita LA NEGACION Si consideramos la sigulente propostal: T.Uego tarde, Entonces, de acuerdo @ las notaciones previamante especiicades en la taba 1, ¢¢ claro que *~ T" se leerd de la siguiente manera, ~T No lego tarde = Llego temprano Es decir la negacién tan sélo invierte el valor lie de Ia propostcin. = V= La proposieion ee coherénte 0 vérdadera F = X= La proposicién es contraletoflao falsaLéedea proposicional La doble negacion La ley de Inferencia pa slguionte: la doble negacién es ta “Negar dos veces una proposicién es aftmar fa proposfotén*, es decir, para el ejemplo anterior se Uiene entonces fo siguiente: T= Lego tarde ~ T= No lege tarde = Llego temprano = (© T) = No es cierto que tego temprano Liege tarde =7 Riocuerde: Dobie negasién'= (~ A) =A LA DISYUNCION En fa dlsyunci6n de casos se utliza of céneetor “o" (V), cuando se establecen diferentes alternativas en fa informactén, es decir la dlsyuncién es un conector de opciones que'me asegura que sl el enunelado es cierto 0 se cumple, entonces come minime una de las alternativas de la proposiolén debe cumple. ‘A partir de la definicidn de dieyuncién se concluye ‘entonces la siguiente regia de Inferendta. Modus tollendo ponens (modo que negando afirma) ‘Se expane entonces la aplcacién del modus tllendo pponens a paitr del siguiente ejemplo: Eiomare ts cierge tbl pr oy Bog. Ennead las afirmaciones sigulentes la nica que podemos conclu con esrteza es: _ de Antloquia, entonces ls opelén quenecesariamente A, Jalme estudiaré en la Universidad de Antlogula, 1B. _Jalme estucaré en la Universidad Nacional C.Jalme'egtuciars en ambas universidades. 1D, Jaline no estudlaré en Boxes. Notemos que.la proposictén compuesta Incl esté " ‘conectads conl”o" estoindlea quenecesarlamente, ‘comorminimo una detasdos opeionesdebe cumplirse, 168 decir, Jalme debe estudiar en la Universidad de ‘Antioquia 0 en [a Universidad Nacional; pero si se tone en cuenta la Informactén del enunclado, que afiema que seré imposible estudiar en la Universidad debe cumplrse dabe cor a decisén de estudiar en ta Universidad Nacional 4 A partir de este razonamiento podemos esquematlzar ‘el modus tolendo ponens de ia sigulente manera; ‘A= Estudiar én la Universidad de Antloguia N= Eotudiar en a Universidad Nacional 1 Si se tlenen tanto A como N conectades con la isyuncién, puede concluirse que, camo minimo, tuna de tas opetones debe cumplirse, de tal manera ue si A no Ge cumple, entonces neceserlamente la Opotén que debe cumplrse es a opelén N. Sltenemos: AVN aa N Y Jaime estudlaré en la Universidad Nacional y por lene la respuesta os Ia 8. | rte: Cuando se tions tanto C coma B proposiciones eualquiosn consclade pon isquantion deban lnerse 1 enenta fas Siguiantes consideracionassWFoamanic Lélea pronosicional 31. La disyunclén séio asegura que como minimo una Fjomplo debe cumple, mas podifa darse el caso en que mis etna poonsénevcmpe, eo en 2 9 sam dss aw a ct,‘ ein See entonces no se puede determinar cudles de las Wee! Primero de-elioses e! dos, el sogundo.es el dos o eletnioy ees elaine let ds pn roposiiones se cumplen yeules no, faa uaa : 3. Decimos que una disyuncion es exchyente, cuando & Darl de In informacién euministiada conocer con . ccertera la clave dol candado? ‘al tener dos o mas propesiclones, una y sclo una Slendo el caso que: puede cumplise, 4. Si una disyuncién es exeluyente, cambiames fa ae rnotacion MV B por la notaciin MV. 8 3 pon cides eanan epalinaa 2, Los digtos no se repten = ‘Leamos con atencién los siguientes ejemplos: =e [recess tenes anes: 22,23, 245y 244 coder neste datas Yf 'a clave en un solo intento ein més informacién, ya que fas condiciones del enuneiado generan 4 i claves serene, dh drug a descr agin neon i Para el caso 2, observe que es claro que le clave debe comenzar por 2 ‘Ahora, come ningin digo se.repite, entonces el segundo digo riecesariamente es un cuato, Para el tercercligto tenemos un razonamento andlogo al anterior: come ls digtos no se replten, eltercer algo es el cinco y obtenemos fa clave de manera exacta, 245. Observe que la exclusin 0 no de las posibilidades depende tinicamente de las-condisiones dat enunciado y.por tanto en toda lectura 6s vital fa concentracién para la correcta solucién del 4 problema. Darle, Maro y Jule an confunéo eu oEdulas de tal manera que ringune ten¢ su documento original, pore ‘cada uno tiene una.y $6t0 una de las cedulas de fos demas. SI Jutlo no tlene ia cédula de Mario, entonces la persona que tiéne la ofa de Juilo es: Mario Dario siitlo No Be puede determinar conta iformacton suministrada, peepLogica proposicional {Foamanle ipa aetas (CBdula que posee Jullo = MY D, como ~ M (no ten la cedula de Marto} entonces (tiene la ‘cedula de Dario). (Cédula que posce Mario = © \Y J, como ~ 0 (no tiene Ia cedula de Dario, ya que Ia tiene Jlfo) fontoncos J tlene Ia cedula de Jul}. As, la respuesta es la A Recuerde que la dlsyuncién exclayente (V) se utliza cuando una y sito una de las opciones puede cumple, LA CONJUNCION De ta misma manera que la disyunctén es un econector de opciones, a conjuncién puede verse como un conector de verdades “it LBs eo esate 20 ce © Ge Nesremnera cert carta 2 + teactén 1: SI levantames la manta y vemos en la carta una A, tentonces la carta de la que hablamos es fa carta 4 + Airmacton 2: Si levantamas la manta y vemos en fa carte una B, lentonces la carta de la que hablamos es la carta 4. + Afirmacin 3 SI levantamos la manta y vemos en la carta una C, ‘ontonces fa carta do la que hablamos os la‘carta 4 Qué plensss de estas tres afrmacioneg? ZConelderas ‘que todas ellas son clertas? Tomate unos minutos para pensar. Después de analiza las afmactones respecto de la situacién problems presentada podemos concluir to siguiente: Respecto ala atlemacién 4: “Si levantamos ta manta y vemos en ia carta una A, ‘entonces la carta de a que hablamos es la carta 4." Esta afirmacién es clerta, ya que de acuerdo al texto la Unica carta que posee ia fora A es la carta 4, luego la primera proposicién es requisito sufciente pare que ‘se cumpla la segunda. Respecto a ta allrmacién 2 “Si tevantamos fa manta y vemos en la carta.una 8, centonces la carta de la que hablamos es la carta 1". re sawasle Esta afirmacién es totalmente ambigua, debldo a que {a lotta 6 ge hace presente en ambss cartes. Luego, ‘0 28 posible decir que la aflimacién es falsa, pero tampoco puede conciuirse que el antecedente sea requisito cuticlente para conclit el conseouente Respecto a fa aliemacién 9: “SI levantamos la manta y vemos en la carta una C, centonces la carta de a que hablamos es la carta 1". sta atirmacién es falsa, pues asumirla clerta os Contradietorio con la informacion presentada en ol texto debido a que la carta 4 no posee la letra C. Podemos conclu de lo anterior que un condicional \gico puede asumir tres valores de verdad a saber. lerto, also 0 smbiguo, donde los mismos dependen do sentido l6gic0 del texto, e-estamanera las ituaciones problema presentades en cada ejerccio definen las hipstesis del mismo y 1 sentide l6gice de cada afimacién dependerd del ‘contexto presentado. Practicn to aprendido Tomando como referencia la sigulonte gratia, ulllza 1 condiclonal \6gico pare construlr al menos cuatro afiimaciones para alguien que entra y sale del sistema de cate afiimacion verdadera, Una falsa y una ambigua. 3s. Enlre ellas deben Inclurse una Ejompt SI pasa por el seméforo ©, entonces passé por et seméforo A, Valor de verde:Leica proposicional Inferencias tégleas 4 partir de un condicional dado. En la secsién anterior vimes que un condlclonal es tuna construccién l6gloa-gramatical que relaciona la suffciencla de un antecedente para que se cumpla un consecuente, Ademés vimos cémio identifica ¢l Yalor de verdad de un eondicional Eh ta presente cecclén ee tendré en cuenta que un ‘conclcional fbgico puede ser abordado de dos formas ‘en un ejecicio de razonamiente t6gco: 4. Se haven prosentes a modo de pregunta y ee ‘debe analizat su valor de verdad a partir de fa situacién presentada en oltextotaly como se hizo ‘en a seccién inmedtatamente anterior, = * 2. Se hacen presentes en forma de hipétesis {condiciones propuestas en la situaclén incl) y se trata de Inferir nueva informaclén @ partir de las miemas. El objetivo de la sigulente seccién es anelizarcémo se ‘aborda una situacién problema a partir del caso 2, €3 ‘decir, .Qus podemos inferir.a partir de un condicionsl \gico dado? Para contextualiar la ides y facltaria exposicién de la insma, partanios de fa siguiente situacion: Situaclén problema Los botones A, B y C estén conectados a la puerta principal de un edticio tal como muestra la siguiente rata: & WWFoamante rears Con respecte a tos botones A, B y C se consce fo ‘siguiente: + Sise resiona el botin Aentonces se abre la puerta principal + Sis presiona el botén 8, se abre Ia puarta principal + Sie presiona et botén O, se abre la puerta principal Note que et conector logico: entonces, puede ser reemplazado por una coma sila sentencla entera se encuentra precedia por fa palabra si, e acuerdo con lo anterior, suponga que suceden el ‘siguiente par de casos en tlempos diferentes: A Alguien prestona et botén A B. Nala prestona el botén A ‘Qué od puede conoluir del estado de Ja puerta en cada une de es casos? Témate un instante para analiza fa stuactén antes de continuar a fectura, a 7 Inclaimente se debe tener “en cuenta que los condicionales que se presentan para los botones A, By C son bipétesis del ejerciclo, es decir, se est afiimando que prestonar alguna de los tres botones sefé cuficente para abrir fz puerta principal Los casos a) y 6) pueden resumirce en fa siguiente tabla, que representa los dos valores de verdad que puede tomar et antecedente: ‘A. De acuerdo con la informacién presentada en la primera atitmacién €s evldente que prealonar al botén A es suficiente para abrirla puerta principal del eaiiclo, luego, podemos conclur en este case! 1 i tf i i i i(nee Léglea proposicionat 6. Si nadie jresiona el botin A, no pedemos asegurar ‘que la puerta principal esté abiorta, pore tampoco pocemes afiimar que no lo esté ya que pueden hhaberse prestonade los botones B 0, 8 deel: No se puede concluirel estado de a puerta, EI razonamiento anterior ee eesume en la siguiente tabla SESaManle, .SLla puerta esté cevrada, no es posible que et botén ‘ haya sldo preslonado pues de-sar asi la puerta estarfa abierta, por tanto: se tione la certeza de ‘ue nadie presiono 8. EI razonamlento anterior se resume en fa sigulente tabla: Gi se pesiona el boldn B erdonces we are la pues pincpal (Ewonces 4 eee | Ginbiewedaay 3 4 ie No Meta: os pariatesis indican Ins onclusiones —oblanidas pati del oalor sl verdad del antecedents. De acuerdo con fo anterior, suponga que suceden et siguiente par de casos en tlempos diferentes: C.Le puerta esté abierta D. La puerta esté cerrada ' Qué se puede conclulr sobre el uso del botén 8, en cada uno de los casos? Solucién i, ie Los casos ¢) y d) pueden resumirse en ta siguiente tabla, que representa fos dos valores de verdad que puede tomar el consecuente: a No ©. Silo pusrta esté ablerta, no existe certeza alguna sobre el uso del botén 8, ya que los tes botones podi‘an actvar el mecanisme que abre Io puerta, »_ Seccién donde pudimes observar que podemos, por Mota wos partrlesls iudican laa conctusionea ehlonides a partir del salon de warded del consecusnile, ‘Sp concluye que ovlsten dos formas de analizer 'un concicional. La primera de elias se refiere a la validez de la sentencia que se considera verdadera slempre y cuando la proposltén incl (antecedente) sea razén suficlemte pare. infer 1a propeslaén final (consecuente), Lg segunda se refere ai endlsis realizado en esta medio de un condicional dado analizar el valor de verdad det consecuente & partir del valor de verdad el antecedente y viceversa, 1 ahélisie realizado on esta seccién so resume en la siguiente table:Son cits Légica proposteional La.cual indica de manera generalizada las inferenclas ‘permitidas sobre un condicional a partir de un valor de verdad dado, Equivatencias condictonal logicas para’ ol Cuando 08 referinos @ un condiclonal gle, es Importante tener en cuenta que existen siferentes construcciones gramaticeles capaces de expresar Ja misma idea. & continuacién se presentan algunas constiuccioneé equivalentes que sustitwen el Condieional y que en algunas ovasiones eon de gran uta, Ejomplo 8: L Se desea organlzar unos pasantes para una festa, Después de pensar qué debian oftecetle a los Invitadoa, ee he tomade la decisién de comprar esas ‘© mango, pero si se compra manga entonces también ‘se debe comprar sal. Si cuando sé reall6 fa compra, ‘no s¢ han compredo las fresas, entonees de tos sigulentes afiemacionee fa tnicatalea es: Noe han comprado tresas, ‘Se ha compredo mango. ‘Se ha comprado eal. . Se ha comprado mango o sal, pro no ambos. pee> 4Formanrle Condiciones iniciales: Fe fresas Fu M M=Mango M->s: s=sa =F Nétese que al no haber comprada ias fresas, el conector "0" en la primera proposieién exige que deba haberse comprado mango: Fm X vay j F Y para la segunda proposiclin que inclyye un ‘conlcional note que come el antecedtente se ‘curnplé (es decir, compraron mango), entonces ‘obligatoriamente deben haber comprado sal, En conclusion, se ha comprado mango y saly 4 la respuesta eslaD. Quizds et ejemplo no muestra la necesidad de aplicar las definiciones que hasta ahora ‘50 han expuesto, y puede llevar @ pensar que 8 posible extracr fa soluctén sin dar tantos tode0s, pero recordemos que ta logica formal | 8 tan so una herramienta que nos permite dar et valor de certeza a las conclusiones | ‘expuestas. De 962 modo, no s6lo se Infiere la J respuesta, sino que también se argumenta @ través de procedimientos lagicas el porque la ‘respuesta como ta es nica, Un sistema de 3 vélwlas funciona de Ia siguienteaaManle 1 Lo valvula 4.0 fa valvula 3 deben estar abiertes, para ; ‘que’haye flujo de egva, pero cuando ta valula 4 se oe abe entonces la Valvula 2 se clerra. Si hay flo de. ~ > aguaylavélvula 2 esté abiert, entonces ins vélvulas i ‘que estan cerradias son: P A2yS C.Sé04 2 3 B.1y3 0.8603 , Solucion Ge : 3 Condiciones inicistes: 4 =-Vatvula 4 ablerta 2 Vélvula 2 ablerta 3 valvuta 3 ablerta avs 15-2 7 q Es claro, al aplicar ef contrarrecipfoco en la condicign 2, que st la vélvula 2 est abierte noes posible que la vélvula 4 Io esté; , } 1y-2edo-d Contra-reciproco ‘Ademés pars que haye fyjo de agua, debe estar able la vatvula 40 la 3(conclcién 4), pero i ‘como Ia valvula 4 necesarlamente ests cerrade, se concluye que la valwula 3 debe de estar ablerta, i : tv35¥vB] 4 En conelisén, estén abietas as valvlas 2y 2, yla nia vlvlacerrada esa valuta Recordemos que contrarreciprocoinfere que en todo condicional sino se cumple la segunda proposicién entonces tempoco se cumple la primera proposilén, Para nugstio elemplo, corto fa valvula 2 esta abierta, se inflere que la valvula 1 debe estar cerrada, ©. “$1 no:etey bi iformado,entones no feo el ite Le proposicién:Siteo el peridico entonces estoy bien 0. Leo el periédico 0 no estoy bien informado, 1 Informado" es equivalente a Utiizando las equivalenclas propuestas tenemos que: A. Siestoy bien Informado, entonces le el paride, SI lec el periddico entonces estoy bien Infermado Estey len informado o leo el periécico,Léglea proposicional + =L (Contrareciproce) ‘= Si no estoy blen lnformade entonces no leg el perlédico WEGamanle Ccon fo que podemos conctuir que (a opcién correcta es la. Ejomplo 14: 2 La negacién do ta proposielin “si salgo con Laura entonces me enamoraré por sem ‘A. Si no salgo con Laura, éntonces no me enamoro. B. No salgo con Laura y me enamoro, ©. Salgo con taure yo me enamoro para siempre. 0: SI no me enamoro entonees no ealgo con Laure Solucién: 14 Cuando queremos negar un condicional, podemos utlizer ta siguiente equivalencla propursta para ol condllonal menclonaga anterlormehte: SHE ~SVE No es clerto que si salgo con Laura, me enamoraré por siempre, 648) =~ (SVE) (Equlvalencia en el condicional) = S.A ~E (Ley de D Morgan) =.Salgo con Laure y no me enamioro para slempre. El bicondicional ‘observeros Ia siguiente proposicib: "Ana es mayor de edad ely solo sl Sate es mayor do edad Gramaticalmente la oracin anterior es equivatente a “Ana 6 mayor de edad slempre y cuando Sard sea mayor de edad”. El conector "si y solo sit, tamblén llamado ta ‘equivalencia biglca, exge fo siguiente: Si fanto A como B estén’ conectados bajo el bicondicional, entonces se puede conclulr que ambas proposiciones simples estén asociadas a un valor de verdad idéntico, es decir, ambas se cumpien al erpo Co ninguna de las dos fo hard, ‘hora para nuestra proposiién Infetal, solo pueden darse dos casos: 6 ambas son mayores de edad, 0 ‘ambas nolo con, Note entonces que para conocer si A y B cumplen en. 1 enunclado basta con conocer st alguna de las dos proposiolones secumpleono,yequeautométicamente fa etra proposlolén aeume un valor de vordad idéntico als otra si | |4Foamarle Pda inset Logica proposicional dene Reforcemos esta idea mediante ol siguionte ejemplo: ‘ [Ejompto 12: L Me voy para Medellin sy solos, consigo trabajo en Peldar. Después de someterme a un proceso de seleccion en Peldar, no pude obtener el trabalo, pero ful recomendado ] ava trabajar en tsagen; por tanto, deo nico que se tiene certeza es: |A Me voy para Model, B. Trabojaré en loagen. ; ©. No voy pare Medetin, D. Solo puede conelulise que no Wrabajaré en Peldar. Solucié Notemos que ls proposiciones simples; M = “Me voy para Medelin” y P» ‘consigo trabajo en Peldar” estén conectadas bajo un bicondconal, es deci, necesarlamente asumen un valor de verdad idéntco; por tanto, como no conslgulé tabajé gn Pelder Po se cumple: tampoce. centonces M. ‘te voy para Medellin - consign tnabajo an Bela x f x I ‘Como I na 60 cumple, se conciuye que no voy paia Medellin, lo que da lugar a la opcién C. ‘Guldado: es importante aclarar que la opclén & no se puede afirmar con certeza, porque tan sélo tiene una recomendacion, es deci, cusndo en un enunclado ¢e ulliza la frase: “de lo Unico que se liene certeza” quiere decir que ne da lugar a suposiciones y que para escoger una opcién se debe tener la certeza de que ésta fue inferida togicamenite utilzando las condiciones de! enunciado. En ol cuadto 3, se presentan las equivaienclas logics que tenemos. hasta ahora, as deck, las ‘expresiones simbélicas cuyo valor légico es ef mismo.. ‘Observe que hasta ahora, en la argumentacién simbélica se utlizan equivalencies logicas y métedos de deducelin, empleatios tanto en matematicas como en otfos campos. A continuaci6n se resume el cbnjunto de nornias deductivas dies para sokicionar un dllema V6aleo.Foamaale .eaica propasicionat Cuadro 3. Expresiones légicas equivalents Nombre Equivalencias Ejemplos Si adn tr pata wos cae a ligas, 23 equivalent: ‘Sino nes come altigna entoness no} bsinses fa porte ‘Si al poesidonle 04 10h ditaded. talonces hada mds violencia, | stent (AB)(~ AVE) : cit a ol presidente no 08 an dictnden 0 abd nas violencice Tle «4 cielo quo. tengo SUDA © Gontrcraeciproco Waa B A) Boansformacién disgantion fey de Morgan pada ta disquncion etc, equivalent Mo tango SODA ni ences to ea ciao qu. wine an Wleetin yen a sote tay de Morgan pa ta 9 4 Mes WA Byer AV ~B) |b equivalent | jn Me ovid an Wieden o m0 vivid 4 on la costa, Observe que hasta ajora, en le sigumentactin simbélea se utltzan equvalensas Wgleas y métodos ée Geduccién, empleados tarto'en matemticas como en offos campos. A continuactin se define el conjunto de normas deduectvas que se pueden utlizar para solvclonar un clema Kile. Roglas de inferencia Entéglea, especlalmenie en t5jca matemalea, una rela de Inferancia es un esquema pare construlrintoreniclas vvalides. Enottas palabras, las inferenclas son las conclusiones enerales de ta tégiea @ partir do las cuales podemos demostar la veraekiad de nuevos argumentis. En el cadre 4, pusdan apreciarse Ins regias de Inferencla mas comunes en la l6gica propesicional. Guadro 4, Reglas de nferencia Expresion | simbélica ‘Regia de infereincia Doble noqacion 1 plrenealelisme onatecén, Wo anteno alain: por 1 arta psinde poner 7 7 lato, entaono natacionLogica proposicional 4Formaal Si wn nitmero ea inpadr entonces no divide por 2. Xo wt ndomero inpar; por testo, X nw diviele por dos. fe ‘Modus ponendo ponents A iia Modus tollendo. |A+B follens |-8 Sivoy a trabajar, ganaré $50,000. No gard $50.00; rok tanto, no fui a trabajar: Galacia de airnacién dal seonaacuente Falacia de afiamacién del cantecederile Sivoy a cine el sdbado con Manuela, aaldré al domisigo con Jessica. Salt el domingo con Gessica: sin embargo, no sae puede coriclein ai sali con Marala 10. Sina persona cree evi Dios, entonces busca al Bit copnist. Cristian no chee 21 Dios: sin ambeage, no 8 puede concluir ai Cristian hace buenas obhas 0 no. AB BoC a= Silogismo hipotdtico ‘Si Nacional queda segundo del grupo jugard cont al América: Si jucga con at América no Aord camped: pon lant, ai Naciosl 2s Aagiindo del griypo, no sand camped, A>C BoD aVe—cVD (aero CHD ' 1. Represente simbdlicamente las siguientes Dilemma construction Droposiciones légleas y determine cules son ‘simples y cusles son compuestas,..De Igual manera, sefiale cudlos no con proposielones, + Siestillovienda, entonces no vy. + Eetuaio en ToWUo en Cartagens. + Sime gano el Baloto, me comprare una casa y + Noes cierto que, yo cante o bale. + Algunas veces viao et biectta, + Cada vez que coro, comienzo a sudar, + UWogaré a vempo siempre que me levante temprano. + Texos ls cavros contaminan. ‘Siquedo primero on la carrera ganaré wos aepalos y si sucdo sagunde ganar’ una caimiseta. Por tauito, Ai quedo primeho 0 sequaca ganaré 100s japatos o tna camireta + Sime estuerz0 en mitrabeje, ganare ia letaclén, EI botén que indica et cuarto ‘pike no esté en inguin gxtromo. Nunca he side un hombre ambicioso, Todo tiene su precio Debo llegar a las 12 0 estaré castigade todo el ‘No es cierto que yo rompa las cosas y no las pague. Seré mejor estudiante si dedico més tlempo a practicar. 2. Noes cierto que no camble de parecer, pot tanto: A. Sigo indeciso, 8 Nocambié de parecer ©. Cambie parecer. D. Estoy firme en mv deelstin,Logica proposicional oper eo peer epere oper Noes certo que no sea fuerte, por tanto: Soy dsb Nosoy fuerte Soy fuerte, Nosy al débil ri uerte. Si Martin ma expiica logiea, pero nome exailea ‘quimica,entonces podemos afar que Martin me expica dnicarnente auimica. Martin me expca quimica, ‘Martin no me exalica igiea, Martin no me expica quimica, on Rogelio se muere' de hambre 0 asalta una tienda, Oon Rogelio no ¢e muri6 de hambre, por tanto Don Rogetlo no asait6 la tienda, ‘Don Rogelio comi6 hasta reventar. on Rogelio esalté to tienda. No se puede conclu si don Rogelio acalté 12 tlenda ono. Felipe se acuesta temprano 0 Laura se enoard Laura esté enojada por tanto: Felipe 28 acosts tarde. Felipe se aeoaté tomprano, Laura no estd encjada, ‘No se puede conclulr si Felipe se acosto tarde 9 temprano. La frase: "No es certo que, yo cante 0 balle” 68 equivatente a: Canto baile No canto 0 no bali, Ccaintoy no bao. No bailoy no eanto, La frase “No es cierto que, rampa las cosas y no Fee pague" as equivalente a com> Fry A 8 ° aFonmanle ; © no ompo la cosae 0 no las Pago, ‘siremnpo las cosae, entonces las page No rompo las cosas o las pao. By Con equivalentes, Elenuncledo “es agradable estudiar razonemiento, siempre que ee tenga la mente despejada™ es equivalent a Es. agradable estudiar razonamiento con une mente despelada Es agradable estudiar razonamento o sv tiene t2 mente despaiada, Si se tiene Ia mente despejada, es agiadable estudiar razonamiento Si es agradable estudiar razonamiento, entonces sina a mente despsiaa, ‘61 Simén tlene un parclat de caleulo pero no studi, va aterier que habitar, es equivaiont a SI Simén habilta, two parcial de edleulo y no estas, ‘Simén habifta © no tuv6 parcial de calculo 0 etuci, ‘i Simén no habilta entonces no tuvo parcial de céloulo 0 estudhé. By Cson frases equivalentes, Incique cual es la negacién correcta de! siguiente cenunciado: “Si un numero es par, entonces es _miitipto de cuatro” sium nlmmero eslmpar, entonees no es mii de cuatro, Un nimero que no es mitiplo de cuatro, noes par ‘Un niimero es par y no es miltiplo de cuatro Un ndimero es miltipl ie cuatio yno.es par, Indique cual es la nagacién corcecta del siguiente enunetado: staré viglante y despierto™ ‘No estoy vilante y estoy dormido, ‘Sime duermo, entonces no estaré vigilante. Estaré vigtant, pero dorm.Logica proposicional D. Ono -estaré viglante 0 estaré dormide 13, Si @ Mateo le hacen un préstemo entonces ‘compra fa moto. A Mateo le hicieron el préstamo, por tantor A. No compré la moto, 8. Comprd ta moto, ©. Noten mucho dinero D, Nose puede conclu sl compra la moto 1, Sila puerta esta cerrads ol perro no se entrar perro se ha entrado, por tant: A Lapuerta estaba abierta, B. Le puerta estaba cerrada, GC. Noes cleto que el pero no se haya entrado. 0. Nose puede conclu el estado de ta puerta, 15. Si Diego es argentino, entonces es suramericano. Diego no es argentino, entonees: A. Diogo no es suremericano, 8. Diego es suramericano. ©. SiDiego es suremeticano, entonces es argentino. 1. No se puede conctul ql 16, Si Diana recibe su mesada @l sébado, entonces solar el domingo. Dina ealié et domingo, por tanto: A. Dlarsa no recibié mesada ei sébado, 8 Oilsna recibié su mesada el sébado, ©. Diana no sas el sébado, 1. Nose puede conclir i Diana recibié eu mecada, 17, Sivoy acine, entonces no voy a trabajar. Sino voy + a trabajar me echan. Non 1an echado, por tanto a Unica afirmacién dela cual no se tiene certeza es: A Noveyacine, B. Fula wabajar ©. Sivoya trabajar, entonces no voy a eine. D._ Sino voyacine, entonces voy a Wabslat _AESaMasl Ee En loc ejereicios 48 al 23, coloccione la inferencia final ‘a partir de las premises dagas: 18. A 8. e D 19 Don e ove A 8 o oO ~E 20. ~PaQ -P R+-Q RV-T Aveo e Doe AD 8B ~0 © eee ee gees22, PQ THR pvt PAWc sac sve (GAP) i AQ BA ca Dd. =Q 24: St ahorto, haré un posgrado. SI no ahorrd, no eetaré trabajando. 0 invetto mi dinero oso hago ‘un posgtado, No invert! mt dinero, por tanto, 1a ‘inlea afiract6n verdadera es: ‘A. ego un posgrado y estoy trabajando, 8, ahorroy estoy trabajando, C. riotnvert mi dinero y no estoy abajando, 1, ne hage posgratto, pero ahovro. 25. Si Maria ee maquil, staré més atvactiva. St etd més atractva, coguetearé més ose hard ims presumnida, Mari hha hgeho mée piesuimida, por tanto, la Gnica atymaclén verdadere ot: ‘s¢ maguil, pero no se ‘A. Nosé maguita yes presumiga, 8. Noha coqueteado mas. ©. Se maquilay no esté més atractiva, D. Ha cogueteado més. con base en Ia siguiente Informacion, responda ins preguntas 26 y 27. WEcaman no Pasa en re at Un comerciante exportador de flores’ euttive claves, osas, margaritas y tullpanes, Desea hace una ‘enlecelin de tres de estos pos de tores para envi a exteri, pero 6¢ encuentra con que und loy de aduana impone ciertas sestrcciones. Si exporta clavetes, entonces debe exportarrosas: si exporta margaritas, ro dabe expOrtar claveles; si exporta rosas, entonces debe exportar tulipanes; si no exports claveles, centonces no debe exportar rosa, 26, Segtin el enunclado la inica seleceion posible de Mores para exportar as: AL rose, sangatita, etal BL margarita, rosa, tlipan ©. tullpén,elavel, morgarta D._tulpan, elavel, rosa 2, ef dnico enunclado equivalente ala ley de advana ‘que tne que ver con ls rosas y los tulipanes es: A. Sino exporta rosas, entonees no debe exportar ty BSI no exporta tulipanes, entonces no debe exportar rosa. ©, SLexporta tulipanes, debe enportarrosas, 1. Si no exporta tulipanes entonces debe expartar Con base en la siguiente informacion, responda las preguntas 28 a 30. ‘Suponga que Luis debe hacer su matricula en la Lniveraidad, y puedo escoger entve et sigulente grupo de asignaturas: éigobra (A), estadlatica (€), quimica (), fisiea (F), ings (, bioog’a (6) ¥ lengua materea (U, 28 Exprese —simbélicamente “las siguientes ‘condiciones: + Debe matrieutaree on quimica o en + Sitoma quimica, entonces deve tomer algebra, gebra, entonces no puede ver fisiea.Logica proposicional Entre eotadistca e inglés, debe tomar sélounade Jas dos asigneturac, + Las asignatura bioiogfa y quimica se maticulan amas o no se matriculs ningun, + Si toma estadistica, entonces no puede tomar ‘quimica nl slgedra. + Shee matiieula en fisice 0 en quimica, entonces debe matricularea en élgobra, + Sige inscribe en quimica, debe matricuars Jlgebra o en siea, pro no en ambas asignaturas. + No puede matricularse’ simulténeamente en blologia e ingés. + sitoma quimica, entonees también toma biologi, yeino toma quimlea, entonces ne toma biologia 29, Determinar cuales de las proposiciones anteriores son contradictorls eon fa sigulente‘informacién: Lule matiioula A,B, Ey F, pero no matticula |, Ly Q 320. Suponga ahora que fa matrfcula de Luls esta ‘condionada por los slgulentes restreciones: + Si se matricula en blologia, entonces se debe -matrevlar en lengua matesna. + Debe tomar por fo menos una de las asignaturas fieee 0 biotegia, ; + Sitoma digobra y quimica, entonces debe tomar Inés. + De tas asignaturas ingés y lengua materna debe tomar una ya otra no. + Sino-sematicula en quimica, entonces tampoco pod matricularse en estadistics + Detomarfsicao quimica tencifa que ver también slgebra. Segtin tas restteciones anteriores, cudles de las ‘siguientes atmaciones son verdaderes y cusles son faloas: a) Siveestadistica entonces debe ver quimica. ) Si toma biologi, entonces no puede tomer fie, ©) Simo toma biologia, entonces debe tomar fisica 4d) Sie bologla, entonces no puede ver inglés. e) Sise matroula en lengua materna, ene que ver biologia, WEonman AFME, ‘Si toma Algebra, ‘no puede, estar en lengus materna, 8) Si toma digebra y quimilea, no puede estar en lengua materna, Rreguntas 31 a 34, ‘explore las conclusiones que pueden obtenerse de lag elguientes premisas a partie de las restieciones propuestas en el numeral 30. Exponga qué materias debe marleular Lule, cudles no puede matleular y cules’ podria tomar, sin que sea obligatorio que Io age 34, Si Luis se matricula en quimica entonces: Dobe matriculatee ent ‘No puede matriculerse e Pootia miaticularse en 32, Sie eabo que Luls no toma bioogia, entonces: ede matricularse en: No puede matricularse en: Podria matricularse en: 33, Si Lule se maticula en estadistica, entonces: DDetie matrieularse en No puede matricularce ent Podiia matsicularse en: 34, Cudles de, los siguientes grupos de materiag 1 cumplen todas las condiciones desciltas: fisica, sgebra,tengua materna y biologia blologia lengua mate, tistca y quimica lengua materna, estadistica y biologie quiinica, algebra, inglés yfsiea Las reglag de'Inferencta, como podemos observar, son de alice’ uttidad en el momento de desarrolat un eereicio que contenga clferentés. proposiciones ‘seas. Sin embargo, la loa ein lugar a dudas est cent ey{Logica propesicional Intimamente ligada a las restrieslones condiciones que deben cumplirs en todo tipo de situaciones, ‘A continuaelén, nos disponemos a trabajar coh respecte al hecho de cuando una condictin es suficiente para que un evento suceda y cuindo es ecesaria para el mismo caso, CONDICIONES DE SUFICIENCIA Y NECESIDAD En el caso de la aulciencia o.necesidad de una condicén, el sistema de compertamiento es similar al eaimportamiento do un condicionat, séko que en ota ocsslén-queramos detorminar la veracktad del condicional de acuerdo al sentido com. Esto ulere decir que para determinar el cumplimlento 0 no de un condliconal, debe de analizase de acuerdo con los ‘conocimientos acerca de ia temtica sobre fa cual se Intorog Lacufclencia ynecestdad entre dos proposiciones ests Sntinamente ligada a st equivalencia lea, es decir, ‘evando analicemos un caso de suliclenciay necesided lo anclizaremos bajo la siguiente equivalenca Aee= (WB) A BN ‘Suilelente ynecesario Suticlonto Necesarto en i (Solueion: verdad de la sigutente Implicacién: $800 Compra tener $800, La pregunta es sufciente con los $800 pata hacer la compra, se define analizando el valor de eS! tengo $800, entonces puedo hater la compia? como el monto total de Ia compra es de $700, entonces la respuesta es ai, si es sutctente con WFormanle, Si se razona de inquietda a derecha nos refeimos ala ‘sultclencta det condiclonal y i se razona de derecha a lequierda se refiere a una condicién necesaria, ‘aly como se muestra en el siguiente ejempla: [isa Diego, quiere comprar un chice, una menta y una ‘chocolatina con sus 800 pesos en una tienda que tlene los siguientes precios: Entonces, ce las siguientes afinmaciones Is nica votdadera es: A. gEssufelente conlos $800 parahacer'a compra? 8 Eenecesatio tener $800 para hacer la compre, ©. Essufcientey necesarlo tenor $800 para haceria comora, D._ Noes ni suficente nl necesar hacer ta compra, tener $800 paraéiica proposicional La pregunta ges necesario tener $800 para hacer ia compra? se define anslizando ¢| valor de Verdad de a siguiente Impiicact: ePara realizar la compra debo tener $8007 | La respuesta es no, no necesariamente debe tener $800 ya que sélo son necesarios $700, Loque ‘A continuacién se exponen algunas norma para analizar el cumplimiento de la sufclenciay la necestdad de un condicional + Suffofencia ‘como consecuencia et cum : SI un nimero divide por 8, entonces dicho nimero es La pregunta para anatizar sufciencia en este caso seria la siguiente: _Todos tos ndimetos que dividen por 8 son pares? Notese, que en todos los casos que un numero alvida or 8, (8 dost, ue al dviiro por 8 el resultado sea ‘exacto} es porque eéte niimero también posee mitad ‘exacta y por tanto ¢s un nimero par En conclusion, como en todos los casos en que 0 se ‘cumpa (que un nimmero divida por 8), obligatoriamente debe cumple (que sea un numero par), entonces. se dice que D es condicién sufciente para que se ccumpla & compra -» $ 800 DDecinies que A es condicién eticiente para 8, si en TODOS los casos en que A se cumpla, genera lento de B, es decir, sl tenemos A» 8 Jerse for EWES {Foran Si se es suramerioano, entonces también se 6s colombtano. =e a pregunts pata anelizar sufclencia en este caso seria la siguiente: Todos los suramericanos eon colombianos? Es ‘claro que no todos los. stvamericanos son’ ‘colgmblanos, debido a que existen otros paises’ que pertenecen @ Suramérica, es decir, si $ se cumple, no es obligatorio que se cumnpla C, de fo que ¢e conehuye: ‘qué ser suramericano no es una condieién sufciente para ser eolomblano. + Nocesidad Decimes que A es condicién necesaria para B, si en todas las casos que Bee cumpla, necesariamante & | | ' iLogica proposicional también debe haberse cumnpiki, es decir, sl tenémos ques +A (emia va Slunndmere dice por 8, entonces este nimero es par poe a pregunta para analizar la necesidad en este caso. seria ia siguiente: Todos fos mimeros que éon pares también dlviden por BP. (Note que con respecto al elemplo 13, para anallar sufllencla eéto debemos ivertirel arden dela pregunta). La respuesta a esta pregunta es negatia, ya ‘que existen nmeros como e2, 4, el 6y muchisimos de que eon pares y no dlviden por 8; por tanto, 60° coneluye que el hecho de que un nimero divide por 8 hho ee ina condieién necesaria para que el niimero sea ‘par. Ejomplo 16: L Si se es suramericano, entonces también se es colombiane: soe La progunta para determina ia necesidad en este cas0 ‘serial sigulente _Ufodos los colomblanos son suramericanos? En este caso la respuesta es afirmativa, por ser Colombia un pais suramericano, y se concluye también que-ser suramerican es fie condicién necesaria para sor un colombano. De las titinios cuatro ejemplos poderios afrmar que: Ser dhisible por 8 es una condicién suficente pero no necesaria para ser un nlimero par y ser suraméricano 3 condicion necesaria pero no suficlente para ser colombiano. ia Sonmanls, En ef momento de realizar los elercicios propuestos, sugerimos recotdar que el cymplimiento dela suficlencla 0 necesidad de una condisién es vélido siempre y cuando se yeriigue que ee cumpla en 10008 Los casos Cuantificadores légicos CObservemos las siguiontes proposicones: + Después del terremoto de 7,3 grados ena escala de Richter, todos os edficios han quedado de ple, + Despuds del orromoto de 7,3 grades ena eacala ‘de Richter, vatios ealifcios han quedado de ple. + Después del tertemoto de 7,3 grados ena escale de Richter, al menos un edifclo ha quedado de ple + Después del tervemoto de 7,3 grados ena escole cdofRtchter, ningineditclo ha quedado de pi. Note que las 4 proposiclones poseen un valor légico iterente y toto se debe 4 los cvantiicadores lagicos _ Bresentes en,cada una de elias, De una manera més general, podemos atiemar entonces que cuantincar 50 reflee a exponer cuaintes elementos de la proposiofén cumplen el enunciado ‘que os contiene. [Algunos de los cuantiicadores-\dgicos més comunes Todos, siempre, alguncs, alguno, existe un, al menos ‘uno, nunca, ringuno Notacién y equivatoncias Paradenotarbajoelsimbolisnio formatuna proposici6n cuanifieada uttizaremos los siguientes simbolos: ‘Y/: Cuanticador universal (Todos, stempro, nunca, ningun.) 7: Cuantiicador exetenctal (algunos, al menos uno 8%, algunos no..)Leica proposicional Los cuales gramaticatmente 6e asignan dea siguiente Todos tos x cumplen la propiedad = V , P) ‘Al menos un x cumple ta propiedad = 3, (P) No todos los x cumplen la propiedad = — W , (P) Hingin x cumple ia propiedad = ~ 3 (P) En donde podemos establecer las siguientes ‘equivalencies: VP) todas los x cumplen la propiedad = No existe un xque no cumple fa propiedad +3. GP) 1x (P) = olgin xeumple la prosiedad = Noes cierto que, todos los xno cumplen la propledad mW PD ‘Ydus negaclones respectivas: ~¥, () = No todos los x cumplen la propiedad ~ Exjote un x que no cumple ta propiedad ~My) = No existe x que cummpa fa propiedad 3, () =Ningin xeumple la propiedad = Todos fos x no cumplen la propiedad =P) CObserveros alguna epiicaciones en tos siguientes ejemplos: + Ningsin hombre es fel = ~ yu) ¥ wlFI Todos los hombres son infeles, + Algunas artiutos no tlanen garantia, = 3A(-6) ¥.(@) = No todos lo sitfulos tlenen garanta Negacién de cuantificadores logicos, Elobjetivo de aprendor a negarlas frases qe sparecen cuantiicadas es estructurar frases equivalentes que resumen el vila legico de la proposicion negsds, e esta manera la frase “No es cierto que todos los aRaauaelg editiclos hayan quedado dé ple” se resume como: menos un edificio se cays. 1 concapté general que nos permite estructurar una frage equivalente a la negaclén de una proposicién uontiicada, es preguntarios ol porqué dela negacién. Expongamos ahora ta meoénica que debemes ullizar para negar una proposiclén cvantiicada, con fos siguientes ejemplos: (Ejempto 17 Una frase oquivatente @ ‘No ee cierto que todos los hombres son perros” Solucién {Por qué no es clerto? Porque’ ‘Al menos un hombre es fe. Novesclrto que todos loshombres son pets * | vn) <3 he?) = Aimenoo un hombre es petro. = Almenos un hombre es el | | | | te tr Ejomplo 18: Una frase equivalents a: “No es cierto que slqunos dos lego temprano”. [Sotucién intuitiva: @ Por qué'no es cierto? Porque: ad Todos los dias lego tarde. Solucién formal: No es cierto que Aiguros:ies lege temprano.Logica proposilonal aan Fo =yacrn + Todos lee dias (no lego temprano) » Todos los sas Nego tarde No es cierto que ningin afa ganemos. {Soruetan inti G Porque: -Aigin ofa ganamos. Solueién formal: || No es cierto que ningtin dia ganemos = | -@aaten = 346) | = alin dia ganamos | srrautno csc { Ejomplo 20; Noes clerto que algunas habitaciones no tengan agua. Solucién intuitiva: {Por qué no es certo? Porque: Todas las haltaciones tlenen agua | Sotucién format: | No es‘elerlo que algunas nabitsciones no | tengan agua =~ 3h (~A) 1 = Ve AD) = yn) : = Todas iag habltaclories tienen agua. Note que la solucién a la pregunta eppr qué no es clarto? da estructura # una proposicién equivalante: a la negacién del evantiticador logic, ; Observacionest 4. Lanegacién de un eventicador universal siempre debe dar como resultado un cuanifcador cexistenclal y viceversa, 2. Le negacién del cuantiteador “algunos curplen fs propiedad" equivale a decir que todos no la ccurpplen y ninguno la evinple 3, ba olucién intitiva y la solucién formal deben pposeer un sentido égicoIdéntic. 4, Reeuetde entonces que formalmente tenemos: ( (Py 3(-P) i a (P)=-Va(-P) -3,(P)=Vi(-P) = Vy(P)=3(-P) Roprosentacion cuantiticadores En ocasianes eit dr tna representacion grfia @ gratiea de enuneiados cuantificadas. A continuacién se propone 15 grata de algunas proposiciones cuantiicadas: y dos lox | Ming anise on | Footbeas isis jen i b [ : ' ort ay 1 etyin | tes ts (@) 1 Caen na) | fonds i i hobaeaswijo | en igan | Meoteces | H, Vv (dimers | ha san} denbvess, | henbves Joes os “mbes onters wide | an ‘lores NtinginLégica propostcional Gratique las siguientes proposiciones cuantificadas: + No todos os perros lad + Noe vendido ningin carr, n + Al mence una valvula est abierta, + Al menos un foco esté abagado. + Todos os vicios son cadenas. + Todos los dias pienso, 1. Ser reeténgulo es una condiclén ‘A. Suticiente poro ne necasaria para ser cuadrado, B._Necesaria pero no sufiiente para ser evadado, ©. Suflclente y necesaria para ser cuadrade, 1, Ninecesaria ni suiciente para ser cuactado, 2. Ser dvsible por sels es una condicién: |A. Sutlclente pero no necosaria para que un mimero 360 miitplo de 3 B.Necesaria pero no suliciente para que un mimero, ‘ea miitplo de 3 ©. Suficiente y necesaria pare que un auimero sea iiplo de 3. ‘i 1D. Ninecesartanisuliciente pare que un ndmero sea iltiplo de 3, 3. Tener alas es uns conden: Suclente pero no neeesaria para sor ave. "Necesaria pero no surictente para ser ave, Suicionte y nocesaria para ser ave. Ni necesaria ni suiciente para ser ave. pes 4 Segin el enunciade: “Si soy colomblane, entonces soy suramericano", por consigulente, ‘ser suramerioano es una condlelén: ‘Suflciente pero no necesaria para ser colomibiano, Necesaria pero no suiclente para ser eolombiano, Suliciente y necesaria para ser colombiano. Ni necosstis nl suliclente para ser colomblano. oper FEGaMaAnie, Tener visa es una conallén: ‘Suloiente pero no necesaria para viajar Estados Unido, Necesarla pero no sufcionte para viajar a Estados Unicos. Suflclente y necesita para visjar 3 Estados Unicos. Nrnetesaria nl suficiente para viajar a Estados Unicos. Ser cuacrado es una eondicién: ‘Sutlelente pero ne necacaria para cer rombe, ‘Necesaria pero no sufciente para ser rombo. Suffclente y necesarta para ser rombo, \Niriecesaria ni suficiente para ser rombo. Ser tiangulo equilétero ¢8 una condieién: Suolente pero no necosaria pore’ or trdngulo Isdeceles, Necesaria pero, no‘suticlente pata ser triéngulo Iséscek Sulcidnte ynecesaria para ser tuléngulole6soetes, (Mi necesarta ni, sufciente para ser tréngulo Isésceles, Ser mamifero es una condleién: Sulciente pero ng necesaria para ser vertebrado, [Necesaria pero no suliclente para ser vértebrado. Suliciente y nececaria para sor vértobrado, 'N neceseria ni auficfente para ser vertebrado, Sugar fdtbol es una condiclén Suffelente poro no necesarla para hacer goles Necesarla pro no suislante para hacer goles. Sufciente yriocesara para hacer goles. Ninevesaria ni suficiente para hacer goles. Tener plemas es una conden:Logica proposicional A 8 « 8, A, 8. « 0, Sulfciente pero no nacesatia para eeminar. Necesaria pero no sufilente para caminar. Suciente y necesaria para caminar. Ninecosaria n ouficiente para caminat Poser raie cuadrada exacta es una tondlclén: Sulfciente pero no neceearia para ser un ndmero positvo. Necesaria pero no sufclente para ser un mimero postive, Suficente y necesaria para_ser sun ntimere posits. Ni necesatla ni sufciente para eer un alimero postive, Ser una palabra escdjua es una conclcén: Suficiente pero no necesaria para toner tide. ‘Necesaria pero no cuieente para tener te, Sufiente y necesaria para tener tide. [Ni necesaria ni suficlonte para tener tide, La negacién det enunclado “todos Jos carroé Ccontaminan” es aquivatente a Todos los carros no contaminen, Ningin carro contamina. , Almienes un carro no contamina, Algunes carros contaminan. La negacién del enunciado “todos fas hombres son infeles" es equivalente a: * ‘Ningin hombre este ‘Almenos un hombre es ini Al menos ur hombre 6s fel Todos los hombres son files, La negecién det enunelado’ “todos foe alunos ‘estén haciendo desorden’ es equlvaiente a \Ningin atumne hace desorden, ‘Al menos un alumna ne hace desorsen, Algunos alumnos no hacen dasorden, Todos los alumnos estén ponlendo atencié, WF oamanle 16, La negacién del enunciado “algunes veces vaio ‘en biciceta” es equivalente a: Nunca viajoen blecleta, ‘Al menos una ver ne viajo en bicicota, ‘Siempre viajo.en bctteta, pops Algunas veces no vajo en bicicleta, AT. La negackén del enunciado “algunas especies en el Attica miden més de diez metros” es equivalents a: A. Algunas especies en ot Arica miden menos de diaz metros, 8, Todas as especies on el Africa miden 10 metros o © lingua especie en el Atica mide lez mates 0 'D. _Admenos una especie en ol Arica mide menos de diez matios, 18. La negacién det enunciado “al menos un di lego temprano” 6s equivelente a Todos fos dias lego temprane, ‘Todos los das lego tarde, Algunos alas lego tarde, Nunca lego tarde, 19. Lanegacién det enunciado “algunos nifios no han comido atin® es equivalente a A. Algunos nifios ya eamieron, B,_Ningin nfo na comi. ‘© Todos tos niios ya comieron. 0, Todos os nis no han comico, 20. Lanegacién del enunciado "no he pagado algunas cosas en esta vide" es equivatante a No he pagedo nada en esta vida. Todo se pata en esta vide, He pagade algunas cosas en esta vida, sos> Nunca he pagado nada em la vid, FasanoLogica proposicional 2A. La negacién del enunelade “singin politico &s honesto” es equivalente 3 A menos un polities es deshonbsto. ‘Todos los politicos son honestos. [Al menos un pot inguin notices deshonesto. 0.28 honesto. pee 22. La negactén del enunelado “ningun estudiante porciécdleulo” es equivalents a: A. Ningin estudiante gané calcul B,_Almenes un estudlante gané ealeulo, Cc. Al menos un estudiante perdié céleulo. 1D. Todos los estudiantes ganaron calcula, 23. La negacién del enunciado "ningin perro piensa” 8 oquivalente a: A. Todos ios peros piensan, 18. Al menos un perro no piensa. . -Almenos un perro piensa. ©, Ningun perro no piensa, 24 La trese: “n0 slempre he sido un hombre paciento” es equivalente a ' |. Nunca he sido paciente. 18 Muchas veces he sido impactente. G. Todas las veces soy impactente. 1. Almenos una ver'he sido impaciente, 25. La fraser "No es clorto que nunca he perdido una pelea” es equivalente a: He perdido varias peleas, He ganado todas las peleas, He ganado al mencs una pelea. He perdido al menos una pelea. 26. La frase: “Hay algunos lujos que no puedo dare” es equivalente a coer No puede darme aigin jo. ,, No puedo darme ningtin uj. WFor c_Nopueda darme todos Ios luo. 1D. ‘Hay algunos lujos que me pueco dar. Método de reduccion al absurdo Observes el siguiente ejemplo: Ejomplo 21: aig Ups medaliae de or, plata y bronee para tos 100 metros plans, fueron entragaclas ayer en la tarde # ids paises de Nigeria, Estados Unidos y Colombia (no necesariamente en ese ofden. Hoy en la mafiana tees encabozades de 4 periétices, qué desaste”, exclamé al leer lo siguiente: Poridice 1; “Colombia gana oro en 100 metros planos ‘ Potlédico 2: “Nigeria gana plata en 100 metros planes i Perlbdioo 3: *Nigerta gana cro en 100 metros panos". i Periddieo 4: “Colombia no pudo Hevarse ta medals «de platé en fos 100 mettos pianos”. “Solo uno de eatos periédices alee la verdad”, die, ¥ ‘mo retiré det puesto de vonta, {Sex posible determinar cul peribico dieota verdad? ‘Guana en tn slercicle de razonamiento Kégieo nos indian some condicion que s6lo una de les anciones: poslbles es Ciera (as6ld una es flea) se-recamianda ollelonatle_siulendael_método_de_recueciin al absutdo, gete métorio consiste en analzat las " posibldades.Jxicas del ercicio con el abiethe.de : ‘enconliarcuéLe la nica oncn que nueciosercierta {asa}, Por ejemplo, anaicemos si es pesile que et nico penaica que dice fa verdae, cea el perdi 3 Noteinids que si el petibico 4 ests en fo clrto, los demas no\Gastin puesto que esto uno colo verdad), porlo tanto se obtiane Hi sigulente informacton: Poriédico 1 gierto:Loglea proposicional Penbdlee {: “Colombia gana cio en 100 metios plans erlidice 2: “Nigeria. no. gant 300 met panos” Rerisiige 3: “Nigeria no gona or en 100 metros panos? Polbslce 4: “Colombia se tlevé id medala da plata” + La seccién subrayada representa la Informacion ebtenida suponlendo que fos demés periédieos mienten. : Es decir, partiendo del hecho, de que Gnicamente el periédico 1 estaba en fo letto hemos legado a quo Colombia ha ganaclo ore y plats al mismo tlompe {periédigo 2 y 4), fo cual 6s imposible; por tanto se descartd la posibiidad de que el petiédico 1 sea el buscado, 7 ‘Haciendo un andiisis similar sobre el periéaleo 2, 3y 4 se obtiene fo siguiente: Periédico 2 cierto: Pauibdieo i “Colombia no gana orc 100 nets lanes” Poriédice 2; *Nigetia gana plata en 100 metros panos” i Potiice $: “Mseria no. gana oro_en’100_metios planos’ Rerlédieo 4: “Colombia se llevs Ia medalia de plata” Impesitie, porque habia dos ganadores ela medela ge plata (Periécco 2 4) Poriédico 3 cierto: Reiilea 1: “Colombia_no_gana ogo. en' 100 metcos planos’, Potisdieo 2: “Nigeria no_gana plete en 100 metros plenas Potiddiao 3: “Nigeria gana oro en 100 metros planos dion a: jev6 a medalla No hubo contraleciones SForvanle Poriédice 4 cierto: Perigdien 1 “Colombia np gana oro en 100_mevos planos” Periddico 2: “Nigeria no_gana_plata en 400. melas planes” Revi 9; Nigeria_no_gana_ore_en 100 metvos plans’ Periddien &: “Colombia no pudo Nevarce a medla de Plata en los 100 mets panos” Inposiole, por la nformactén inicial del enunciado se eanoce que tanto Nigeria come Colombia deben de amar alguna medaila y no pueden ganar bronce ba dos. Note que al final del andiiss, es imposible que los petiécicos que dicen la verdad sean los peiiSdcos 4, 2 0-4, Por tanto se concluye que el periéaioo que dee fa verdad es el perécico 3, y por la iformacién obtenida ‘ene! tercer ends, podemos inferir que fee medalas de ‘10, plata y bronce son para Nigeria, Golombia y Estados Unidos, réspactivament, Este método posee muchas aplicaciones los ejerciios 6e razonamiento lgico yes usualmente conosido como {el método del descarte, Ahora, obsarvemos cémo se ullizaesta téenlea cuando elo uno de os enunciades es fas, (Hlempio 32: ¢ Felipe, Carlos y Dario han sido culpados por esconder la maleta de Andrés, al ser interragactos ls tes nos ‘cada uno respondié fo sigulente: Carlos: “Dario no escondlé fa malate’ Felipe: “Carlos no escondlié la malta’ Dario: “Carlos y yo escondimos la maleta” ‘Sige sabe que Uno de los tres niios mente, zgué nifo escondié la mafeta?Forman Leetea proposicional {Sotuciéne Suponamos que nite qe miele es Cale, nor tahlo Jos demés rf dcen verdad, porto \ ve se conclye fo siguiente: : +_Garlos: Dario gscondié ja maleta ' + Felipe “Cartos no esconaié la mateta” (x) + Dario: “Caries y yo escohdimos la maleta® (x) La seceién subrayada represénta la informacién obtenida al suponer que Carlos mlente, Partiendo de esta informacion se llega a una contradicclén ya que Carlos no puede ser culpable © Inocente at mismo tlompo. Por tanto Catles.no miente. (Las X representan fos testimonios que se contradicen entre si) Supongamos entonces que e! nif que miente 8s Felipe por lo que obtenemas Io sigylente: + Carlos: Datfo ne escondié la maleta (x) i + Felipe: “Carlos escondlé Ja maleta® + Dario; “Carlos y yo escondimcs la maleta* (X) Observe que si Felipe miente, entonces Carlos y Dario se contradicen ya que Dario no puede ser ‘culpable e inocente al mismo tiempo. Per tanto, Felipe no mint Por itno si supanemos ave auion monte os Dare ebtonemos cu + caim:bao re xcon la maita ; + Felipe: “Carlos'no escond ta malta” : + Davia: No es certo aue, Carlos ovo escondliéramos la malgta” ie i . Observe que en este caso no hay contradicclones y todo concuérda con el hecho de que Carlos ¥ Dario no escondieron la mateta, por tanto si e6!o uno miehte, quien miente es-Derlo y quien, escoidié la maleta es Felipe. Recuerde entonces que para solucionar problemas que se remiten al hecho de que séo uno miente 0 s6lo unp dice la verdad, serd entonces de gran utlidad ullizar el mStodo de reducclén ‘ue consist eimplemente en cuponer casos y descartar aquéllos que generen contradieciones. a\eiea proposicional Algunos aspectos para consideratt Para fnalizar, sotucionsremos el siguiente ejercicio de Seis preguntas que es de vital importancis considerar. Resuelva las preguntas del { al 6 apartie deta sigulente intormacién: Fuente El sistema ce la grafica repiesenta una fuente de ‘energla conectada @ cuatio bombilos ~A, 8, C y “de los cuales cada uno poses bateria propia. El fuhclonamiento o no de ta baterfa de cada bombo depende de un interruptor que bien puede ester en OFF on ON. SH el imerruptor-estd en ON, Ja bateris se encarga de oncender el bombil sin riecesidad de la tuente. En caso de que Ia bateria até en OFF el bombillo ‘necesita la fuente para funclonar, La fuente tiene una ‘apacidad de 500 ampetios para distribuir entre tos bombs A, 8, C, D que necesiten 400,°300, 200 y 100 emperios para enceniderse, tal y come lo indica ta figura, La fuente esta progrsmada para repartr energia en teen de mayor a menor amparaje ds! bombillo y sélo perme ef Nujo de ener oi tee 1a capacided ‘suficlente para encenderlo. be esta manera, la fuente tendrd como prioridad el bombillo A, al cual le suministrara ane ja si lene eéme abastever lac neqesidades del bombillo; la siguiente prioridad ex SP GaMaile 'B bao fas mismas condiciones y asi sucesivamente hasta Hegar a D, La siguiente tabla puede ser til para desarotar los experimentos sobre el sistema: ie Estado Interrupior Asi, por ejemplo, sila fu {ntercuptor A esta en ON, fe Informacién regiatrada en (a tabla sera ta siguiente: eesti funclonande y e6lo el Donde: V= Encendido / X= Apagacio Como. titima consideracién, Ia fuente puede estar tunclonande © descompuestayy no ge tiene rerteza de esto 8 menos que la Informacién sea suministrada, 2. Sila fuente funciona y ¢ esté apagado de to tnico ‘que se tieho certeza es Desté apagado, Elinternuptor de A esta en OFF, €lintertuptor de B esté en ON. Elinterruptor de B ests on OFF, 2, Sia fuente funciona y el interuptor de C egté én ON, entonces de las airmaciones siguientes de fa Uinlea deta cyal nose tne certeza es: A. Cesté encendide, esté encendlao. © Si et interruptor de D esté ‘bombils estan encendidos. D. Si el intesruptor de A esté en OFF D est ‘encondido. n OW, todos tosica proposicional pee ‘ia fuente funclona, la inioastuacion que noes 5,’ Delasigulentes atimaciones, la tinica verdadera posible es es: Desté encendldo ‘A. “EL bombil A no puede estar apegade. Elinternuptor de B esté en ONy Desté apagado, 8, El bombillo A ests encendido:y to fuente no Besté apagads. furiclona Finterruptor de A esté en OFF y Desté apagado, ©. . Sila fuente funciona, @ debe estar eheendido. D. Si Ia fuente funciona y todos [ds Interruptores ‘De las siguientes situaciones, la nica pose es: eatin en OFF, By G estan apagados. ‘Lafuente funciona y A esté apagado. 6, De Jas slgulentes oflrmactones, la nica falsa es: El interruptor de A esté en ON, la fuente funciona yBesté apagado, |A.- Sie fuente funciona, A esta encenadido, El Inexuptor de A esté en ON, a fuente funciona 8. _ SiAestd apagado, la fuente no esté funcionando. yCesté spagaco, G., SID esté apagado y la fuente funciona, el Elinterruptor de Aesté en ON, B est apagadoy Interruptor de A debe estar en ON. ‘sta prendido. D, Si et Intorruptor de A estd on OFF y Ia fuente funclona, entonces D esté apagado. Solucién: ~ @ Lo primero que debemes hacer cusndo nos enffentamos @ un sold enunciado del cual se derivan ‘muchas preguntas es entender bien la eituacion planteada, Generalmente, este tio de preguntas tienen includes una situselén ejemplo que permite dar claridad 2a idea. Por tanto, desglosemos el pjemplo de la tectura, q ' Ejemplo de fa lectura: ‘si, por ejemplo, sila fuepte esta funcionando y e6lo:el interruptor A est en ON, fa nfotmacién registiada en la tabla serie la sigulente: [rune [A 8 fade [V qv q ini of Torr oF oF Donde: V = Encendlide ” X= Apagado PPava poder entender el ejemplo, haqamos un pequafio-resumen de fas condiciones que propone el conunclade: + Sielinterruptoresté en ON, ef bombillo esté encendido, + Sletinterruptor esté en OFF, el bombllo neogsita dela fuente para estar encendido. + Le fuente tiene $00 amperios de capacidad, : + Los bombillos AB, Cy © son de 400, 300, 200 y 100 amperios, respectivamente,Légiea propocicional * Lafuente cistrbuye energia de mayor a menor necesidad y célo el lane cémo abestecer al bombillo, Esto quiere der que en ef cuadro ejempio muestran que 8, Cy Dnecesitan de la fuente. El primero en ser abastecido 6s B por ser el que més necesita de las tres (200A), luego en eu orden abastece © (2008) y se queda sin energia para abastecer a 0; por tanto, s 8610 A esta en ON, enionces A, 8 ¥ Cestén prendidos yO estd apagado, taly coma se regista en la tabla, Procedames entonces a solucionar cada una de los preguntas proptestas, Para coluctonar tas preguntas 1y 2 es Importanta tener en cuenta fo siguiente: No ee fo mismo que luna eltuacién sea posible a tener certeza de que esa situacién deba suceder, Teniendo en cuenta lo anterior, ta solucion para la pregynta 1 sera a siguiente Silla fuente funciona y Cestd apagado de to inleo que se tiene corteza os: Dest apagado, Elintertuptor de A esté en OFF. El interruptor de 8 esta en ON, Elintecuptor de B eetd en OFF. A 8 e D ‘Sila fuente funciona y C esta apagado pocemos atirmar lo siguiente: * Cesté en OFF, que es claro poraue O esté ajagado * Co recive energia de la fuente. ‘SIC no rocibe energfa de la fuente y la fuente funcione, es porque fa energfa ¢e detibuyé a aros bombitios, ga cudles? Estado Interrupior | ‘in lugar a ‘dudas energja eufetente para abastecer sb bombil, ya que le fuente consta de 800 amperios, que(eens RESIN WFormanle {Logica proposicional Ven oR WES ‘en ol peor dé los 6as0s por often serian distibuldos entre By C. 0 ea, a4 a C no le llega eneigia 0s Porave digha energia ue distribuida en A, y por tanto A eatdgn OFF 4 Si 400 amperios de Ip fuente se alstiivuyeron en A, cobran 100 amperies que en este caso le corresponderian a 0, que es el bompillo de 100 amperios, lo que permite efirmar que O est encendkd sin importar ol estado del interrupter, 1 acuercio a esto tenemos que: Fuente £s dct, se obtienen dos certezas: + Aesté en OFF yencendide + Desta eneendido, Por citime: A. Desté apagado, (Falso) 8. Elinterruptor de A esti en OFF.(Certeza) _ t G. Elinterruptor de B esté en ON, (No se puede conciur) D.__Etinterruptor de 8 esté en OFF. (No ge puede concur) De lo que se concluye que la respuesta es la opelén 8, t 2. Sila uente funciona y el Yerruptor de C esta en ON, entonces de as afrmactonee eigulentes ta Unlea de la cual no se tiene certeza 95 : q ‘Aesté encendide. ‘Si elinterruptor de D esta en ON, todos fos bombilos estén encendidos. ‘lel interruptor de A éstd en OFF, D esta encendido, oem» Tenemos fo eiguient i ee iene & Estado v av = ;SF oanacle, égtca proposicionat Esclaroque a y Cestan encendidos porque C est en ON y slempre que la fuente funcione A estard tencendldo por ser el primero que ta fuente abastove. Por tanto se descartan ta Ay la B, | Pata 2 epcién 0 observe que sia ests en OFF; pasan 400 amperes a Ay 100 amperies a D camo {en elefempio anterior, es decir. D estarla encenaid. | En cambio para la onckin 0, observe que si 0 ectd en ON, igual A y B pockian estar en OFF, pore ta fuente tan séto tiene 600 amipeniés para abactocer a AY, de modo que sélo puede abastecer a uno 149 tos dos, entonces 08 posibe que todos los bombil no estén encendidos ogo: Ceesté encendido. (Certo) ‘Aes encendido, (Certa) ‘Sel interruptar de © est en ON, todos les bombilos estén endenditos. (No necesaciamente) Sielinterruptor de A esta en OFF, D esti encendido. (Certo) : pees Alla solucion para el eferciclo 2 es Ia. G En las proguntes 3 y 4, dotiemos analiza si una situacién es 0 no posible, Para hacer esto sélo 80 requlote seguir las instrycciones del enunciado al pie de ta letra, De esta manera, gi alguna situacion va en contra le las condiciones del enunclado, simplemente se asume due la situacién no €s posible, Cbservemes: Soluctén a proguntas 3 y 4: 3. Sila fuente funciona fa Unica situactén que no es posible es: A. Desté encendido, ‘Sies posible, porque D puede estar en ON, 8. Elintenrupiorde B estd en ONVC osté apagade. ‘ies posible porque si 8 esta en ON y los demas estan en OFF; In fuente abastece a Ay D, pero noac. ©. fest apagacto, ‘Si ¢9 posible, porque si todos estén en OFF, Slo Ay O estin prendidos, 8. Elinterruptor de A esti en OFF yD esta apagado, Imposible, porque si A ests en OFF, fa fuente gasta 400 en Ay queda con 100 amperios que slernpre estardn dlspontbles para O. “PRM ninashcini nomenaFcamanle ala propostclonal Luego, la respuesta es ta open 0. +” La parte subrayada represents las opciones posibles 4. Delas siguientes situaciones, la Gnica posible es: A. Aafuente funsionay Asst apaado, ‘ tnposil; sempre que la fuente fundionehabréeneigia suclerte para Apor sel primer cen el orden, a 8. Elintewuptor de Aestden ON. Jafuente funciona v.Bect@apagads, =, Imposibte, porque 5 A est en ON las 500A de enegia se reservan inilaimente pare 8 para « C. Elinteruptor de A ests en ON te fuente funciona yC esté avagado. linposible por las mismas razones que en el numeral 6. 1, _Elinterrupter de A estd en ON. B esté apagado y esté prendico. Es posible, porque puede que la fuente no funcione, B esté en OFF y Cen ON + La parte subrayada representa las opciones no posibles & Pore is preguntas que se retloren al andlisis de enunglados verdaleros yfasos, s6lo debemos seguir las reglas de inferencia vistas previamente y recordar que las proposiciones conectadas can “ot requleren que alguna proposiqén ee cumple; fas conectadés con “y" raiquieren el cumplmlento de toda, mlentras que las conectadas per el eondcional, eben tener en cuenta ue clempre que se cumpla e antecedente debe cumplise el eonsecuente, Observemos: (Gorman sprees Sy 5. De lao sigulentasafirmaciones, ja nica verdaders es: A. EL pombillo A.no puede estar ansesdo, Sila fuente no funciona, es posible que A esté en OFF y apagado 8, ELbombillo Aestd encendidoy la fuente nofuneioha, - * Esta proposicién no se puede determinar si es verdadera © falea, ya que depende de! Interruptor de A. ©. Sila fuente funciona, 8 debe estar encendido, No necesarlamente: si todos estén OFF, By C estarfan apagades. D. Sita fuente funciona y todos los interruptores estén en OFF, Sy C esta apagados. ato es clerto por el andlsis anterior + La parte subrayade reprecents las opciones que no son necesarlamiente verdaderas.Logica proposictenat Observe que determinar que Una afraacién sea verdadera, no necesariamente inca que las ‘ems sean faleas ya que tambien es posible que tengan un cosnportamlent indetetminado quo 10 puede concluirse, 6 De las sigulentes atumaciones, a Unica false es: A Sila fuente funciona, Asta encenclko, Esto es cierto, ya que la fuente tlene coma prionidad a A, 8. SiAest bpagado. la luente no est4 funcionando. Esto 08 cierto, ye que es el contrarreciproce de la proposicién anietior y por tanto son equivalentes, ©. SiDesté soagaco via fuente tunciona.clinteruyptor da.A debe estar en OY, Esto es cierto, porque siempre que A esté en OFF, garantizamos que la fuente reserva 100 ‘amperios para 0, ©. Stel intertupter de A esté en OFF yl fuente funciona, entonces O esta apagado Felso, SiA esté en OFF, a fuénte gasta 400 en A y guaida 100 que serén utizados en O para eleaso de que Desté en OFF, y 0 estéria encendido, La parte subrayeda representa las opciones verdaderas Fi imas sels preguntas son especialmente importantes en os eximenes de admisibn, por lo que debe queda claro el significado de cada una de ia sels, Recordemos que un bueis manejo de los Interrogntes y una buena lectura son la clave del éxito para una buena prueba, Para fnalizar la tooris expuesta ee recueida To siguiente: Jado sjarcitio de nagoncomianto ligizo ‘emuncia znas condiciones a seguir 4 mientica no existe un adgumente lide que exponga una contradiccién entre ta soluién ascogida y tea condiciones sxpusslaa, antonces la -Aolucisn eicogila para al sercicio se considera correcta, TALLER Respenda tas preguntas 4 a:4 de.acuerdo con Ia sigulonte informacion: El diagyama muestra un elstema de tuberias para las ciudades A, 8, C, D, Ey F las cuales dependen del flujo de agua proveniente de A, cue asumiremos que Slompre’esté activo, Los ndmeras 4, 2 y 3 indican Vlvulas de contro! que bien pueden estar ablertas o corradas,Logica proposiclonal 1. Segtin et diagrama, que la valvula 3 esté abiorta ‘es una condicln: A. Suliciente y necesarla para que haya agua en F, 1B Suliclente, pero no necesarla para que haya agua nF. 6. Necesaria, peo no sufelente para que haya agua enF, ©. Ninecesarla,nisutclente para que haya agua en F 2. Quo ia vata 3 esté alerta ee una condietén A. Suliclente y necesatia para que haya agua en €. 8. Sufilente, pero no necesaria para que haya agua ene, C. Mecasatia, pero no sufionte para que haya agua one. ._ Ninecesaria ni sutciente para que haya agua en E. 3. Que las villas 2 y 4 estén cerradas es una ccondicié: ‘Sutclentey necesaria para que no haya agus en F 8, Suflclento, pero no necesaria para que no haya aquaent. G._Necesaria, pero no suficiente pare que no haya agua. ' 1. Ni necesaila ni sulclente para que no haya agua enF, 4. Que las valulas 2 0 4 estén abiortas es una condi: A. Suflclontey necesarig para que haya agua an E 8, Suficlente, pero no necesaria para que haya agiia en, G, Necesaria, pero no suficlente para que haya agua ene, D._Ninecesaria ni sufciente para que hays agua en €. Preguntas 5.a 7: se th wn 4 tajetas de las cuales se conoce lo, siguiente: WFoamanle ‘Que la tarota enuestre un cuadrado en el frente ‘es.condieién eutclente para que tonga un nimero cen et reves, Quella tarjeta muestre un asterisco enol frente es condicién recesaria para que la misma tenga un {Wngulo en el revés. 5, Si96 tenen as tarjetas organtzadas por el frente {aly como lo indica la figura Entonces; de las afiriaelones sigutentes la inioa de la ge thene corteza os: A. Detris de cada numero hay un cuadrado, 1B. Detrds del tldngulo hay un asterisco, " C.,, Detris del cuadrado to hay un tangulo Hay Un euadrado en el revés de alin extreme, 6 Slrespecto a las tajetas, tenemos fa Informacién presentada en la slguente tabla Entonces de las aflrmactones siguientes, la nica fatsa es: A. Necesarlamente hay 3 ciadrados juntos en el front. 8 Necesarlamante hay un astersco y un euadrado cen os extern. ; Recésarlamente hay 3 nimeros juntos en el reves. 0. No.ee posible conocer con certeza ol frente de le segunda carta ylatercera carts.“Sree adenine Léeica proposieionat 7. Sie tener las tanetas organizadas par el revés, taly como fo Indica ta figura Entonces, de las siguientes afizmaciones, la Gnioa deta quo se tiaie cortera es: Lastarjotas dotos extremosno poseen cuadrados, {Las tayJetas de los extremosne poseon tisngulos, Les tarjotas de fos extemos poseen ctiadrados, Hay dos tarjetas contiguas con un asterisco, 8 Quince personas se dliigen a Bogot4 en’ une excursién que ha cobrado’ $120,000 por ead cliente que viaja en bus y $ 300.000 por oda cliente que vieja en avién, Si no es cierto que algunas personas ne viajaron fn buss, entofces se puede inferir que: A. La excursién ha recogide’ en total mance do 51'300,000, 8. Laexcusin ha recegido en total $1°800.000. ‘La excursién ha recogido en total $4°500,000, D. La excursion ha recogldo en total mas de $1'800.000. 8. Delos siguientes premisae: + Todos ios eartos con los videos polarizados fueion detenidos en ‘+ No todos fos caros tlenen ls viiios polativados, tet, puede inter que: A. Algunos cares fueron detenidos ew el retén La mayoria de fos cattos fueron detenidos en retén (C._Almenas un caro no fue detenido en el retén, A 12, A 8 A FF camaale ‘engin cao fue detenido en el ceté, bo las siguientes premisas: Cuando se gastan més de diex motos cibicos de gua se éobta muita No as clerto que ninguna tama nay gestado menos de diaz motros cbices de agua Se puede interir que: Le mayerfa de 1a tails fueron multaces ‘AL merios una falta mo (ub muitada, ‘AL menos una fami fue muiada, Todas las familias no fueron multadas, Sino es cletto que alguna persona ha entvado al ‘estado sin serrequisad, ytodas los que na fueron requjsados Wafan un arma, entonces, se puedo infor que Ene! estado hay alguien portando un arma, Encl eatadia hay el menos una persona Bortando. En el estadio hay muchas personae portanda No hay armas on el estadio. 1 la siguientes promisas: Todos los alumnos de evo asistievon al paseo ‘Algunos profesores asstieron al paseo, Todos os que asistievon al paseo se bafaron en la quobrada, Tomando ine siguiantes afrmaciones: Todo el que se bafié ena quebrada ers estudiante, Noes clrto due algin alumno no se baAé en la quebrada, ‘Todos os profesores co batiaron en la auebrada, Podlemos aftmar con certeza que: ‘Solo Pes cierta Py Qs0n ciertas. Sélo Qes cleaLosses banonesostana res rlnina reponse crbanoola diet rane compl tana depen cea 1616 Gitncn din onge tate ewe espel es tanade a pope dso rpc dis, Comptia Ans, yes reat de “ria istondlbobrotasta les ede conan dominance et pb acd line Tensno cane ontraninds test Sapias ©. QyReon ciertas. Preguntas 13 a 15 Andrés, Bornarde, Carlos y Daniel han sido seleccionados para levar 4 paquetes distintes al norte «ae Colombia. SI Carlos va a la Guajira, entonces Anciés va a Tol, ‘pero ot Andcés va a Told, entonces Bernardo viajara a Cartagena, ‘hora, «| Andrés © Daniel deben ir Toki, y Bernardo ro fue a Cartagena, entonces: 413. De lo tiico que no se tiene certeza hasta ahors A. Hernardo no fue a Tod B, Carlos no va ala Guaiia ©. Andtés fue a ta Guaiira 1. Daniel no fue a Santa Marta 4d, La Unica afrmacién falsa es: , A. Andiés no fue a Told 6 Daniel tuo 2 Cartagena, B. Daniel ne fue @ Santa Marta y Carlos no fue @ ia Guajira. ©. Bernardo no ue a Cartagena, pero Anirés sifuc a Tol ©. Daniel fue a la Guajira 0 Bernarda no tue a Told 19. Si ademde Ge sabo que Andrés fue a Told o Bernardo fue @ Santa Marts, entonces: los deitinos seleccionados para Daniel, Bernardo, Carlos y Andeés, respectivamente son Told, Senta Marta, Cartagena yla Guajira Cartagena, Toi, le Guajira y Santa Marta, Cartagena, Santa Marta, la Guajira, y Told Toki, fa Guajira, Cartagena y Santa Marta Proguntas 16 a 19 Tenemos 6 figuras geométricas. entre tringutos, citeulos y euadrados donde se conoce fo siguiente: + Hay tantostriéngutos como circules, + Hay tantos euadrados como tingulos. + De las figures, una tercera parte son rojas, hay 2 figuras verdes yet resto son amarilas, ia figuras eatin ubidadas en! el siguiente lograma, donde s6lo podemos asumir que una figura ect al frente de ia otras estén unidas b3jo alguno de los posibles diémetos que podemos cnstrulr para el circu, 46. Sle sabe que frente @ uno ce los efculos nay un ceuedrado y frente a une de loo Wiéngulos hay un culo, enlonces de lo Gnico que s# tlene certeza es de que A. cada forma georhética le corresponde un,cnieo 6lor, 8. Sélohay un zuadrado. 6, frente’@ une de los cuadrados, hay un tidnguo, D. No hay dos figuras de la misma forma, una al lado eetaoua,Otero: Logica proposicionat 47, Adiclonsimente se contoce que en la ubkacién alae con el niimero 1,80 encuentia en teléngulo, De igual manera, se encuentra otio en fa ubjeacién 2 0 en ta ubleacién 4. Ahora si frente 8 una figura de color rojo no puede haber una figura de color verde y por lo menos una’ de las figures verdes no tiene al frente una figura 6¢ color ‘amarilo, entonces, con la informacion entrogadsa hasta. momento, podeimgs conehir que: En fa figura 4 hay un cfreut. a I tiénguto esté on fa ubicactén 3, Los euatrados son de un misme gator Fronto a una figura verde cebs heer otra figura verde poe 18. Alguien afizma que containtormackén suministiada, es imposible detnir la ublesciin de tis as fichas, yor fo tanto see otorga a sigulente informacion: 'Los euadros no estin a la leer del diagrama, 1 ano‘ lado det otro.” De acuerdo a fo que se conace hasta chore dt ‘diagrama, podemos establecer que fa tnica Jnformaciéntalea es A. Hayun eitouo at lado el otro. Hay un cuadro en ta posieién 2, C. Hay un tringuto en ta ubiactén 2 yun etree eh la ubieacion 3 D. Allade derecho det lagsama, no ay circus 49. Si finalmente se concce que no es cierto au, alguna de las figuras rojas sea un circulo 0 un Imiangulo, entonces para fa ubicacién 2, 3 y 4) respectivamente, podemes atiemar que son: Cuadrado rojo, circulo amotio tringulo verse, ula Vorte, cuadado rojo ytangtlo amar, Tingulo verde, cusdrado rejay ciclo amarillo. gope "Cunaraae rojo, tringulo vane euedrade rojo Preguntas 20 a 22 @ cassis AP Saar #1 digrema iustra un exlfcio de wes pisos habltado por van, Sandra, Maria, Alejandro, Felipe y Gora. {Los prineros tes viven eada uno en un piso diferente 1 Felipe es vecina de Alejandro y de Gloria Silda y Maria no spn vacinos, entonees: 20, Da fo tinico que se tiene certeza hasta ahora es: {any Gloria no son vecinos Maria y Sandra no son veeinos.. Sandea y Felipe son veetno, ‘Sandra vive en ¢1201. eon 21, La Gica situacién que no es posible ee: ‘A. van y Alejandro sean veeines. 1B. Sandia y Alejandro sean vecinos. C. Gloria y Maria nean vee. ©, Ivan y Gtorin sean vecinos. 22, Gloria, que vive en el 102, na convereado son hha comentado No ta dej6 donmnir con ta Hesta que Sandra esta mafana, qu que tv ‘organizé anche en el apartamento de encima Por tanto, a vortesponden los aimeros: apartamento de Nejandro y Maria le