103 Loeica I Gufs DE EJERCICIOS Natalia Buacar, Federico Pailos, Lavinia Picollo, Lucas: Rosenblatt, Diego Tajer Editado por Lavinia Picollo : indice 4. Arguments en el lenguaje natural 2 0.1, Reconocimiento dé argumentos 2 0.2 ta notion de onder 7 1 Végiea Proposcional 8 LL Inrodueisn 8 12 Bl lnguale £ de 1s Liga Proposiional 8 121 Sintasls 8 ce ‘2.2 Forma lies 0 418 Una seminties pare « ™ 18.1. Teoria 15 132 Meisteoria « 16 LA Un sistema deduetiv para £ 18 2 Légies de Prdicados de Primer Orden 22 21 Tnbroducrién F 2 32 Brlenguaje Cro de la Ligios de Predicndos de Primer Orden» « 2 22a Sintaxs = 2 222 Forma lgien 25 2:8 Un seméntiea para Cro 0 2.4 Unsisiema deduetivo para Ceo ey . Soluciones, a Gul para docente 102 Biblogralia 108 \ \ FrTos ejericéos de esta guta pueden estar precediaes por ninguno, uno o dos asterseos. A menos hoe sh doeente fndique algo diferente, los primaros son ejricos bésicos que usted deberia poder wee iver, Recomendames enféticamente que los hags. Los ejereicios marcados con un asterisco ree de mayor aificultad, de carScter opcional, aunque sera bueto que los hiciera. Los efecicios precedtdos por dos asteriseos son de mucha dificultad. No se preceupe si no le salen, son slo para entusiastas y requieren tiempo. : ‘Algnos programas de lectura de -paf pormiten biperviaculos. Si wlliza uno da ellos, los ‘feuloe on Ia tabla de contenidos lo Tevaran a las secciones y subseeciones correspondientes, las nanos eseribiendo—#—al final de cada enmnciado lo Mevarén a gu solucién correspondiente, las Teiceter 85—o levarén de vuelta al enunciado y los signos de informacion—H—al punto anterior que se ha empleado para la resolucién dé un ejercicio. 0. Argumentos en el lenguaje natural (0.1, Reconocimiento de argumentos Para hacer los eerciciag de esta secei6n vea Gat (2, §1-1] 1. (©) Dados los siguientes fragmentos, determine si contienen 0 no argumentos, isu respuesta ce afirmativa, identifique Ta conclusién principal. & 1) Todos los hombres por naturalezadesean saber. Sefal de ello es ol amor las sensacioncs. Betas, en efecto, son amadas por sf mismas, incluso al margen de su utilidad y wids que todas laa dems las sensaciones visuales, (..) La raaén esitiba en que ésia 0s, de las ensaciones, la que més nos hace conocer y muestra miltiples diferencias * 2) Las grandes cosas del pasado, aquellas que entusiasmaban a muestros padres, no levantan fen nosotros el mismo ardor, ya. porque son de uso corniin hasta el punto de laoérsenos fnconscientes, ya porque han dejado de responder a nuestras aspiraciones actuales; y con todo, todavia no ha surgido nada que las sustituys. Ya no podemos apasionarnos por los principiog en euyo nombre el cristianismo pedia a los amas que trataran con inumanidad Js eatlavos,y, por otro ledo, la idea que nos proporciona de la igualdad y de la fraternidad yhumana nos parece en la actualidad que brinda un juego de desigualdades injustas. Su piedad por los humildes nos parece demastada platénica; desearfamos otra que fuera mis bless, pero todavia no vemos con claridad en qué debe consistir ni edmo se podra treducir to hechos. En una palabra, los antiguos dioses envejecen o mueren, y todavia no han nacido otros.” 43) La solucidn de las snisinas oposiciones tedricas slo es posible de anode pret, silo es ‘posible mediante ls energia préctiea del hombre y (...), por ello, sa solucidn no es, en modo Figun, tatea exclusiva del eonacimaiento, sino una verdadera taroa vital que la filosofia ne puudo resolver precisamente porque Ia entendia tinicamente como tarea tefricas* 4) Proservar la propia felicidad es un deber) al menos indirectamente; pues el desoontento con Ta propia condlicién, junto a ln presién de las preeeupaciones ¥ necesidades insatisfechas, puede convertirse féclmente en una gran tentacin para transgredir Tos deberes + TAriebiees, Metafiin Durkin, Las formas elementles de la vida religions Shfare, Monascrdan econsmians y floss ‘gens Rundamentncion dela Metafisien de las Costres, 2que la felicidad consiste en la paz del espftitu, y puesto que Ia pax durable del jiu depende de la confianza que tengamas en el futuro, y puesto que la confianza se en la ciencia que debemos tener acerca de la naturaleza de Dios y el alma, se sigue Ja ciencia es necesaria para la verdadera felicidad. nte, si uno de ustedes asesina a alguien, es asunto suyo, pero también es asunto ppor lo que no puede poner objeciones cuando otras le pidan cuentas de sD Incluso que, sin otra diicultad, os arduo ya ol tener que ocuparse dela manera hay que tratar a los sometidos. Si se les deja sueltos se insolentan y se creen dignos ismos derechos que ets sefiors; llevan vn vida miserable, conspinan y oda," So que necesito notar para mi objeto es que la revolucién, excepto en susfmbol exte- independencia del Rey, era sdlo interesante e inteligible para las ciudades argentinas, a sin prestgion para las camparias. En las eiudades habia libros, ideas, esprit Suzgades, derecho, leyes, educacién, todos los puntos de contacto ¥ de man lad_que tenemos con las etrapens; hahia ma. base de organizacén, incompleta, do, si se quiere: pero precisamente porque era incompeta, porque no estaba 8 la de lo que ya se saa que pod llegar, se adoptaba la revlucién con entusiasma rs las camparas, a revolucién eran problema; sustrerse a la autoridad del Rey era abl, por cuanto era sustraerse a la autoridad, La campatia pastora no podia mirar Ia iin bajo otro aspect. Libertad, responsabilidad del poder, todas las cuestiones que erolucin se proponta resolver eran extrias a su manera de vivir, «sus netesdades, a revolueldn le era sil en este sentido: que tba a dar objeto y ocupacion a exe exoo- ‘devia ave hemos indieado y que ia @aadir un nuevo centro de renién, mayor al reunscripto a que acudian diariamente los varones en toda la extensién de las campaiias.® tos si tas, reconozca premisas y conclusisn. Opine a simple vista “argumentos le pareoon vilidos. # ; 8 en cosas algunas que pueden ser o no ser; puesto que hallamos algunas que son acdas y corrompidas y, por tanto, pueden ser 0 no ser. , es imposible que todas las cosas que existen sean tales. Porque lo que puede ) ser, en algiin tiempo no existe. Por consiguiente, si todas las cosas pueden no ser, hubo iampo en que no hubo nada, pero si esto fuese verdadero, tampoco ahora habrfa algo, es lo que no es, no comienza a ser sino por algo que es. Por tanto, si no hubiese habido Imbiexe sido imposible que algo comenzara a ser, y asf [ahora] no habria nada, lo -es manifiestamente falso. En consecuencia, no todes los entes son posibles, sino que 0 que en la realidad hay algo necesario.? es contrato. La Mutua transferencia de derechos es lo que los hombres laman CON- ‘es pacto. Por otro lado, uno de los contratantes, a su vez, puede entzegar la cosa nida y dejar que el otro realice su prestacién después de transcurrido un tiempo do, durant ol cual confla en 61. Entonees, con respecto al primero, el contrato PACTO 0 CONVENIO, ‘ Pacindo: Onision y Barbar. no, Sema Tongionize bestia. Bs imposible hacer pactog on las bestine, pos pant uso lengusie, no entcnde, Sceptan ninguna traslacion de Dusden transfert un derecho ator pan, no hay pacto, sin exo PPer0 Softoniseo era padre aio 7, Yos Queredemo también? “petinamente —respondi—, ung ea o mio y otro el de et, “Bntonees —pregunig—, * sQueredemo era diferente de ‘pad? 3) derecho, ni eign alguna, 20 40 eres ti Jo mismo que piedra ? ine hadi aparecer coma tal, aunque no 120 serlo, UEntonces ers algo diferente de pierre ~iPor supuesto que st jPBatonces, siendo algo diferent deore, no “ASH os, Eatidemo—, entonces, por contrario, Sofie. 0 €s padre (..).2 4 fia rape derivado de experiencing extemas, porque, rettan alguna cosa fuera dent (or decir, «algo que seen ea 28 me Hall) y pare ae yo paris ose famngterlores y juntas tas con In otras, ¥ por con {arnbién en diferentes higntes, siguiente, no neipio la represent, 5) El Bepacio s representad eoman > Para que ieuentra en ‘arme las cosas 6lo diferentes, sing ‘actin del Fspacio,13 iecesario considerar toda reais multitnd inGnita de ditiaae repre uibtumidas baja el concepto; porn ingdin infnita de representaciones, She ts partes coexisten ett 1 infinito). La ‘cd @ prion’ ¥ no un 8 2 & s a a el punto de exverse, Tecciones a tan alto precios 1) Hallamos cue on las cosas sonable, h se halla, ni es posibi anterior a sf mismo, s1Hobes, Zein, « a malas fora Y Pete de wa reps ecleticn yc }Dionisotoro prepa 2PIatin, Buta. ent, Criia dela Resin Pap, **ibidem. Plan, Tecate, ate de causns eficientes. Sin embargo, no 1h eal oe 208 CNS cfcente de ef mn 10 enal os impesibie‘Peo no es posible que en las causas efcientes procedamos al infinito, Puesto que en todas fhe cannes cfvientes ordenodas, la primera es causa de Ta intermedia, y ln intermedia de le GSinma, zum las intermodias miliples o una sola. Mas removida la cousa, se remneve el Shane Por lo tanto, si no hubiere algo primero on las causas eficientes, no habré alg wlti- sho, ai intermedi. Pero si se procediese al infinito en las casas ficients, na habré casa Faftera, y asi no habré efecto vltimo, ni causa efiiente intermedia, Yo eval es manifosta- ‘mente falso. En consecuencia, es necesario afirmar que existe alguna causa eficiente primera, a Ia cual todos llaman ‘Dios’.!” 8) ~ Dime, zqué debe existiren el cuerpo para que esté vivo?!” - Bl alma. ~jLauego el alma siempre trae con ells la vida? = Ciertamente. - {Bxiste algo contrario a la vids? = Algo existe. = iQuées? = La muerte. fl alma nunea recibiré lo contratio de la que leva en si misma, tal ¢s Ia dednecién de ‘uestros principios. Lo mismo debe decirse de lo inmortl. $i lo inmortal es imperecedero, Cuando la muerte se acerque al alma, €s imposible que esta muers, porque segin lo dicho, CL alma no recibiré jamds a la muerte y no moriré jamés.'° 4) Bl insensato debe convencerse, pues, de que existe, all menos en el entendimiento, sige mayor que lo cual nada puede pensarse, porque cuando oye esto, 10 entiende, y to due se catienda existe en ol entendimniento. Y, en verdad, aquello mayor que lo eval nada puede ppensaree no pucde exist slo en el entendimiento, Pues si sélo existe en ol entendimiento Pade pensanse algo que exist también en Ia realidad, lo cual ¢8 mayor. Por consiguiente, FPaquella mayor que lo cual nade puede pensarse existe sélo en el entendimiento, sauello vnayor que lo cual nada puede pensarse ¢ lo mismo que aquello mayor que lo cual puede pensarne algo. Pero esto ciertamente no puede ser. Existe, por tanto, fuera de toda dv {a algo mayor que lo cual nada puede pensarse, tanto en el entendimionto como en Te realidad.” 10) Es coca manifesta, pr luz natural, que debe haber, pot lo menos, tanta realidad en Is causa eficiente y total como en el efecto; (..) para que una idea contenga tal realidad Sbjetiva en vez de tal ofra, debe sin duda haberla recibido de alguna causa, en la que hhabréy por lo menos, tan realidad formal como hay realidad objetiva en la idea. (~-) Bajo ol nombre de Dios entiendo una sustanciainfinita, eterna, iamutable, independiente, sacri, omnipotente, por ls cual yo mismo y todas las demss cosas que existen (st Misten algunas) han sido creadas y producidas. Ahora bien, tan grandes y eminentes son Sans ventajes, que cuanto mis atentamente las considero, menos me convenzo de que Ta fea que de ellas tengo pueda tomar su origen en mi. Y, por consiguiente, es necesario voneluir de lp anteriormente dicho que Dios existe; pues si bion hay en maf la idea de la sentanetay sienclo yo uma, no podeia haber en mila idea de una sustancia infnita, slendo Tome de Aquino, Sune Tolpis, Mggerates peegunts Gebes responds ‘platen, Pon ianaco de Canterbury, Proslgiontun tal nvimero infnito sion (ngdePendencia por parte de laa impresiones de ne ida Saint ‘exe de tes impresiones, Para quo yo pueda poher ‘qué Indo esta dependencia se hl bjetos, 0, en otras palabras, flaw: Neos fan Sbsurdamente que intente preduet las dmorees despertando las ‘eas. Nucstras ideas, en su aparicién, no produce ot impresiones correspondientes y no Podemos percibir un eolor o sentir una aenacicn tae woe or pensar en ella, Por otra Pero ciertamente que ¥0 no hice ni Ja une ni iccién que ‘nada nun edad.*5 ‘recy pam intrcir el méiodo de rsonaminta experiment Bison “Piet “What’s ao bad sbout contradictions?0.2, La nocién de validez Para hacer los ejercicios 1 y 2 vea Gamut [2, §11]. Para el ejercicio 3 vea Gamut [2, 61.2} 1. Indique si las siguientes afimaciones son verdaderas o falsas. En caso de que alguna sea falsa, ‘oftezca un contracjemplo. 4 1) Para que im argumento sea vélido es suficiente que sus premisas y su eonclusién sean verdaderas. 2) Para que un argumento sea vélida es necesario que sus premisas y su conchusién sean verdaderas 3) Un argumento cuyas premisas son vordaderas y cuya conclusiin falsa es invélido. 4) Un angumento puede ser invslido atin cuando sus premisas no sean verdaderas y su con- clusién mo sea falsa, 5) Un argumento vilido con conchusign falsa tiene necesariamente al mnenos una premise falsa, (*) Considere los siguientes dos prineipios, ambos generalmente atribuides a Frege. Indique sinota alguna tensién entre ellos. 21 Principio de Compasicionalidad del Significado: el significado de una expresién compuesta debe construirse a partir del significado de sus partes componentes, Principio del Contezto: las expresiones suboracionales s6lo tienen significado en el contexto de una orscién,1. Légica Proposicional 1.1. Introduccién Para hacer el ejercicio 1 vea Gamut [2, §2.1]. Para el ejercicio 2 vea Garmut [2, §2.2). 1. Considere las siguientes oraciones ¢ indique cuéles contienen alguna conectiva veritative- funcional. 2 1) José piensa que la ‘Terra tiene 500 ats 2) José puede concebit que la Tierra tenga ms de 5000 aos 3) José sabe que la Tierra tiene més de 5000 alos 4) SD Somos amigos somes enemigos. 5) Bs lgicamente posible que 2+2-= 5. 6) Necesariamente, 2+2 17) Ratados Unides invadié Irak dabido que Trak poseia armas de destruccién masiva, 8) Argentina ganard el mundial inicamente/s) Bielsa vuelve a ser el director téenico. 9) Siliter mnbiera sido juzgno, el juicio habria sido en 10) Una conjuncin es verdadero cuand{olamentg cuando gus conyuntos son verdaderos, smberg 2. (*) Suponga que existen sdlo dos valores de verdad (el valor verdadero y el vulor falso). Determine (si puede) el valor de verdad de las siguientes oraciones. ¢ 1) La oracién 1. es falsa y 24+2=4. 2) La oracién 2, es falsa 0 2 +2 = 5. 3) La oracién 4. es falsa, 4) La oracién 3. es verdadera 5) Sila oracién 5. ¢s verdadera, entonces la aracién 5. es fas. 6) Ninguna de las oraciones de 1 a 6 es verdadera. 7) La oraci6n 7. es falsa y 2.42 = 5. 8) Le oracién 8. 65 falsa 0 2-+2=4. 1.2. El lenguaje £ de la Légica Propesicional Para hacer los ejerciios de esta secciéin ven Gamut (2, §2.3) juientes son estrictamente hablando férmullas de £? En easo de que lo sean, ‘specifique_ su signo principal y dibuje su drbol eonstructivo. Bn caso de que no lo sear, Justifique?® a "Gaimut [2 $2.3] no espectca cules son la leteas proporicionales sno que eabaja con metaraiables, Agu pre {ecimos tomar emo letras proposiionales a todas ia exprexionos dela forma donde es un mimero natal, feito es pipaypay-s» on la Unieaelelzae propariionaleDove 2) mV pa Vow 3) ps V (-ma + pa) 4) (6 (Pa > pas)) 5) Paps 6) pr + (pa + po) 1 (> (Am) 8) “((Ps A (Pa Vp) + 95) 9) -@) 10) “(PV (9+ (Vv (5A8)))) 2. {Cuales de las expresiones dadas en el ejercieio anterior son formulas de £ una ves adoptadas Jas convenciones notacionales? En eada caso especifique su signo principal y dibuje su arbol constructive, 3, Constraya formulas con: #1 1) Una disyuncién y una conjuneidn. 2) Un condicional, un bicondicional y una negacién. 38) Todas las concctivas de £. 4) yes paréntesis soguidos al final. |. (**) Indique si los siguientes enunciados son verdaderos o falsos justificaudo brevemente su. respuesta. 41 1) Dos érboles constructivos distintas pueden corresponderse con la mista formula de £. 2) Dos férmas distintas de £ pueden tenet el mismo érbol eonstructivo. 3) Existo uma férmula y de £ tal que el mimero de negaciones que ocurren en y es mayor que el mimero de snbférmulas de v. 4) Para toda formula g de £ se comple que el niimero de letras proposicionales (no necesa- iamente distintas) presentes en y es mayor o igual que el niimero de conectivas binarias presents en 5) Para toda frmula ¢ de £ se eumple que el mimero de letras proposicionales (no necesa- riamente distintas) presentes en y es mayor o igual que el minnero de conectivas presentes eng. 8) Una formula de £ de la forma (1p Vv) tiene como minimo enatro subtérmulas. 7) La profundidad de la formula ((p4) (or 9) Ap) es la misma que la profundidad de Ja férmuila p27 de formula de £ le parece adecuada, Justifique su res- Por sssoncs de lepbldad, soplancn Gertat convenciones que nox permiten acortae las firmus, Ea gar isra.ys,-- eseribimos pry» ¥ omlthnon lo parémtessexterioree de une farmla una vex feased oo‘Todas las letras proposicionales son férmulas. ). Todas las expresiones de Ja forma ~y son férmalas, ‘Todas las expresiones de la forma (AY), (pV), (p+ #) 6 (ip 4 #) son formulas Sélo las expresiones generadas por medio de las eliusulas a, b y ¢ en un ntimero finito de pasos son fSrmulas, 6. (*) Indique qué nociones caracterizan Ins siguientes definiciones recursivas: 0, para cualquier letra proposicional p (y) + 1, para cualquier férmula JU(e «¥)) = Se) + {(¥) +1, para cualesquiera fErmulas gy Y y cualquier conectiva “lien + |» Para cualquier letra propesicional p ‘(y) +1, para cualquier formula y H(e+¥)) = (e)+F(2) +3, para cualesquiers férmulas y y 1 y toda conectiva diddica +. 7. (**) Pruebe por induecién sobre la cantidad de conectivas los siguientes enunciados. # 1) Toda formula de! lenguaje £ tiene la misma canticad de paréntesisizquierdos que derechos, 2) Toda férmula del lenguaje L tiene ms letras proposicionales (no necesariamente distintas) ‘que conectivas binarias. 1.2.2. Forma Iégica 1. Formalice los sigutentes enunciados, especificando el diccionatio utilizado, Todas elles incluyen, ‘como mucho, una conectiva. # 1) Veo un tigre. 2) Veo un tigre feroz dolante de mi 3) La luvia cae lentamente. 4) La lluvia cae lenta y suaverente. 5) Marcos fue a Buzios pero Luciana fue a Rio, 6) Tanto Simba como Mufasa son felines. 7) Lusisana y Michael son novios. 8) Lutsana y Michael se quieren mutuamente. 9) El nombre de Dios es impronunciable. 10) Patricia ird a buscar a Martin siempre y cuando él se lo pida, 11) Todos odiardn a Moria, si maltrata al mesero, 12) Que lleva es condicién suficiente para que Luis esté triste 18) Para que Horacio haga gimnasia es necesario que tenga problemas de salud. 14) Peter ir al cine o al teatro. 15) Comeremos knishes, a menos que eomamos varénikes. 16) Maria va al cine sélo si una chiea la invita, 17) El agua de esta canilla sale o bien fria 0 bien sucia. 10“sucedié en Londres y en Roma. “No creo que €l DT haya clesido « Mes “9 mis 2 es 4 si y sélo i el partido lo dice. f) No es cierto que el calentamiento global se $22) Bs nocesario que haya crisis para que have concienciacién. 23) Es sufciente que Nito Artazn se baje de su candidature pare ue Jn interna radical se anule. 28) Mi voto no ex positive, 25) Que Juan Pablo exista 6 cor 226) Maria canta en espasiol siempre y cual 27) La Pas y Suere son copitales de Bolivia, 28) Los hinchos de Vélez se entusinsmaron con 29) Alguien est lamando a la puerts ‘Buenos Aires o de La Pampa. 30) Cérdoba esta al norte de 31) 0 bien Gérdoba est al norte de La Pampa o bien ala inversa. 432) Nadie esta Mamando a la puerta 48) [a actuacién del reprosentante fu 34) Me dol su ingratitud. 135) Esto no se termina, mcs. jen Ia funeién de wna constante Légica ignos de puntuscién que cumple 2 to Tormalice los enunciados expecticando e diccionario si como capitén porque lo necesito como lider. doba a los atagques de los piratas. rndicién neeesaria y suficiente para que sua. lo venda discos. resultado det iltimo partido. Je desleal. (2 enifique las palabras 0s fn los siguientes enunciades. ‘tilizado. 4 1) Hoy no hace ealor- 2) Ni Martin nt Susana son cordbeses. 3) No.s el caso que Martia y Susana sean cardebeses 14) $i Martin es cordobés, Susana. también To 5) Aunque Maria v Susana son prians, no se hablan 6) Soffa eats cursando Légica y Antigua o ningune de 7) Mareo no quiere ni pensar en volvet 8) Si Justina obtiene la boca, se queda en Buenos Ales York: 8) Noes cierto que sea falso que no leva, 10) Es necesario que todos zindan el primer pascis) Pers ‘aprobar Moderna. 11) Bl néema no puede ser ral pero tampoco puede er inmanente. 12) Alonso velver alo sino congue una beca doetoral 0 ie insistimos mucho. 13) Pablo promocianaré Liga sty wilo si soca T omés de? de promedio en los parciales. saci y sr por ta, las das cosas. ro si no la obtiene iré a Nueva ap Goaio, ev 1) 0 compl la Fen de won formalize mediante et simbolo fae 6 n14) Siempre que hay elecciones, la facultad est superpablada de earteles 15) Tasio tendré puesto de trabajo, a menos que no lo desee, 16) Cuanclo defendés la tess te dan el titulo. 17) Nicolés y Macarena aprobarén Antigua sélo si entregan el parcial domiciliario, 18) A no ser que viaje, Barrio dictaré el teérico del lunes 19) Pablo seré licenciado en flosoffa ‘nica y exclusivamente si defiende su tesis de licenciatura. 20) Es suficiente que algunos no comprendan para que el tema vuelva a ser explicado. 21) Res falso que alguien lame a la puerta y nadie haya ido a abricle. 22) Noes cierto que si la moral no es eategérica, el relativismo moral es correcto. 23) Que Platén no sea bien interpretado es condicién necesaria para que se lo considere 1m pensador anti-democratico. 24) San Agustin es un padre del eatolicismo, aunque si el Papa lo eonociera, lo acusaria de infiel 0 de hereje 25) La felicidad es el fin del ser humano si y sélo si la filosofia moderna y la contempordnea no tienen raaén, 26) Estamos en verano o primavera, o estamos en alguna otra estacién y no hace calor. 27) Ws falso que la matemstica y la ldgica sean una misma disciplina, a pesar de que ha habido filbsofos y légicas que han creido esa tesis. 28) No os verdad que Watson resuelve el caso siempre y cuanclo Sherlock no lo hace. Formalice los siguientes enumeiados especificando el diccionario utilizado. 4 1) Dios existe y todo ests permitide sélo sila toologfa cristiana y Ia judfa no dieen la verdad. 2) $i Mill sostuvo una posicidn deontolégiea o toleolégica, entonces el profesor de Etica lo Puede encasillar junto a Kant o junto a Aristételes respectivamente, 8) Siel argumento de Anselmo es bueno, entomoes sélo si Dias existe es el ente més perfeeto que se puede pensar. 4) El primer y el segundo argumento de Santo Tomas para probar la existencia de Dias sern considerados buenos o malos en la clase, 5) Wittgenstein eseribi6 ol Tractatus y las Jnuestigaciones Pilosdfices siempre y euando reo pilar anotacfones sea escribir un libro 0 un texta flosdeo, 6) El lenguaje es modular u holista, pero el reconocimiento de oraciones es modular y no Iholista, si fancfona con informacién encapsulada, 7) El argumento cartesiano funciona siempre y cuando que Descartes piense sea condicién suficiente para que exista 8) Ricardo Piglia y César Aira son los dos mejores escritores argentinos siempre y euando no consideremos a los muertos ni a los que viven en el extranjero, 9) Orson Welles y Rita Hayworth fueron pareja y ambos actuaron en ‘La dama de Shanghai’, ‘aunque en ’Gilda’ sélo actus ella, 10) Si mucres, verés todo iluminado o bien por una luz roja e bien por una azul, pero sino ‘mueres, quedards ciego y no verds todo iluminado por ninguna de esas dos luces. 11) Sélo si Juan y Marfa no fueron al hotel, es falso que sean amantes, 2Teemos pasear ticamente si sale el sol Gi venero al Diablo, entonces, si venero a Dios, iré al inferno. iné al efelo sélo si venero a Dios. razonarnientos especifcando el diecionatioutilizado, Distings las pre- lnnar de la conclusién, separdndolas mediante Ia barra horizontal. 4+ 1) Si no puedo recazer la idea de que pienso, entances pienso, Peo i pienso, existe Par Jo tanto, existo; dado que no puedo rechazar la idea de que pienso. de Buenos Aires y La Pampa, también lo esté de Neuguén. Por hen parte, Neuguéa std al norte de Chubut. Tego, Cdoba est al nore de Chubut 4) Que sujeto trascendental posencatogoris del entendimiento es concn necesim Hoe Ge pereiba objets y no tenga representaciones sisladas, Bi suite trascendontal pereibe Shjetoe. Bor lo tanto, posee eategorias del entendimiento 1) Dado que nunca podemos farmos del tetimono de fos sentidos, clos nos engsian 5) De nade sirve preparase para la lucha, Dado ques a situaeion prebica irrepetible, no seve prepararse para la lucha. ¥ la situacion prebelica es Irepetibe. 6) Si Véler le gana a San Lorenzo queda primero on la tabla. Vélex aedark piezo pueslo ‘que San Lorenzo no tiene chance. és o bien me voy. Pero si me escuchis y no me entendés, que munca me entendés. .dos estn conformes con la parte que 114) Si venero al Diablo, “4. Rormalice los siguientes 2) Si Cérdobs esta al norte 7) 0 bien me escuchi igual me voy # ir. Por lo tanto, me voy a iF po 8) El buen sentido es la cosa mejor repartida, Pues to Tes ha tocado y creen poseerlo en mayor grado que el resto, ceuslesquiera dos entidades fisica- 9) La mente no superviene del cuerpo. Pues si 0 8 Oi, Ja meri suces teen neetsarinmente les mismos estados mentoles. Pero dos entidades Haicamente idénticas no necesariamente tienen los mismas estados mentales, 40) Los conceptos son enidades ubjetivasu objetivas, ison objets, puede Hoes legica, ro es imposible explica el status metafisco de los eouceptos, Si son sublets, no puede Inacerse Idgica, pero es post ero no es posible explicar ible explicar su status metafisco. Pe aa acetate de Toe conceptos. En consecuenea, son entidndes objelivas y Puede ‘scars légica. 1) Si renuncianos a comprender el abandonamos la flosofia, o bien no mundo y nos dedicamos a cambiarlo, entonces o bien a abandonames pero ereemos que la tesis sobre Fewer Tee correcta, Creemos que Ia tess sobre Feuerbach es correcta. En consecvenciay nos Guitcarce « cambiar ef mundo siempre y cusndo no abandonemos Ie filosofa. sindos absiractas o de entidades materiales. Si lo primero es Ta matemética. Si To segundo es cierto, la filesofia se asemeja ‘Ta losofia no se asemeja mi alas ciencis fisico-natrales| a Blocolia no trata acerca de entidades abstractas mi de La Blosofia trata acerca enti Jerto ls filosoia se asemeje a Jas Ciencias fisieo-naturales, Pero $5 la matematica. Por lo tanto, I jes materiales. ‘ed realiamo metafsico es verdadero, existen abjetos fuera de Ia mente de los suites ldluimo es verdadero s6lo si existe el mundo material. En eonsecuencia, e& necesario sista el mundo material para que el realismo metafisico sea verdadero “Dios noes omnipotenteo Dios no es benévolo. Pues si Dios es omuipotentey benéveloy Thay maldad en el mundo. Pero esto ultimo no es cierto. 3415) Un argumento es invélido sempre y cuando su forma es invdlicda. Su forma es invdida si y sélo si existe una interpretacién que hace vordaderas a las premises y falsa a la conclusion, Para que esto timo suoeda es condicidn necesariay suficiente que la conchusién no se sigh Jégicamente de las premisas. De esto podemos inferir que tn argumento ex valida si y sdlo sila conclusién se sigue logieamente de las premisas 16) Es condici6n necesaria que haya tn crecimiento econsmioo sostenido para que se revierta ‘In scttal situaciin mundial de crisis. Ademss, In crisis mundial no va a revertitse si Obama no toma medidas para regular el mercado financiero o sien las prdximas eleeciones ganan 'os republicanos. Por consiguiente, sélo si Obama toma medidas para regular el mercado financiero y en las préximas elecciones no ganan los tepublicanos, haba un crecimiento econsmico sostenida, {Considere los siguientes enunciados e indique por qué no es posible formalizarlos apropiads- niente en el lenguaje proposicional. 22 1) Todos los objetos son idénticos a sf mismas. 2) Las plantas son verdes porque tienen clorofia 3) Necesariamente los cuervos son negro. 4) Es posible quo llueva y no Tlueva. 5) Goldbach sabe que la conjetura de Goldbach es verdadera o falsa. 6) Bs obligatorio clegir a Pedro 0 a Nicol 1) Si Galileo na se hubjese dedieado a la astronomia, no habria sido condenado por Ia Iglesia, 8) Si Galileo no se hubiese dedicado a la astronomfa, la Tierra no se moverfa, 6. Considere tos signientes cuatro argumentos y prucbe que son invélids presentando otro ar- ‘gumento con su misma forma en el cual las premisas sean verdaderas y ls conclusion falen, a 1) Premisa: Brasilia no es la capital de Chile o Brasilia no es la capital de Uruguay. Conclusién: No se da que Brasilia sea la capital de Chile o de Uruguay. 2) Premisa: No es cierto que los dragones existen y que 10s unicornios existen, Conelusién: Los dragones no existen y los unicornios ne existen, 8) Premisa: Si 5 > 3, entonces 5 > 2y 5 >1 Premisa: 5 >2y 5 > 1. Conclusion: 5 > 3, 4) Promisa: $i 5 > 10, entonees 5 > 9. Premisa: No se da que 5 > 10, Gonclusién: No sea da que 5 > 9, 1.3. Una seméntica para £ Para hacer los eercicios de esta seccin vea Gamut [2, §2.5] “4Do ser posible, construya una tautologia que: 4 1) Contenga una nica letra proposiconal (puede tener conectivas). 2) Contenga tres letras proposicionales 8) No contenga negaciones. 4) No repita munca una letra proposiconal (esto es, on Ia cual ninguna letra proposicional aparezca més de una vez) 2. De ser posible, construya una contradiecion que: 1) Contenga tna tnica letra proposicional (puede tener eoncetivas) 2) Contenga tres letras proposicionales 3) No contenga conjunciones. 4) No repita munea una letra proposicional. 3. Do sor posible, construya una contingencia que: A 1) Contenga una tniea letra proposicional (puede tener conectivs). 2) Contetga dos letras proposicionales 3) Bin su tabla de verdad sélo una fila sea verdadera, 4) Bn su tabla de verdad, sélo una fila sea falsa 5) En su tabla de verdad haya cuatro filas verdaderas y cuatro falas, 4, De sor posible, dé dos férmulas légicamente equivalentes tales que: 4 1) Sean ambas contingencias. 2) La primera cuente sélo con condicionales y la segunda sélo con negaciones y disyanciones. 8) La primera cuente sélo con condicionales y la segunda sélo con negaciones y conjunciones. 4) La primera euente sélo con conjunciones y Ia segunda sélo con nogaciones y disyuncianes, 5) No compartan ninguna letra proposicional. 45. En carla uno de los siguientes casos proponga una frmula ¢ que haga verdaderas las afirma- iones. Evite reamplazar y por una férmula que forme parte de las premisas de cada ejerccio, a Devry 4) (Va), ~ake EVP. G+ v.Wr0Fe anak 5) Fe) >x) ORE Proporcione: a érmulas (no tautolégicas) 9 y Y para las cuales existe una valuacién V tal que V() = 1 pero no existe ninguna valuacién V tal que V(y)2) dos fGrmulas (no contradictorias) @ y para las euales existe una valuacién V tal que V(_) = V(H) =0 pero no existe ninguna valuseién V tal que V(2) = V(¥) = 3) Un emimeiado cuya tabla de verdad sea idéntica a la de p-A.q pero que s6lo posea > ¥ ~. 44) un enuncindo cuya tabla de verdad sea idéntica a la de p 9 pero que silo posea Vy 7. 5) un omunciado que tenga solamente las letras proposicionales 7, q ¥ 7, wilizando slo ~, ‘Ay V que sea verdadero exactamente cuando dos de las tres letras proposicionales sean verdaderas, y que sea flso en lo restantes c8505 7. Ofrezea pruchas de los siguientes hechos. #4 1) pv 9)-anre— 8) F (Aa) + (p 4-4) 2) mpg “(lp + 9) + 9) > p) TE pA(gVr) > ((PAg)V@Ar)) 3) p> (gA-v),8 3 rr (pV 8) 8) F (p+ Vr) 4 (aA) 48) 4) pak (ra) (@Vr) 4a) 9) F (P+ (G>r) +> @>1) 5) qV-5,-7 F-a,8A-r pAnp 10) Fa (V (-gA))) 8. Muestre, por medio de una valnacién, que los siguiontes hechos se cumplen. a 1) “(p+ 7a) # (PA) 4) F (pV ag) 4 pAma) 2) pVg¥ pang 3) Sp Ana) gp 5) F (Pv (aAr)) + (ova) Ar) 9. (**) Considere la concetiva |, definida por Ia siguiente tabla de verdad. a: 1) Indique qué expresién del lengeaje na tural le parece que | representa. 2) Mvesire que toda férmula de la for ma puede expresarse utilizando so- lamente la concetiva | 3) Mesire que toda f6rmula de la forma ‘2 A) puede expresarse utilizando sola- monte la concctiva | aef|ts al-lel=lel H+] ofS} =] (132. Metateoria 1. Phusbe los siguientes metateoremas. 2 1) Sip y BE, entonces py w son Iigicamente equivalentes. 2) Sigh owe, entonces F (py Aw). 3) Si pF OWE, entonces pry. 4) Fyyr esi oad. 5) Sigk y F@, entonces F pV 6) Sik y, entonces -y AWE. Dada usa Grmula cualquier p do E, oserbimos “pF para indiar que «2 wna cotradicain. 167) Si pV (VX) entonces gh, BR Y XE 8) Sigh y Reve, entonces F ¥- 9) Si gk y F ¥, entonces F pe 10) Sig + Hk, entonees FY v: i) Sip ky kf, entonces Fy + W 12) Sigh, entonces F (p AY) > X 13) SiF x, entonees F (YX) 14) Si pF y F dy entonees F (e499). 15) Si Fp, entonces pv 16) Si pF, entonces ye v. 41) Si gy W som logicamente eqvalentes, 18) SiEW, entonces y F (PV Ie 19) Si WF, entonces ek y+ x 20) Si pV YF g, entonces F ¥- ai) SIE py Hp; entonces Fo 22) Sie (pO) ¥ F ps entonces # F- 28) Si gees una contingencia ye 5 2) pa ¥ ser entonces pF wy WR v centonces 1) es tuna contingencia. 2. Refite ts siguientes afirmaciones por medio de un contraejemplo.# 1) SLE yp, entonces FOF v. 2) Sie pV, entonces Fy 6 F 5) Si es una contingenca,entonces ¢ -+ # 6 una contingencia: 4) Sif pv, entonces Fp ¥ Fv 43 Determine si las siguientes afrmaciones son verdaderas o falsns justfcando Drevemente sit reapuesta. #2 1) La conversa del punto 3. del ejrecio anteriores verdadera 2) Sig p son ambas contingencias entonces Vs una contingent: 3) Si py W son ambas contingencas entonces 9 x es una contingenci 4) Si pk By WE y entonces yy # son ligicamente equivalentes: 5) Si gy son ambas contingencias entonces °F ¥ 6) Sif pA, entonces p+ ¥ es una contingencta. 7) Sieg entonces pV YF e p puede ser tna tantologfa. p+ ¢ puede no ser una tautologi. ) Todas Ins toutologias son equivalentes entre s ‘Todas Jas contingencins son equivalentes entre si. 118) ST, mona FU fp) ky, 1) SLUG}, entonos Peg 20) SIT g,entonces y eT, 21) S 9€P,entonees Py, 22) SITE py pry, entonces Pry, sg ones utilizando tinicamente reglas Dbisicas del sistema de Pedueeidn Natural para Ay

9 5 9), DEO) y D every Deveawry wpb p WARE (mm As) bres (vey (Vr) +4) 3% Prusbe que las siguientes afmaciones ‘elfeando dnicamente reglas bisicas det sistema de Deduecién Natural para A, -s yn Drea. (saw)ap, 9 E99 Vogapy) 2 veh ey 2 Mat (p+ 9) +4) +» Dp eby DECRG 0) +p Dearwrrtesy) DE CPS G42) 3 O9- py DEE oA my Fart g‘Ba las siguientes derivaciones en el edleulo de Deduecién Natural, indique qué reglas bisicas ‘© supuestos se aplicaran en eada paso, y en base a qué pasos anteriores, Lego, identifique ‘qué regla derivada se ha probado. # Dios premisa 4) 1. p> (+x) premisa 25x premisa 2g ay ae 49 4 box Box Bx 8 px 6 ex 1 QL pay premisa ere4n ze SL eve premise, aw we aa Bove ale premise : bac 2 Ape T¥4Wve) 8 we) . Los siguientes esquemas de argumento suelen ser considerados reglas derivadas del edleulo de Deduccién Natural. Demuéstrelas ulilizando solamente reglas bisieas.®° a D eabdaxke ox Silogimo Hipotétien 2) eVirers Siogiomo Disyuntivo 3) eee ‘Modus Tollens 4) pav-eurg Conmutatividad de la conjuncisin J evetuve Conmutatividad de la disyuncin 6) eAW@AX) + AB AX Asocintvidad de la conjuncin DevOvn +Vevx Asociatividad de la disyuncion 8) pA(HV x) tH (PAD) V (PAX) Distributividad de la conjuncién 9) eV GAD # (VA ACV Distributividad dela disyunein 10) (AY) + pV Regla de De Morgan 1) XeVve) + Aw Regla de De Morgan 2) pdt wow ‘Teaneposicn 18) P4(VINE WAY Tmportacién 1) (AP Fx EI) Exportacién 15) p48-+~WwA-W) Definicién de en términs de A y - 16) poet pve Definicién de + en términos de V y 7 ~SBcribimos po pore indlcor eiste une dervacién de ya partir de ie veovere, 911) GA¥+ y+ -y) Definicién de A en términos de > y > 18) PVE yay Definicién de V en términos de + y ~ & Prucbe ls siguientes aitmaciones utiizando el sistema de Deduecién Natural. #2 V7 8,-7 asc hL 2) a> NEV a) > G6 ah LV) ae DAV 8).-8 $3 ae a php 4) (pvt) +r, Pr) F Gp) I) hV8) > (avr) 8) FV ¥) > pany) DPV9). > pVarhs 4p 8) 1 @> vr) > (aan) +r) DF (eve) + py) 19) PVaP +19 bt (As) (r+ -s) WE Oy ¥) + (vy) 22) p> Vr), gn bp 13) PAG (PV>Og othr 1) pVat > ~p, (Vr) me 19) P>(A-0),8-4 rb ipva) 19) Aq) +907) 9 pt gh esp 17) PAGING 68.8 Ur 9 (w—u) Eps w 7 Pauebo la siguientes afimaciones utilzando el sistema de Deduceién Natural. Puede utilizar ‘etins dvivadas (que ya hayan sido probadas), cs D evi E Gp) 9) > E-Gevy 2) -Ce Wr -Wwvy) D-CEVY) Ey) 8 (°) Pruche tas siguientes afremacionesullizando el sistema de Deduceién Natural. 1) F 9 ¢, sin usar In regla de repeticién 2) pF ee, sin usar la reg de repeticén, ni laa "elas del condicional material, nila reglag de la negacién, 9. (°*) Domuestre: 4x 2) ue el sstema que resulta de agregare el esquemna de exioma Vp ala Légica Intake Clonista es equivalente a la Légica lisa 2) que sistema que resulta de agrogaie lonk y Etonk ala ‘Léica Minimal es inconsistente.22 si ticwcin ci lists lone y cliente dade ot las regas que étos sdoptan para la a rage Minn dt lice Ttlconista x poset to Ga Hg) “8 in Minimal tania croc pr Gunee B, Gebah 201. ptonkey Tonk m a Etonk m 10, (**) Explique en qué sentido el Sistema Minimal y el Sistema Intulcionista son Incompletos, Ofvezca ejemplos. a2. Légica de Predicados de Primer Orden 2.1. Introduccién Para hacer el siguiente ¢jercicia vea Gamut (2, §3.2) 1. Considere las siguientes oraciones del lenguaje natural « indique cudles de ellas contienen alain cuanttfieador. # 1) Todos los pervas van al cielo 2) Algunos gatos van al ciclo. / 3) Agustina tiene un perro 4) Fl todo es indivisible 5) El perro de Agustina va a a escuela 6) Hay un mundo mejor./ 7) Los coleciveros de Ia linea esti de pao» 8) Los primeros dias de enero los vamos a pasar en Mendoca, 4) Una persona vino vestida de trae} 10) Nada me impresioné demasiado 11) No todos los gatos van al cielo“ 12) La primera oracién contiene un euantiicador 13) Algunas oraciones contienen cuantificadores. / 2.2. El lenguaje Lpo de la Légica de Predicados de Primer Orden 221. Sintaxis Para hacer tos ejercicios de esta seccién vea Ganaut (2, 63.3) 1, {Cusles de Ins siguientes son estrictamente hablando férmulas de Lp? En easo de que lo sean, ‘especifique su signo principal y éibyje su érbol constructive Sino fo son, indique porque.” 1) Ava 2) Mrs(Aaoe Vaz) 3) 2A Aras 4) Ax(err Gn) 5) Ba(AdACY) 6) Araies 7) (Aaa A Asana) 8) Youdeaiing (423 ay) -> (Anta V-Aaz)) Gia B,§8a] vo cpanel son as eta de predic ls costae de nv os variables del oeabulatio de Co sno que trbaja con metavarables. Agus decimon &y, Aa, a,--- son laa letras de preiado, fyyaayag,-. las constantes de individuo y 3, 22,29. lat variable 2Anas) > (Arta Aszs)) NBs) + WaNaPb 1S) Wer (errr) 16) (Asean¥aa(Ast2.—>-Agart2)) 19) Pyrevy{Gyr Pay) 18) WlFy A (Gy > Pay) 19) (Py-BePab) > YyF {Cues de las expresiones dadas nel ejercicio anterior son formulas de Ero una vez adop- tadas las convenciones notacionales? En cada caso especifique st signo principal, el sleance de los cuantificadores que ocurran en ellas y cules son las apariciones de variables libres, si Tas hay: a 43, Dada la férmula Ve(Px + VyzQzy2) de Lpo, Identifique: 4 1) In conectiva principal: 2) el aleance de cada uno de Tos cuantificadores de ls férmula; 48) las apariciones libres de variables (de haberlas); 4) las spariciones ligadas de variables (de haberlas) sefi 5) sige trata de una oracién o una funcidn proposiefonal y por qué. sndo qué cuantficador liga cada 4. Indique si los siguientes enunciados son verdacleros o falsos justificando brevemente su res- puesta. 4 1) Bxisten argumentos euya validez puede ser probada en Légica Proposicional pero no asi en Légica de Predieados. 2) Toda férmnla del lenguaje de Ia légica de predicados es uma oracién. 3) El lenguaje de la légiea de predicados ineluye férmulas con apariciones de variables libres. 4) El alcance de la aparicién del euantifieador Vy en la frmula BrPax AWyPy A Ay Ia sublérmula Py A Ay. 5) Para que una aparicién de una variable x esté ligada por wn cuantificador basta que apa- rezea bajo su aleance. 5. Respond Iss siguientes preguntas. 4 ~Sifige raxones de egilided, adoptamos certas convencionss que nos permitenacortr las formulas, Por ejem- lo em Iugar de as, Aa, lays €1,02,094--- ¥ 81,52,33,.-- exerbis A,B,C, seepecivamente 231) Fa el Tenguaje de Ia Wgica de preiicados no hay letras proposcionols. 2Por qué? jSe pierde capacidad expresiva al quitarlas? 2) {Perderia capacidad expresiva del leng vocabularia uno de los cuantifieadores! negacion’? 8) sPoede una variable estar ligada por un cuantificador pero no eaer bajo su aleance? 4) {Puede una variable 2 estar libre formula? uaje de In lWégica de predicados si quitamos det GY si quitamos uno de los cuantificadores y la y ligada por un cuantificador We (6 32) en la misma 3) {Cudntas subformulas tiene la térmula VeSyRez? 2Bs Re una de tas subtéermulas? 8) {Cusntas subférmnlas tiene como minimo wna férmnula de la forina Yr? 27) {Guntas subférmalas que som orciones tiene como mini un férmula de a forma Yee? 8) iCusntas férmulas distintas pueden construizse con los elementos ‘s' ‘ay ‘R’,siendo *R! ‘un predicado binario? ;¥ cudntas oraciones? ,Y si R fuera un predicado y-ario? 8) LCudntas férmulas distinias pueden construirse can ls elementos ‘a’ Vy “P", siendo ‘P* ‘un predicado unario? {¥ cusintas funciones proposicionales? 10) Bs posible formalizar el ensneciado ‘Liueve." del lenguaje natural en Lpg? 6 Tara cada formula g en fa columna iquierda dela siguiente tabla indique sla expresén que Se encuentra a su derecha es el resultado de reemplazar las apariciones libres de la variable do individuo 2 por la constante de individuo c, ie, e/aly. x2 “ash cb i Wear Wade Saaz edz azz Ace | -S(PeK Gs) Ge | aren cay Ge] FriGr— Gr FekGr> Ge [ B=5u(FayV Fue) VvaFe | Say Fayv Fa) vers Seay(Pay VPys) VVaPa | Seap( Foy V Face) V¥eFe ay (Any Ays) AnF2 | WavyCAay > Ayz)AFe Fer Fee WeF a Cee [a Fe Gee ] eR Gee ee Fr Gee | 7. (") Lio 6 un lenguaje de primer orden cuyo vocabulario resulta de ampliar el voeabulatio de £ra con wn conjunto infinito de simbolos de funcién unaios fh, fa.Js,...- Le deh de fGrmula bien formada de Li es déntica ala de Lpo, pero la nocisn de lérmino y presen de una dofinicén induetiva: 4 ‘&, Las constantes de individuo y las variables son términos b. Sites un témino y f es un simbolo de funcidn, entonces f(t) es un término, ¢ Sélo las expresiones que se obtienen en un miimerofnito de pasos aplicando las dos eléusulas anteriores son términos. Determine cusles de las siguientes expresiones son términos de Cg, cules son fora de este lenguaje y eusles no son ninguna de las dow Py1) film) 4) falfhi(ea)) 2) falos) A falaa) 5) Bai(Aifiler) + Aifilas)) 9) Bese) 6) VerAzaszr 8. (**) Ofrezca definiciones recursivas de las siguientes nociones, # 1) Cantidad de evsntificadores en una férmula 2) Cantidad de letras de predicado en una férmula 3) Cantidad de términos en una férmula 4) Cantidad de conectivas en una formula 5) Cantidad de stimbolos en una férmula, 222. Forma légica Para hacer el ejercicto 1 vea Gammut (2, §3.1]. Para los ejercicios 2 y 3 ve Gamut [2, §3.2). Para los restantes vea ademas Gamnut [2, $34) 1, Formalice los siguientes enunciados sin cuantiicacién. Fspecifique cl diccionario utilizado, # 1) Ren escupié a Stimpy pero Stimpy no escupié a Ren. 2) Si Lisa besa a Nelson, entonces Lisa se calla, 8) Noes cierto que Dinamarcs esté entre Alemania y Francia y sea hexagonal 4) Alberto y Jorge se aman mutuamente sélo si Jonge se ama a si mismo. 5) Que Colén haya cruzado el Atlintiea en La Niia es eondicién necesaria para que La Nita se rompa en pedazos. 6) Si Superman es un extraterrestre valiente, entonees Luisa Lane no es valiente y ama a Clark Kent. 7) Hitler fue un general slemdn, aunque no era aleman. 8) Viviana e5 una mujer exitasa, y se sents entre Jorge y Gerardo,” 9) Dilma es una presidente progresista que gabierna después de Lula, 10) Juan y Mariela son hermanos, y no es cierto que si Juan es més grande que Mariela, entonees es més alto que ella, Formnalice los siguientes enunciatlos con cuantifiencidn simple, Especifique el diceionario utii- ado, 2 41) Algunos libros famosos son aburzides. 2) Hay cartas que son viejas e ilegibles. 8) Todos los animales cefalépodos son sensibles o valientes, 4) Sélo los mnerins son zombies. 5) Las casas viven y mucren. 8) Algunos rfos no son azules sino verdes. 7) Ningyin hereje vivird. 25