hls) 4) fal filfulea))) Siler) A falar) 8) Si(Ai filer) > Arfilas)) Bai files) 6) VarAzaary (77) Oftezca definiciones recursivas de las siguientes nociones. #4 42) Cantidad de cuantificadores en una férmula 2) Contidad de letras de predicado en una férmula 3) Cantidad de términes en una férmula 4) Cantidad de conectivas en una formula 5) Cantidad de sin los en una féemula 22.2. Ferma ligica Para hacer el ejercicio 1 vea Gamnt [2, §3.1}- Para los ejercicios 2 y 3 vea Gamut [2, §3.2). Para los restantes vea ademas Gamut [2, §3:4) 1, Formalice los siguientes enunciados sin euantificaciGn, Fspocifique el diccionario wtilizado. # 1) Ren escupid a Stimpy pero Stimpy no escupié a Ren, 2) $i Lisa besa a Nelson, entonces Lis se ella 8) Noes cierto que Dinamarca esté entre Alemania y Francia y sea hexagonal 4) Alberto y Jorge se aman mutuamente sélo si Jorge se ama a sf mist, 5) Que Colén haya cruzado el Atkéntico en La Nifla es condieién neeesaria para que La Niia se rompa en pedazos. 6) Si Superman os un oxtraterrestre valiente, entonces Luisa Lane no es valiente y ama a Clark Kent. 7) Hitler fue un general alemén, aunque no era alemsén. 8) Viviana os una mujer exitosa, y 5 sonté entre Jorge ¥ Gerardo. 9) Dilma es una presidente progresista que gobiema después de Lula, 10) Juan y Mariela son hermanos, y no os cierto que si Juan es més grande que Mariela, tentonces es mas alto que ella. 2. Formalice los siguientes enunciados con cuantifioncién simple. Especiique el diccionario utli- ado. # 1) Algunos libres famosos son aburrides, 2) Tay cartas que son viejaso legible. 3) Todos los animales cefalépodos son sensbles o valientes 4) Sélo os muertos son zombies. 5) Las casas viven y mueren. 6) Algunos rios no son azules sino verdes 1) Ningtin hereje vivies.8) Algumos matiosos se davian a sf misinos, 8) No todos los dragones tiran fuego 0 no hablan. 10) Ningtin hombre alado vuela y no se queja. ‘ormalice ls siguentes enunciados con euantificacisn simple, constantes de individuo y pre- Heads diddicos. Bspectique el decionaio utiliza y el doninng at discurso, as 1) Todos admsiran a Donald pero nadie adinira a Plato, 2) Algunos ingleses compraron Angola al Duque Félix TL 8) Hay famosos que no admiran a Gene Kelly. 4) Todo jazzista escuché a Duke Ellington, * 5) Todos las caminos conducen a Roma, 9) Nos cierto que Rati Portal ame a todes los animales 7) Orson Welles actué en algunas peliculas norteamericanay 8) Borges no escribié novelas, 8) Kalla estaba avergonaado de f mist, pero Mas Brod no estaba avergonzado de Kafka y Publios todas sus novelas, 1) David Iynch no films peliculas exropens, aunque s fli cortos, Fovaliee los siguientes exunciados, expicitando el dicionaro utiltando vel dominio, x 1) Todos llevan a alguien a Paris. 2) Nadie odia a todas. 3) Ninguna persona tiene todo, 4) Todas los escritores escribicron algo, 5) Algunas acciones no causan nada, 6) Hay algo que ningsin ninja esconde. 7) Algunos vecinos odian a todos los poltiens, 8) Todes los maestros enseiian algunos temas 9) Todos los doses gregos matan a todos sus eneiigas 10) No todos los rebeldes generan una revolucién, 11) Hay argumentos vilidos que no convencen a nadie 72) Si dos ness cualesquiera.no son paraelas, no se da el caso ‘que haya una tercera que sea Perpendicular a arnbas, 13) Silos hermanos se pelean, los devoran los de afuera, 14) Todo autor ha escrito al menos un libro que prefeiria no haber escrito 15) Los metals se dilatan al ser sometidos a una fuente de eater 16) Maria le pests su auto a alguien y no reeuerda quid 17) Alguin toms prestado un auto y no piensa devolverlo «sa uel, 18) Alonso no le regalaré nada a Diego aélo si Lata sf lo hare 19) Un paquete de caramelos no es comida, 62) Los murciélagos vuelan de noche. 21) El que rompe pags. 22) Gralquiera que estudie todo el dia no disirutaré la vida. 23) Algunos se aman a sf mismos. 24) Paula tiene una gata a la cual mima. 25) Si sélo asisten filésofos yo no voy. Formalice los siguientes grupos de enunciados utilizando el mismo diccionario en cada grupo. a 1) De lo oourrido en un baile: (2) Alguien sac6 a bailar a alguien. (2) Hay jévenes que sacaron a bailar a todos. (3) Hy ancianos que no sacaron a bailar a ningrin joven, (4) Hay ancianos a los cuales ningin joven sacé a bailar. (8) Ningiin Joven se sacé a bailar a si mismo. (6) Algunos ancianos no sacaron # bailar a algmos ancianos. 2) De jvenes y adultos: (2) Todos los jovenes obedecen a algtin adulto, (2) Ningiin joven obedece a todas los adtultos. (8) Si un joven obedece @ alguien, entonees éste es aduto, (4) Algunos adultos son amigos de todos los jévenes. (8) No todas los j6venes tienen algiin amigo joven. (6) Si un joven tiene algiin amigo, entonces éste es joven. 3) De haber visitado ciudades: (2) diusn visit6 Roma. (2) Todos visitaron Roma, (3) Nadie ha visitedo todas las ciudades. (4) Todos han visitado alguna ciudad. (6) Hay uma ciudad que todos han visitado. (6) Todos los que visitaron Roma, visitaron Londres. (7) Si Pedro visité una ciudad, entonces todos la visitaron, (8) Los que visitaron wna ciudad, visitaron todas. 4) De cansles de televisién: (2) ‘Todos los canales de televisién transmiten algin programa. (2) Hay programas donde sélo hablon eronistas amarillistas. (8) No todos los cronistas son amarillistas (4) Solo los presidentes hablan en todos los canales de televisién, (8) Ningiin cronisis os presidente. (6) Si un cronista es presidente, entoncas no és amarillista. (7) Todos hablan en los canales de televisién amarillistas (8) Ningin programa es transmitido en todos los canales de televisién. ea5) Del Quijote:'5 (Los cabateros tien amigos. (2) Los cablleros no tienen amigos (8) El Quijote no es adn, (4) EL Quijote tiene escudero, (5) Sancho es escudero. (6) Sancho no es escudero (7) Hay alguien de quien Sancho no os excudero. (8) Alin escudero os joven (9) Alpin escudero tiene umigos (10) Alin eseudero no es joven (1) Alatn escudero no tiene arigoa (02) No todos las eseuderos son jvenes. (18) No todos los cabatlros son jévenes (04) Ningsin eabatero es joven (15) Los eabateros son jévene, (28) Los caballeros no son jvenes. (17) No es cierto que ls eabaloros no sean fvenes. (28) No hay caballeros quo sean jvenen (4) Sancho os eseudero do un eaballero (20) Si Sancho es escudero de un cabaliero, entonces Sancho es aunigo do un eabsllevo (21) 8 Sancho es cscudero de un cabllero, entonces Sancho es amigo de ese caballng (22) Los amigos de Rinconete son amigos de alguien. (23) Los esederos de eaballros son amigos de eaballeros (24) Los eseuderos de eabalteres no son amigos de cabalers. (25) Los eseuderos de caballeros son argos de oes eabalers. (26) No bay picaros que no sean ladrone. (27) No hay esenderos que no soan picuos. (28) Para todo enballero hay ala escudero suyo que s su amigo. (20) Si algiin caballero es Joven, entonces tiene algiin escudero que es su amigo, (80) Si alguien es joven y pfcaro, tiene algtin amigo que es ladrén, (31) F1 Quijote no tiene ningin amg ladrén (G2) No hay ningin caballero que tenga agin excudero que no sea amigo de alin picaro. (83) Los eaballeras son amigos de sus escuderos a menos que éetos sean ladhoree (84) Nadie es amigo dew lade salvo un lads. (G5) No es cierto que Rinconete sea amigo de Sancho, aunque ambos son escuderos del Quijote. (38) No todo joven y picaro tiene algsin atnigo eabullero, (87) Ningsin joven y picaro tiene algtin amigo caballero, (38) Rinconete y Cortadillo son amigos del Quijote, pero no son amigos entre sh (39) 1 Quijote no tene un escudero lan y Sancho es excuoro dom esbalfero que no €s joven, "los cid de wie punto wn de Figura Lop Marines Vida 1. 249s 28“Aunque Sancho no es ladrén es amigo de ladrones. ‘No todo escudero de alin esballero es joven, ‘Basta que haya slguno que sea ladrén para que no tenga amigos. (3) Es necesario que tenga eseudero para que sea caballero. (48) Anno ser que tenga escudero, no es caballo. (45) Para todo caballero no hay alguien que sea su amigo, a no ser que tenga umn escudero que sea su amigo. (46) Si algiin eaballero tiene algiin amigo, entonces éste es su escudero. 66. Formalice los siguientes razanamientos, diferenciando premisas de conclusién. Emplee Ia Teorfa de Modelos para confeecionar el diccionario.%° 3) El perro es el mejor amigo del ser humano. Luexo, Tobi es el mejor amigo de Pedro, dado ‘que os su mascota, 2) Juan seré perdonado por todos, Pues quien roba a un ladrén es perdonado por todos y él hha robado a Felipe que es ladréa. 3) Todos los dictadores mataron a alguien, aunque algunos dictadores se matsron a sf mismos. * Si algiin dictador mata a todos los opositores, ningiin opositor queda vivo. De modo que algsin. opositor queda vivo si sélo si ningyin dictador los mata a todos. 4) Ningjin maficso eseonde a todos sus hijos. Adem, que ningiin mafioso se esconda a si mis- mo es condicién necesaria para que alguien encuentre a todos los mafiosos. En conseenencia, todos los mafiosss esconden algo, peto hay cosas que ningiin mafioso esconde.. 5) Todos las rinocerontes tienen un cuerno. Todos los plantfgradas som rinocerontes. Asi pues, todos los plantigrados tienen un cuerno. 6) Ningiin fotégrafo pinta, Todos los que no son fotdgrafos son escultores. Por tanto, todos los pintares son escultores, 7) Todo el que ama apasionadamente es desgraciado. Quien oculta su desgracia muere pre- ‘maturamente, Por tanto, si todos los que son desgraciados ocultan su desgracia, todos los ‘que aman apasionadamente mueren de forma prematura. 8) Ningiin feo despierta pasiones. Todos los stletas despiertan pasiones. Por lo tanto, ningiin atleta os feo. 9) Ningin caballo sabe silbar, Ningiin cerdo tiene alas, Todos Jos que no saben silbar tienen alas, Por consiguiente, ningyin eaballo es cerdo. 10) Si todas las mulas gon bibridos y ningtin hibrido es fértil, entonoes ninguna mula es fértil 11) Todos los nifios son traviesos. Por ende, si Guillermo es un niiio, entonces, si todos los ‘eres traviesos son adorables, Guillermo es adorable. 12) ‘fados los alcotlicos son tunos borrachos, Todos los que sufren delirium tremens suften ‘alucinaciones. Por consiguicnte, si todos los borrachos sufren delirium tremens, todes los aleohélieas sufren alucinaciones. 18) Todo ejecutivo que sea un poeta es una persona imaginativa. Toda persona imaginativa ‘es amante del riesgo, Si algin amante del riesgo no gusta de la poesia, ningin poeta es amante del riesgo, En conchusiGn, si hay alguna persona imaginativa a la que no le guste Ja poesia, ningtin ejecutivo es poeta. Wile cercicos 510 de ete punta son de Martin Santos (9 2914) Ningin cuadnipedo reina en Europa. Algunos mamiferos son cuadrpedos, Por tanto, hay morniferos que no reinan en Europe 15) Las sustancias radiactivas tienen vide costa o un valor medicinal. Ninggin isétopo de ‘uranio que sea radiactivo tiene vida corta. Por tanto, si tados los isétopos del uranio son radiactivos, todos 1s fs6topas del uranio tienen un valor medicinal 16) Si existe algin genio, todos los grandes compositores son genios. Si alguien es temperamen- {al, todos los genio son temperaraentales. Por tanto, si alguien es tn genio temperamental, todos los grandes compesitores son temperamentales. 17) Ninguns persona insegura es psiodloga. Todas ls estudiosos de fa conduct som psielogos ‘Por tanto, ningun estudiosa de In conducta es uns persona insegura 18) Los parapsieSlogos no son conductistas. Ningsin psiedlogo es eompetente en euestiones ex ‘trasencoriales. Las que no son conductistas son competentes en cuestiones extrasensoriales. Por tanto, os parapsiaslogos no son. psiedlogos. 19) Si una cosa se extravia, entonces si toda persona valora su propiedad eso seré buscado. SI alguna persona valora st propiedad, toda persona lo hace. Por tanto, sl algo se extravfa, tentonees si alguna persona valora su propiedad, hay algo que ser buseado, (€*) Indique, si ast lo cree, por qué no es posible formalizar adecuadamente el siguiente argue mento en Lro: # Elzojo es un color y el planeta Marte es de color rojo, Por lo tanto, el planeta Marte tiene color. 8. Suponga que en M = {D,1), D = {z/z es una persona}, 1(0) = {(2,y}/# odia a y} e 1G) = ‘Juan, Traduzca los siguientes enunciados de Cro al castellano, a+ 4) Be¥yNe(Ozy A Oza) 1) Ba¥yOue 2) Wa3yOye 3) Sr¥y(Ory + Oju) 5) Va(Ojx > -Yy-Oju) 9. Siendo M = {D,1) tal que D = (1/x es una persons}, 1(p) = Pablo, Im) = Marcela, U(P) = {(xu)/x es al padre de y}, 1(M) = {(2,u)/x os la madre de y}, I(E) = {{2,u)/ © yy ealdn casarlos}, geusl es el parentesco entre Pablo y Marcela de acuerdo con cada una de Tas siguientes formulas? 4 3) 303ye(Bme A Pyp A Mzz A Mzy) 1) aa(Mmz A Mzp) 4) 4Sy3e(Mazm A Pyp A Maz A Mzy) 2) 3e(Mmez A Een) 23, Una seméntica para Lpo Para hacer los eercicios 6 y 7 wea Gamut (2, §8.6.3. Para Tos restantes vea Gamut [2, §3.6.1, $3.62) 1. Dados las siguientes modelos para Ceo y oraciones de Lpo, evalie el valor de verdad de las iltimas en los modelos correspondienties. 4Di, h) tal que: D, = {Sberates, Platén, Arist6teles} Ti(s) = Socrates, Iy(p) = Platin, f(a) = Avatétees TAR) = {(Séeraies, Platén), (Platin, Aristételes), (Séerates, Aristételee), (Aristoteles, Aristoteles)} () Verso (@) 3eRaz (@) WeRzp (8) evyk ys 2) Ma = (Da, hr) tal que: 2, Ia(as) = 3 (1) Ragas ©» Poa (2) +Paz + Rayay V Rayan (3) 3a (4) VenRez 38) Mg = (Day) tal que (1) Be(Qr A Rev) (@) Vers (8) Vo(Ps + Ret) (4) Ve(Pev Qz) Frege FF interpreteidn de R est dada por el gro Socrates ——~ Plata Avistoteles (8) 323y(Rry \>Rye) (6) Ve(Rea + >Rers) (0) Yo Raz V Rep) +2 3 (8) evyRy 0 (6) Vavy\ta(Ray A Rye -> Raz) (1) Ve(>Pe + Reaa) (8) 323y3e(Px A Py A P2) (Frege, Husserl, Russell, Wittgenstein} Frege, [g(h) = Husserl, Ig(r)= Russell, Js(¢) = Wittgenstein ‘Russell, Wittgenstein}, /4(Q) = {Husserl}, 15(8) = Hussert Russel! —» Wittgenstein (6) 30(P2A Rez) (6) 3e( Ret Az) (7) Va(Px 3 3yRey) (8) Ve(Qe > Vy-Rey)2, Dados los siguientes modelos para Lpo y oraciones de Lpo, evalie el valor de verdad de caattimmas en los modelos correspondientes justiicanda mediante las cldusulas do ta fancién vvaluacin (por sustitucién) basadla en wn modelo, 4+ 1) My = (Day) tal ques* Pt R= Ps, ble) = Ps 7 A(P) = {Pi}, A(R) = IN Aah v0 () Ve(Pr > 50Ry2) (6) ve(P2v Raz) (2) ¥e(-P2 > 3uRry) (0) Velez v Pe) (G) 32VyRzy (&) Be3y( Rey A Rys A>PeAWPa) (4) Bx(-P2 Ay Rou) (@) vavuReey (6) 3eByde(Rez A Rey A Px A Ruy) (10) Ve(@yRey + 3yRur) 2) Ma = (Da, In) tal que: Dy= {1,2} (ax) = 1, In(ax) = 2 B(P) = {ar} Q) 39P2A Pu) 3) My = (Ds, Is) tal que: Dy = (3,4,5,6} Bla) =3, 0) =4, bl) =5, hd) =6 IAAP) = {a € Dy 2 es impar}, [a(Q) = {2 € Das e9 un elefante azul} 1(R) = {(2,u) € D} «es menor que y} (1) 3e(P2 Avy(-Py > Ruz) (8) WrSy Rye (2) VelQz + Pa Pa) 4) (*) Mg = (Da, 1a) tal que:#* fer ev un mimero natural} = {0,1523)-.-P Sjormeada 16 Ds, 1(P) = {2 € Da: es impas) any) € Dix 6 divisor de y} () VeRaz (6) Ve(-Pr > Raat) (2) 32Rrap (6) VerRage (8) WeayRye (1) Ve(Pr Roos) (4) Ve(Px > Rea) (8) Wewy¥e(Rey Rys Res) 5) (1) Mg = (Ds, 1s) tal ue Dg = {21 c4 un nimero natural} T(as) =i, para cada i € Ds TAD) = (ee Das xo primo}, L5(R) = {(s0) € DB: es mayor que y} Tia exe de Rath dni pr a ic. sore ae ae recom ex ven oz ma cl cena do dvi m parm de resto 0 atezaede emer coro aloe vl (arte) por st malemo yo 32(a) 3x(P2) Rear) (@) 3evuRey (2) eeu Rue (4) veBu( Rue Pu APs) {Day Te) tal que: ‘pes un mimero entero} = {---9—5 para cada i Ds Poe coir en positive y par) 16(Q) = (© Pay esimper) psa) € D3: es menor que 1}, aS) = (esan2) € Daset y= at (a) VeduRve (8) 3x(-Qn.47P2) (2) Yevy3e( Rez A Rev) (8) vevyaeSeue 12, 1012S F 4, Para cada wna de lo siguientes trmulas 26 modelo en el cual sea verdadera y otto 6 Fare aca flso, de ser posible. 6s alguns de ae ea verdad logic 0 une ftsedad Ties? Sustfigue. 1) Pan7Qa 7) Vey(Rey 6 Rua) 2) Pon Pb 8) Vers + 3Pr 3) 3rPx3VePs 9) ve(P2vQz) >My 4) Ba(Pe h>P2) SP 10) 22Pe APY 1) 3e¥yRay 9 WieREV 5) ¥x(Px 3 7P2) 6) 3eRaz 12) Vy2eRay > Suey solo en el eual todas ellas se20 fn halle un m0 Mde sor posible. Clasifque los grupes de 3) () 3ePz 4) (a) Wavye(Raz A Re) (2) Ven Raz (2) *We3yRev (3) vevave( Ray A Rye + Re) (3) axvyRyr > Po 4) (1) Pan Poa Poh WaPo 2) (1) (Rab + Rba) (2) Bxau(Rev > Ry) @) Raby Rac + 3u(Px Re) {@) Wale Rea) Ave(~P2 > Rea) () ¥e(Px 6 Pz) > VuBeRye (8) ~Raa AVa(-P2 > Raz) (4) veayRey ‘Peuebe ls siguintes hechos "por susttucion 2 a) Vers VyPy 2) Por 2uPy 3) VavyPaye WEP 4) arSyPoy 3v32P2y 5) BekyPay Wee Pev “6g var AveQe,Wa(Ps > Ra) r vel1) 3ePe (7) Consdere el modelo M = (D, 1) tal que: D = {Reee, Rosell, Tarski, Géde, Quine} Har) = Frege, I(¢2) = Russell, as) = Tarski, 1(0,) = Gil 1(P) = (Brege, Russell, Taek Gel} 7 ngs leit malas verdnderaoanen M4 ulzand efoqussuttucinal {y luego ol enfoque asignacional. VuPs ¢ Par A Po A Pas A Pag 8. Sea M = (D,1) tal quest as D= (as. tinyds} Maa) = di, Maa) = de, Tas) HPYCD, (R) CDF 4) (*) Avy Rey 1) 3e(P2vP2) 2) VoPe > 32Pr 10. (2) {Puede ta siguiente firma ser verdadera en alin modelo vverdadera en todo modelo con dominio inf con dominio finite? 22s into? a Warfiaz AW¥y¥e((Rey A Rye -+ Rzz) AVo3pRery) 24. Un sistema deductivo para Loo Pare incor las leccios de esta seein vea Gaunt (2, $43.4, 1. Considere las siguientes afirmaciones de conseeuen fe cada una de ellas se offoce una secuencia de conclusién a partir de ls premisas, Indique, en cada ence De no serlo, justifique y decida sila afitmaciss serlo, dé una derivacion correcta, # ‘Sta inerortain da Te do redid noe elon, or lott no ‘sespeceads, 42. Pan Rb—+ Qab promisa 3. Pa meters 2 4) vavyPryt WyvePoy et era 2 Py nin 2 ome 4. WyPyd cme Sa 133 8) Ve(Ar— Ba), 3eArb IeBe 1424 1. Ve(Az + Ba) R15 2. arr N63. da Ba WAP NRO Qi) bVeP= 4 Ba 1 ¥=(P2A Rb Q2b) premisa 5, Se Be BedyPry + 3y3xPry Py + Vyas Pry Pr AveQe,¥e(P2—> Re) + ¥oRe + Qz),V2(-Sz + “Qz)t Va(Px > S2v Rr) ca,3cRzb+ 303 y(Rz0 A Ay) A>Ba) + ¥y>(Ay + By) A>Py) * 32(9P2V-Q2) Pa-+ Qt) + -Ve(P2-+ Q2) Pz ~ Qr),W2(~Qz A(Rz + Pz)), Rab 1 LV Rbz) + Ve3y( Ry V Rus) (Az Ba) + ~Ze(Az ABs) 5 02),¥e(Q2 > Ra) 732(Ps-+ Re) Tos jcc que siguen fueron tomados de Falguer 0, p. 298 ys 35 EA v3 premisa EVI Ey? va v4 premisa premisa EVI £323 B421) BesPeb WaPo 22) wWeP2t 3e-Ps 28) ~Ba(T'2 A Rea), 32~(Sx + T2) + 3x(P'e V Qa) 24) Val-Prv Qz), Vo(-Sz + Pa), 8eSxh Ja(Px + Qz) 28) ~3e4(-P2V Mz), SeoMa + BraPx 26) Vo(P2V Qa) + VeRer,¥ePrt 32s 21) Val Re + “Qz), a(P2 + Qe) Wel-Pa V>Re) 28) VeP2 + ¥eQx,-Qab WeP 28) Va( Pa Qa), Vo(>S2 ~> ~Qr),-WeSeb SoPe 30) Wa(Te > Mz), War(Mz A Ra),Vo(Ts + (Pe Ra)) Volts + (Ma + P2)) 31) Ve(Pe VPs), vo(Pa > (“Pe ~+ ~Qz)),Vo((Qr A Me) v Qa) Wa(Se-> Ts) 32) Va(T2~» Qa), ¥e-(P2V-T2) + 22(-P2 A Qz) 38) Ve(Se + +R), 3en(PrV >Re) + 3x(P2 Sz) 3) ¥a(Po> Qe Re), 3(Qe A Pr) + azRe Muestre que existe una derivacién de la conclusién a partir de las premisas en cada'razona- amiento del ejercicio 6 de §2.2.2 de esta quia D sdlo a partir del punto 5. 2 36