You are on page 1of 29
INTRODUCCIONALALOGICA Karl J. Smith Traductor: M. en C. Eduardo M. Ojeda Pefia Guadalajara, México Revisor General: Ing. Francisco Paniagua Bocanegra Universidad Nacional Auténoma de México (UNAM) cnet son oie ingle puicada por Waser he festeoarery 1m. © 1901 por Grupo Edi! baronies, SA: se C¥: yo Wadswot btratinatoroanéic, Ganon, Calor 002 guna pane cet Ita pus severed, chads © "rain noma sn eda ee fen amor 0 cule oo, sn prov expeso pen fo marin oe Grigo Estria ercamaric yo Wasnt Insnatoniteroamee,dvson de Wacenort 10 9s 270.028 Prosi Ene Faces T. Caner: alae! Manors ‘Grup Edt! roam, $A. de C¥. Ro Ganges No 64 — Col Cunuhsres—O6500 Win, OF foto 18, Tea $14.0517, 20874 Fae $9470.24 Peg. CMM 1382 PROLOGO ‘Come lo indica su titulo, este libro tiene por objeto proporcionar una introduccién ‘la Idgica simbdlea, Puesto que casi no se requiere de ningiin conocimiento previo Se la materia, la obra puede utlizarse como un texto suplementario en una amplia varledad de cursos. También se puede emplear como base para un curso breve, © bien puede estudiarse de manera independiente, razén por la cual las respuestas @ todos los problemas se incluyen en una parte final. EL propésito principal de este lisro consiste en establecer una base para evaluar orgumontne Wigiens —no golamente en in contexte formal prapasicisn— demoetrn- ion en matentaticas, sino tambien en consideraciones cotidianas, Se estudian cjem- plos tomados de las matemiticas, d2informacidn periodistica, anuncios radiof6nicos y de televisin, y de otras fuentes eentempordneas, en un esfuerzo para proporcionar al lector un curso de utilidad real, Al estudiar la logica simbélica se puede agudizar Ja percepcién personal de validez, la aptitud de reconocer Falacias y la facultud de evaluar argumentos extensos. E]Cap. 10 supone un conocimiento de las propiedades de cerradura, conmutativi ad, asociatvidad, identidad, existencia de inversos y distributividad, lo mismo que conjuntos y operaciones eon conjuntos, Deseo expresar mi agradecimiento a las siguientes personas que fueron revisores de esta obra, sus comentarios y sugerencias: William Ash, SUNY-Tech College; Carl Hall, University of Texas, El Paso. Rick Patrick, Adirondack Community College: y Marcella Laddon, Monterey Peninsula College. En particular, extiendo miespecicl aprecioa Carol Kublin, por verficarlaexactitud, de todos los ejemplos y las respuestas a los problemas, Karl J. Smith Sebastopol, CA Sabet CONTENIDO Prefacio CAPITULO 1 Fundamentos 1 Ll Qué es la l6giea simbélica? 1 1.2 Proposiciones 2 13 Conjuncion 4 1-4 Disyuncién_$ 1S Negacion 7 156 Traduceign y combinacién de conetivos 9 1.7 Seccin de Problemas 110 capiruto 2 Tablas de Verdad 13 2.1 Definicién y ejemplo 13 2.2 Seccién de Problemas 2 16 capiruto 3 La Condicional 17 3.1 Sientonces 17 3.2 Recfproca, Inversa y Contrarreciproca 21 3.3 Seccién de Problemas 3.23 va Contenido caPiTULo 4 operadores adicionales 27 4.1 La Bicondicionat 27 4.2 Operadores Diversos 43 Seccién de Problemas + 29 captruto Tautologias 33 5.1 Definicion 33 5.2 Implicacién 24 5.3. Leyes dela Logica 35 54 La Tautologia Trivial, p © p38 5.5. Ley de la Doble Negaciom, 2 = ~ $6 Ley del medio excluido, pv (= p) 36 5.7 Razonamiento Directo, ip + q) Ala. 36 518 Razonamiento Inditecto, [io > 9) AC~ gil > (=p) 37 5.9 Ley de Transitividad, (p> @) AQ A= 1) 38 $0 bey de Contraposicion. (p> ah (~ a> ~ ph 38 E.M Silogisma Disyuntvo, (p v a) A(~ pila 39 5.12 Sexcidn de Problemas 5 40 py) 38 CAPITULO 6 _ Falaclas Logicas 43 6.1 Validez 43 6.2 Falacia de Afirmacin del Consecuente 43 63 Falacia de Negacion del Antecedente 44 64 Forma Encadenada Falsa 45 6.5 Seccién de Problemas 6 46 CAPITULO 7 Cuantificadores y Circulos de Euler 49 “11 Cuantificadores Universal y Existencial 49 "2 Valores de Verdad de Oraciones con Cuantificadores 50 4 Latroduccién a los Circulos de Euler $1 Conectivos Simples $3 Contenido 1X 7.5 Argumentos Légicos $4 7.6 Seecién de Problemas 757 CAPITULO 8 Naturaleza de una Demostracion 59 8.1 Qué es una Demostracidn? 59 8.2 Ejemplos de Argumentos Lézicos 59 8.3 Seccién de Problemas 8 62 “CAPITULO 9 Rompecabezas de Logica 65 9.1 Método Optativo de Demostracién 65 9.2 Seccién de Problemas 9 65 “CAPITULO 10 ros LGgicos 71 10.1 Representacion Esquemética 7 10.2 Negacién 73, 10.3 Conjuncién 73, 10.4 Disyuncién 74 10.5 Compuertas Logicas 74 10.6 Seccién de Problemas 10 77 *capiruto 11 Analisis de Proposiciones 79 11.1 Sistemas Matematicos 79 11.2 Propiedad de Cerradura 80 11.3 Propiedad Conmutativa $0 11-4 Propiedad Asociativa 80 11.5 Propiedad Distributiva 81 11.6 Elementos Identidad 81 11.7 La Inversa y Propiedad de Complementacién 82 11.8 Algebra Booleana 82 11.9 Algebra Booleana de la Légica, Circuitos y Conjuntos $3 11:10 Seccién de Problemas 11 85 + Caples opsionales x Contenido ‘capiTULO 12 Resumen y Repaso 87 12.1 Simesis 87 122 Seccisn de Problems 12 89 APENDICE Respuestas 93 indice 115, CAPITULO 1 FUNDAMENTOS 1.1 ,Que es la Kégiea simblica’ ‘Todos estamos familiarizados con la ldgica y con la idea de que algunas personas poseen una ““mentalidad légica”” mientras que otras no. ;Cémo podemos entonces llegar a ser l6gicos? No siempre resulta sencillo seguir razonamientos o argumentos «extensos para obtener conclusiones vilidas. El propésito de a Idgica simbélica consis teen establecer un lenguaje simbdiico artificial que se pueda utilizar para simplificar los argumentos légicos complicados. EI gran matematico aleman Gottfried Leibniz (1646-1716) fue of cuando a la edad de 14 aos intenté reformar la lbgicaclasca. Leibniz llamé a alogica simblica caracterst- a universal y escribié en 1666 que deseaba crear ‘un método general en el cual todas as verdades dela razén serfan reducidas ‘uma especie de calculos. A! mismo tiempo, esto constituiria un tipo de lenguaje oescritura universal, pero infinitamente distinto de todos los pro- yeetados hasta ahora, ya que los simbolos, e incluso las palabras conteni- ddas en él, dirgirian la raz6r; y los errores, excepto los de facto, serian 'meras equivocaciones en los zileulos. Seria muy dificil formar o inventar este lenguaje o caracteristica, pero muy Fécil de entenderlo sin necesidad de diccionarios. Este suetto no se realizé hasta qu: el matemitico inglés George Boole (1815-1864) separé los simbolos de las operacienes matematicas de los conceptos sobre los cuales ‘operaban y establecié un sistema factible y sencillo de lgica simblica. En 1859, Boole expuso susideas en su obra An investigation of the Laws of Thought (Investiga. cidn de las leyes del pensamiento). Desgraciadamente, este trabajo no recibié buena aceptacién, y no fue hasta que Bertrand Russell (1872-1970) y Alfred North White- hhead (1861-1947) utilizaron la l6gica simbélicaen su obra Principia Mathematica que cl mundo de la matemética dio importancia a las ideas propuestas inicialmente por Leibniz alrededor de 250 aos antes, En este libro se tratard de responder a la pregunta, ““;Cémo potemos llegar a ser ims lgicos?". Se pretend aplicarla logica no solamente en el trabajo formal ordina- 1 2 Capitulo 1 Fundamentos Fo sino tambien vnanicarse de manera intel ‘geute con los demas; se requiete adquitir capacidad para analizar fos argumentos de nuestros legisladores y dirigentes; nevesitamos ser consumidores inteligentes para aanalzar las afirmaciones de los anunciantes. Bien sea que nos agrade o no, ta Kégica ‘sna parte importante del mundo que nos rodea, ven este Iibro sentaremos las bases que nos ayudatan a ser mas “idgicos 1 ln vida diaria, Es nevesario po 1.2 Proposiciones La ligica es un método de razonamiento que no acepta conclusiones, excepto las {que son inevitable. Esto se puede lograr debido a la forma estrieta en que se define ceada uno de los conceptos. Esto es, todo debe definirse de manera que no dé lugar ‘adudas 0 imprevisiones en susignificado, Nada puede darse por supuesto, y las defi cones de diccionario no son normalmente suficientes. Por ejemplo, en el lenguaje ‘ordinario un enunciado u oracién se puede definir como “una palabra, 0 erupo de palabras, que declara, pregunta, ordena, soliita, oexclama algo; unidad convencio- naldel habla o escritura coherente, que normalmente contiene vn sujeto y un predica- do, queempieza con letra maytiscula y termina con un punto.” Sin embargo, en gic simbolica una oracién tiene un significado mucho mds limitado yse ama proposicion PROPOSICION EIEMPLO 1 Uns proposicién es na oracién que es verdadera 0 falsa, pero no verdadera y falsa a laver. Sila oracién es una pregunta o una orden, o si es demasiado imprecisa (0 carece de sentido), entonces no se puede clasificar como verdadera o falsa, asi que no se Mamaria proposicién, 1. Neil Armstrong caminé sobre ta luna 234227, 3. El Pato Donald es presidente. ‘Todas estas oraciones son proposiciones, ya que son verdaderas 0 falsas. Por otro lado, consideremos las expresiones 4. iMarchate! S34 6 .Qué ests haciendo? Estas no son proposiciones en virtud dela definicién dada, ya que no se pueden clasif car satisfactoriamente como verdaderas 0 falsas a Pueden surgirdificultades al simplificar argumentos debido a su extensién, a laimpre- cisién de las palabras quese utiizan, al estilo iterario, o al posible impacto emocional de las palabras de que constan, Consideremos los dos argumentos siguientes. Si George Washington fue asesinado, esté muerto Por lo tanto, si esté muerto, fue asesinado. 2 CMR. Iniroduccién a la Logica 3 2. Si consumes heroina, primeramente consumiste mariana. Por lo tanto, si primero corsumniste marihuans., consun Légicamente, estos dos argumentos son exactamente igusles, v ambos son formas no validas de razonamiento. Casi todo mundo admiticia que cl primer argumento ¢s absurdo, pero muchos acepran 4 segundo arguiento debide al aspesio emocional de las palabras emplesdas en Para evitar estas dificultades y ayudar a la simplificacin de los argumentos gicos ‘complicados, puede establecerse el lenguaje simbolico anificial a que nos referimos anteriormente. Ellenguaje que se inventa aqui es necesariamente més simple que cual: 4uier enguaje natural; es una especie de taquigratia notacional. Se denotan las propo- siciones simples con iterales, tales como p, , £5, luego se definen ciertos conec: tivos. Nuestra meta, en la medida en que sea posible, consiste en 1. traducie las proposiciones del lenguaje ordinario a la forma simbotiea 2, simplificar la forma simbélia. 3. traducir la forma simplificada Je nuevo a proposiciones det lenguaje ordi Para los fines de este libro, se supondra que la traduccién en un sentido y en otro entre el lenguaje ordinario y el siribolico se puede efectuar de manera sencilla. En realidad, no siempre sucede asi, desafortunadamente. El lenguaje ordinario puede tener relaciones sutiles que sobrepasan el significado exacto de las palabras de una ‘oravigi simple. Se deben ten sna los imholos {deun problema particular. Altradvcir, debemos preguntarnosque signitica a oracion, enel lenguaje natural, y luego se debe tratar de encontrar una proposicién en lenguaje simbélico que tenga, hasta donde sea posible, el mismo significado. ‘Se puede evitar el problema de ls extension considerando solamente proposiciones simples unidas por ciertos conectives bien definidos, tales como 0, y, 0, ny Sh..€”~ onces, a menos que, debido a que, y asi sucesivamente. Una proposicidn compuesta se forma combinando proposiciones simples con ope- radores, 0 conectivos. De la definicién bisica de proposicién, vemos que el valor de verdad de cualquier proposicion puede ser o verdadero (T) 0 falso (F).” VALOR DE VERDAD El valor de verdad de una proposicin simple puede ser verdadero (T) o bien fal (F). El valor de verdad de una proposicidn compuesta es verdadero 0 falso y depende sélo de los valores de verdad de sus partes componentes simples. Se determina em- pleando la regla de conexién de dichas partes por medio de operadores bien definidos, tales como 3, 0, no, si..entonces, n...ni, a menos que, y debido a que. No podemos suponer que se coxocen los significados de los conectivos y, 0, no, y asi sucesivamente, aunque parecen obvios y sencillos, La fuerza de la logica radica cop iol te ae prs ree owt 4 Capitulo 1 Fundamentos enqueno deja ningiin significado al azar oa lainterpretacién individual. No obstante, al definir los valores de verdad correspondientes a dichos conectivos, trataremos de _ajustamos al uso comin 1.3 Conjuncién ‘Si py q represcntan dos proposiciones simples, emonces la proposicion compuesta “py q” utiliza el operador llamado conjuneién. La palabra y se simboliza con A. Por ejemplo, Ia proposicién Tengo una moneda de 1000 pesos en mi bolsillo y tengo una moneda dle $000 pesos en mi bolsilo 5 una proposicion compuesta. ;Ciiando sera verdadera esta proposiciOn? Existen cuatro posibilidades coneretas: 1. Tengo una moneda de 1000 pesos en mi bolsllo. Tengo una moneda de $000 pesos en mi boksillo. ‘Tengo una moneda de 1000 pesos en mi boksillo. No tengo una moneda de S000 pesos en mi bolsllo. 3. Notengo wna moneda de 1000 pesos en mi bolsillo. Tengo una moneda de $000 pesos en mi bolsllo 4. No tengo una moneds de 1000 pesos en mi bolsill. No tengo una moneda de 5000 pesos en mi duisitio, Representemos con p y q las proposiciones simples, de manera que: p: Tengo una moneda de 1000 pesos en mi bolsill 4g: Tengo una moneda de $000 pesos en mi bolsilio. Estas cuatro posiblidades se pueden resumir como sigue: aadals mamale ‘Vemos que la dnica ocasién en que la proposicién original Tengo una moneda dle 1000 pesos en mt bolsillo, tengo una moneda de 5000 pesos en mi bolsillo resulta verdadera es cuando p y q son ambas verdaderas; de lo contrario, resulta ser falsa. Asi que definimos p Aq segin la Tabla 1 Introduccién a la Logica § Vabla 1 DEFINICION DE CONSUNCION ° 4 Pag T T T T F F F T F F F F Esimportante notar queno se requiere que las proposiciones py estén relacionadas, Por ejemplo, Los peces nadan y Neil Armsirong camind sobre la luna, es una proposicién compuesta verdadera 1.4 Disyuncién El operador 0, denotado por V, s llama disyuncién. El significado de esta palabra ‘esambiguo cuando sea utiliza en el lnguaje cotidiano, como puede verse consideran- do los ejemplos siguientes. Sean Juan tiene una moneda de 1000 pesos en su bol 4g: Juan tiene una moneda de SOX) pesos en su bolsllo, Juan esté en Rusia. Juan esta en Espana ‘Ahora Juan formula las dos pro2osiciones: 1. Tengo una moneda de 1000 pesos 0 una de $000 en mi bolsillo, IL. Estoy en Rusia o en Espana.* Consideraremos ta intencién de estas proposiciones. En la proposicién 1, Juan parece afirmar que por lo menos una de las proposiciones. es verdadera, pero quizés ambas sean verdaderas. Por otro lado, la intencién de la proposicidn If es queuna ys6lo unade las proposiciones es verdadera. Juan no tendria la intencién de decir que se encuentra a la vez en Rusia y en Espana. La proposicién I ilustra uno de los usos del conectivo o que se llama 0 incluvente y se denota por V. Si p y q son dos proposiciones, a p v q se le llama disyuncidn; ¥y para determinar su veracidad o falsedad, debe considerarse la veracidad o falsedad. depyq. Por lotanto, consideremos de nuevo las cuatro posibilidades para determinar si Juan dijo la verdad en su afirmacién Tengo una moneda de 1000 pesos 0 una de 5000 en mi bolsllo Teenie sinc ci "coy Raa no Eas Fundamentos 6 Capitulo 1 Caso} (p es Ts qes T); Juan tiene una moneda de 1000 pesos en su bolslio. Juan tiene una moneda de $000 pesos en su bobsill. Enestascondiciones no diriamos que Juan esmentiroso, asique decimos ques propo- sicién compuesta también es verdadera. Cuso 2 (p os Ts q os 1): Suan tiene na moneda de 1000 pesos en su bolsilo. Juan no tiene una moneda de $000 pesos en su bolsille Caso 3 (p es F: q es Ty: Juan no tiene una moneda de 1000 pesos en su bolsillo, oan tiene una moneda de $000 pesos en su boli. En los casos 2 y 3 no diriamos que Juan esté mintiendo, ast que se express que I proposicién compuesta también es verdadera, Caso 4 (p es F: q es Fi: Juan no tiene una moneda de 1000 pesos en su bolsillo, Juan no tiene una moneda de 5000 pesos en su bolsillo En este caso diriamos que Juan ha mentido y decimos que su afirmacién es falsa ‘Asi que definimos p V q seedin la tabla 2 Tabla 2 » 4 eva DEFINICION t t DE ; 7 t r DISYUNCION T F T F 1 T F F F ‘Una disyuncidn es falsa s6lo si ambas de sus proposiciones componentes son falsas. ‘La proposicién I ilustra uno de los usos del conectivo o que se llama 0 excluyente. Consideremos ahora si Juan dice la verdad al formular la asercion Estoy en Rusia 0 en Espaita, CObviamente no es posible que Juan se encuentre en ambos lugares al mismo tiempo. Si Juan esté en Rusia, entonces no puede estar en Espafia; sesté en Espafia, no puede testar en Rusia, Por lo tanto la intencién de la proposicién 11 es Estoy 0 en Rusia 0 en Espata. ‘yla proposicién es verdadera i una y slo una de las componentes separadases verda- deta, La tabla de verdad en este caso es la siguiente: aoaaals manale mada. Introduccién o lu Légica 7 En este libro utitizaremos la disyunci6n indicada con la 0 incluyente. Sila inte de ta proposicién requiere la 0 excluvente, se enunciard la proposicion empleando elconective o...0. Recuérdese: ao incluvente significa cualquiera de las dos o.ambas, Imientras que la 0 excluvente significa cualguiera de las dos pero no ambas. 1.5 Negaciéin La negativa de cualquier proposicion p se Hama negacidin y se simboliea mediante —p. La Tabla 3 proporciona ura definicién clara de la nepacin Tabla 3 DEFINICION DE LA NEGACION EJEMPLO 2 na Sir: Octavio esta diciendo la verdad, entonces ~ £ Octavio no esté diciendo Ia verdad, ‘También se puede traducit ~ ¢ como dad”, 0 bien, no ocurre que Octavio esd diciendo la ver 'no es cierto que Octavio esta diciendo la verdad” mera en que se forme la negacién de-una proposicion compuesta. La negacién de Tengo una moneda de 1000 pesos y una de S000 en mi boli se simboliza mediante (p 4 4) y se traduce como No es cierto que tengo una moneda de 1000 pesos y tna de 5000 en mi bosilo La negacién no se forma denegando cada una de las proposiciones simples. Al negar luna proposicién, no se debe alterar dicha proposicién, Por ejemplo, sean ‘6: Bl carro de Juan es azul. El carro de Juan es rojo, La proposicién c no es la negaci ambas sean verdaderas. La negé de ta propoiiénb,aunaue no pusda ser gue de bes " . ~ B: Bl carro de Juan no es azul y la negacion de ¢ es la proposicién ~ €: Blearro de Juan no es r¢jo. Se debe tener cuidado al negar groposiciones ue coninen las palabras fads, ninguno, o algunos. " palabras todos 8 Capitulo | Fi BJEMPLO 3 Solucién Tabla 4 NEGACION DE TODOS, ALGUNOS y NINGUNO EJEMPLO 4 Solucion undamentos Escribir la negacién de Todos los estudiantes tienen lapices. Veam si son respuestas correctas las propasiciones “*Ningin est haipi- 2s", obien "Todos los estudiantes carecen de lipices". Recuérdese que siuna prope sicidn es falsa, entonces sui negacion debe ser verdadera. La negacién correcta es No todos fas estudiantes tienen lipices. Por lo menos un estudiante no tiene lipiz. o bien Algunos estudiantes no tienen tépices _Enmateméticas la palabra algunas seempleaen el sentidode por io menos unos” La Tabla 4 proporciona alguna de las negaciones comune. Proposicion Negacién Todos ‘Algunos...n0 Algunos Ningiin ‘Algunos...n0 Todos Ningin Algunos Escribir la negacién de cada una de las proposiciones siguientes Todas las personas tienen compasién, b. Algunos animales son sucios. . Algunos estudiantes no llevan el curso de matematicas 1 4, Ningin estudiante es entusiasta ‘a. Algunas personas no tienen compasién. b. Ningun animal es sucio. «c. Todos los estudiantes levan el curso de maematicas 1 4. Algunos estudiantes son entusiasts. a Enel siguiente capitulo consideraremos la negacién de proposiciones compuestas. EJEMPLO 5 Solucién EJEMPLO 6 Introduccion a ta 1.6 Traduccién y combinacién de conectivos El trabajar con los argumentos l6gicos requiere la aptitud de traducirlos del lenguaje ordinario al simbélico y del simbolico de nuevo al fenguaje ordinario. Por ejemplo, |a proposicién Bertha y Claudia son atractivas, se puede traducir como sigue. Sean >: Bertha es atractiva Claudia es atractiva Entonces tenemos que 1b Ae Bertha es atractiva y Claudia es atractiva asi que b A ces la proposicin simbdtica ‘Traducir fa proposicién compuesta © Bertha es atractiva 6 Cte ala forma simblica Vemos que el conective o...0 se traduce como la o excluyente, La oracién se puede reeseribir como Bertha es atractiva 0 Claudia es etractiva, pero no ambas. La proposicién se traduce en la forna OVOAT~O AOL Obsérvese queen este ejemplo se emplzan los paréntesis exactamente como en dlgebra: para indicat lord ela operacionss. Por onsgiete (40 sgn laste cién de la proposicién b y ¢. * No solamente se requiere traducir del lenguaje ordinario a los simbolos légicos, sino que también de los simbotos légicos al lenguaje ordinario, ‘Supongamos que: P: Como espinacas. 4g: Estoy fuerte, 10 Capitulo 1 Solucién Pundementos Se desea traduci las siguientes proposiciones al lenguaje ordinatio: apag a -pyg. b~p =a e~ Ove) fphn@ ‘Traducciones ©. 27, Para todo nimero rel x V #1 = 28. Para algiin miimero real x, = 0. 29, Para algiin niimeto real x, (x + 3 = a + 6x + 9. faingiin miimero teal x tal que |x + 4 | 0. No existe ningiin uimero real CAPITULO 2 TABLAS DE VERDAD 2.1 Definicion y ejemplo Gran parte de lo que se ha dicho acerca de la lgica y las relaciones entre proposiciones, derazonamiento, se puede ilustrar por medio de fablas de verdad. Una tablade verdad es un esquema que muestra como los valores de verdad de proposiciones compuestas, dependen de los conectivos usacos y de los valores de verdad de las proposiciones ‘componentes simples. Las Tablas 1, 2y 3 del Cap. I son fundamentales para elaborat © construir tablas de verdad. Se las resume en las Tablas 5 y 6 roposicon Tabla 5 Conectivo Simboto Nombre Simbalica Ejemplo CONECTIVOS FUNDAMEN. wee MEN | y A conjuncién —p-Ag Los peces nadan y las aves vuelan. ° V— disyuneién pp Vq_Los poces nadan 0 las aves vuelan. no ~ _—_negacion ~ pos peces no nadan. Tabla 6 Pa Phe pve Pe TABLA DE ToT Tt Tr F F VERDAD TOF F T F T CORRESPON- FOoT F T T F TENTEALOS | op oF r t r ‘CONECTIVOS FUNDAMEN- TALES EJEMPLO 1 Construir la tabla de verdad de la proposicién compuesta Alfredo no vino anoche y no recogié su dinero, Solucion Sea p: Alfredo vino anoche. 4g: Alfredo recogi6 su dinero, 2B 14 Capitulo 2 Tablas de Verdad EJEMPLO 2 Solucion ntonces la proposicin se puede escribir (~ p)A(~ q). Para empezar, se enumeran todas las combinaciones posibles de valores de verdad de las proposiciones simples 4 Por aitimo, se anotan los valores de verdad de (~ p) A(~ q). Para realizar esto, se marca una columna ‘(~ p)A(~ 4)" en la parte superior, y luego se comparan Tay DBLA fas columnas ~ py ~ q seg la definici6n de conjuncién para encontrar los valores DOBLE de verdad de (~ p) A (~ q), como se indica mediante las fechas: n “ q (PAH @) SS rsEMPLO 3 TPR FT F FOTTF F FOR TT T it ' Solucion - Comparar estos valores con Ia definicién de conjuncidn'para obtener los valores de que consta la diltima columna. a Construir la tabla de verdad de ~ (~ p). Empezamos con p: 2 T F En seguida se anotan los valores de ~ p de acuerdo con la definicion de la negacién: ej-e TIF FIT Introduccion a ta Logica 18 Por iltimo, se anotan los valores de ~ (~ p), Las flechas muestran cémo se obtienen los elementos de esta columna, ezacién 7 =p foep zap a4 Examinese esta columna, Usese la definicion de negacién para todos los valores de verdad de dicha columna. Nétese que ~ (~ p)y p tienen los mismos valores de verdad. Si dos proposiciones. tienen los mismos valores de verdad, una puede reemplazar a la otra en cualquier ‘eapresién ldgica. Esto significa que la doble negacién de una proposicién es igual ala proposicién original. 1p) se puede reemplazar por p en cualquier expresién logic. ‘Construir una tabla de verdad para determinar cuiindo es verdadera la siguiente pro- posicién: ~@Orgalovandad Seempieza como antes y se hace un recorfido de izquierda a derecha, fijando a aten- cién solamente en dos columnas ala vez (véaseen la Tabla 5 cémo obtener los valores ccorrectos), ‘Paso 1. Primeramente ée tienen’en cuenta los paréntesis, Se examinan las columnas ‘Ay B que se indican a continuacién, junto con la definicién de conjuncién, para ‘anotar los valores de Ia columna C. Paso 2, Se ut de la columna D. la columna C y In definiciOn de negacién para anotar los valores Paso 3, Se utlizan las columnas A y B y la definicién de disyuncién para anotar {os valéres de la columna E. Paso 4, Se emplean las columnas F y B y la definicién de conjuncién para anotar los valores de la columna Paso 5, Se utilizan las columnas D y F, que son las partes izquierda y derecha de la operacin fina, yladefinicién de coniuncién para obtener los valores delacolumna G. 16 Capitulo 2 Tablas de Verdad a F © pia WV aAg ~ADAIEVOAG t{t T F tle FE F F\T T T F\F F F a 2.2 CONJUNTO DE PROBLEMAS 2 CObtener Ia tabla de verdad de las proposiciones dadas en los problemas 1-16 1 -Paca 2 ~ pra 3 = pv(-@) 4 pAGVD Sora 3) 6 sv(-s) 1 oan 9 & (Avs % BVaVOrD 1. (~ pAgv(~ a I. BAC OAD 1 Bala (- MVEA a BB. @AQMAr 1. DADA 9. 15. [PV A(~ D1 Ar 16. patav(- pvr | | | | t1, Sanp2e3=5. | 1 Lana cod tech de qu feo es pene eins | 1 eS Somantedconanina el edo amit CE Romunid sober | an oer fons de los Problenas al legiic onina} a ee es coniona cada una rrr vere ' ee a oe erddea i roposcin el rotems 7 Bre Fie Tener le propos dl Problema 6 | SF. verdaee i opti el rotlema 7? | Bee Ty 25 Fae verdad la rps el Probleme 12 | Se accra rant hyena ata de vet coe iseie wane propose? oan nea sates hyena tala de verdad cores ‘Coase ox pepesisone? Coane opera estates hay enuataba der cores aor aes proposes (exe Problema 137 one pe tan hy een abad verdaconespondi hav proposens? ane ree a obeias nls Problenas 23 24 Cabos oan er canaka de verdad corepondtte sm roposco BREBS z CAPITULO 3 LA CONDICIONAL 3.1 Si—Entonces La proposicién ‘sip, entonces q” se llama condicional Se simboliza por medio de p~ q;psellama hipdtesis 0 antecedeate, y q se denomina conclusién 0 consecueate. Lasituacién de la condicional es semejante ala que se encontré en el caso dela palabra (0. Estoes, ene lenguaje comin utilizamos el conectivo si—entonces en varias formas. Considérese el ejemplo siguiente queilustra los diferentes sentidos dela condicional 1, Se puede utilizar si—entonces para indicar una relacién Idgica, es decir, una cen Ia que el consecuente se deduce I6gicamente del antecedente: I= (~ pine mimo vl de verdad ae, ‘entonces p puede reemplazar a~(-p. 2, Se puede emplear si—entonces para indicar una relacién de causa: ‘Si Juan deja caer esa piedra, entonces me golpearé el pie. 3. Se puede usar si—entonces para comunicar una decisin de parte de la persona ‘que habla: ‘Si Juan me lanza esa piedra, entonces lo golpearé. 4.” Se puede utilizar si—entonces cuando el consecuente se deduce del antecedente por la propia definicidn de las palabras empleadas: ‘Si Juan conduce un Oldsmobile, entonces Juan guia un automévil. 5. Por ultimo, se puede emplear s—entonces para efectuar una implicacin mate- rial. A veces la condicional se usa cuando no hay una relacin légica; de causa ‘ode definicién, entre el antecedente y el consecuente. A menudo se utiliza en forma humoristica o enfética: ‘Si Juan obtuvo la méxima nota en ese examen, entonces yo soy tio de un ” 18 Capitulo 3 La Condicional El consecuente es obviamente falso la persona que habla desea poner énfasis fen que el antecedente también es flso. Nuestra tarea consiste en tratar de idear una definici6n de la condicional que se aplique en todos estos tipos de proposiciones de la forma si—entonces. Plantearemos elproblema preguntando en qué cicunstancias una condicional dada sera falsa. Con- sideremos otro ejemplo. ‘Supongamos que una persona le hace una promesa a otra. “Si gano el concurs0, centonces te daré 10 000 pesos.” Si curnple su promesa, decimos que la proposicion fs verdadera; si la incumple, decimos que es falsa. Sean : Gana el concurso. 4a: Te dard 10 060 pesos. La promesa se simboliza con p > q. Hay cuatro posibilidades: Caso}: T ‘Gana el concurso; dard 10 000 pesos. Caso2: ‘Gana concurs0; no dara 10 000 pesos. Caso 3: F No gana el concurso; daré 10 000 pesos. Caso4: F No gana el concurso; no dara 10 000 pesos. {iCuindo se habré quebrantado la promesa? La dinica ocasién en que se puede decir que ello ha ocurrido cs en el caso 2. La prueba de wna condicional consiste en determinar cuando es falsa. En simbolos, (p> es falsastempre que p A(~ @) sea verdadera. Esto proviene del caso 2. o bien po aes verdadera siempre que p A (q) sea fsa Esto equivale a decir que pqs verdadera siempre que ~ [9A (~ q)] es verdadera, Construyamos una tabla de verdad para ~ [p A(~ q)} 9 pM~@ ~ WAC A aman le mam |e saan maa sana Introduccién a la Logica 19 Usamos esta tabla de verdad para definir la condicional p ~* g, como se muestra en la Tabla 7 Tava DEFINICION DE LA CONDI- CIONAL EJEMPLO 1 ESEMPLO 2 EJEMPLO 3 EJEMPLO 4 maas mans sana Los ejemplos siguientes istran a efncin de a condicional dada en ta Tabla? caso 1 T= 7 Si7 < 14, entonces7 + 2.< M+ 2 Estas una proposicin verdadera, ya que ambas componentessontambién verdaderas a Caso 2: T + F . Si7 +S © 12, entonces 7 + 10 = 15. Esta es una proposicion falsa, puesto que el antecedente es verdadero pero el conse- cuente es falso 3 Caso 3: F + T Si ti tenes seis piernas, entonces George Washington fue presidente Verdadera, ya que el consecuente es verdadero (y si el consecuente es verdadero, la implicacién completa es verdadera, sea 0 no verdadero el antecedente). a ELEjemplo 3 muestra que la condicional, en matematicas, no im yguna rela- ida eausa-efecto. Dos proposiciones cualesquiera se pueden unir por medio del co- nectivo condicional, y el resultado cebe ser T 0 F. Caso 4: F + F Si 16 = 8, entonces 8 = 4. Esta es una proposicién verdadera, ya que ambas componentes son falsas. No es necesario enunciar primero la parte side una implicacién. Todas las proposi- ciones siguientes tienen el mismo significado: Si gana el concurso, entonces dard 10 000 pesos. 20 Capitulo 3. Le Condicional EJEMPLO 5 ‘Que gane el concurso implica que daré 10 000 pesos. Dard 10 000 pesos si gana el concurso. Gana el concurso s6lo si dard 10 000 pesos. Para que dé 10 000 pesos, es suficiente que gane el concurso Que gane el concursc hace necesario que dé 10 000 pesos. Daré 10 000 petos con la condicién de que gane el concurso. Dard 10 000 pesos cuando gane el concurso. até 10 000 pesos siempre que gane el concurso. sepa ee Podemos ahora formular estas nueve proposiciones equivalentes en forma simbélica 1. sip, entonces q R pra 3 gsi 4 psiosiq 5. pes suficiente para g & ges necesario para p 7. qcon la condicion de que p & qevando p 3. qrsiempre que p ‘Algunas proposiciones que no estén escritas originalmente como condicionales, se ‘pueden expresaren la forma si—entonces. Por ejemplo, “Todos los patos son aves" ‘se puede reexprear como “Si es un pato, entonces es un ave". Asi que agregamos ana forma adicional a la lista: 10, todos los p son a Traduccién: Todos los patos son aves. ‘Traducir la siguiente oraci6n, tomada de una forma fiscal, al lenguaje simbélico, ‘Sino especifica deducciones ena lista A y tiene donativos deducibles, entonces ‘complete a hojade trabajo dela pdgina 14 y declare lapartida autorizada en elrengin 3b. Paso 1. Se separan las proposiciones simples y se les asignan variables. Sean <: Especifica deducciones en a lista A. ¢: Tiene donativos deducibles. w: Completa la hoja de trabajo de la pégina 14 ‘b: Declara la partida autorizada en el renglén 34b. aso 2, Se reescribe la oracion, efectuando sustituciones con las variables Si ~ dc, entonces (w A 8) Paso 3. Se completa la traduccién al lenguaje simbolic. ~ dnc) (wd) a Iniroducci6n a la Légica 2 La proposicién si—entonces puede tener vatis significados, pero la -* tiene sola- mente uno, el que se dfinié en la Tabla 7. Lo que la proposiciOn p ~ p significa es ~[pA(~9)]. No obstante, en la practica empleamos p> p para representar proposi- ciones del lenguaje ordinario de la forma si—entonces 0 de implicaci6n. {Cémo se puede justificar Io anterior? Como hemos visto, parte de la dificultad de traducir del Ienguaje ordinario al simbdlico radica en eliminar la ambigiedad del lenguaje ‘ordinario. Sin embargo, se preserva la valider de todos los argumentos vilidos del tipo sientonces empleadosen est libro, incluso si se ignoran los significadosadiciona- les dela condicional. Posteriormente analizaremos este punto con mas detalle, cuando seconsideren los conceptos de valider y argumentos vélidos. Por ahora traduciremos todas las diversas formas si entonces de acuerdo con la proposicion p~ q definida cen la Tabla 7. 3.2 Reeiproca, inversa y contrarree/praca xisten otras proposiciones relacionadas con laimplicacion p — 9, las cuales se de nen a continuacién. VARIACIO Dada la condicional p ~ g, se definen: NES DE LA cConpIcIO. | 1. La reclproca: g ~ p NAL 2. La inversa: ~ p> ~ q 3. La conirarreciproca (0 contrapasicién): ~ EJEMPLO 6 Este animal es un ave. @: Este animal tiene alas. Dada p ~ g, escribir su reciproca, su inversa y su contrarreciproca. Solucién __ PROPOSICION: Si este animal es un ave, entonces tiene alas. RECIPROCA: Si este animal tiene alas, entonces es un ave. INVERSA: Si este animal no ¢ un ave, entonces no tiene alas. CONTRARRECIPROCA: Si este animal no tiene alas, entonces no es un ave. C] Noes necesario que la proposicién original sea de la forma p~ , y el antecedente © el consecuente pueden ser cualquier proposicién. Cuando se escribe la reciproca, la inversa, 0 la contrarreciproca, puede resultar una doble negacién. En este caso cesta illima se debe reemplazar por la proposicién original, utilizando la ley de la doble negacion, EJEMPLO 7 Dada p -> ~ w, escribir su reciproca, su inversa y su contrarretiproca, Solucién _- RECIPROCA: ~a-p INVERSA: ~pra CONTRARRECIPROCA: g = (~ p) a 22 Captulo 3 La Condiional ESEMPLO # Dada ~ p~ ~4, escribir 9 reciproca, su inversay su eontrartetproca Solucién RECIPROCA: ~q7l-p) INVERSA: psa ‘CONTRARRECIPROCA: 9 + p ‘No todasestasproposicionessonequivalentesen significado, como se puede ver consi derando et Ejempio 9. EJEMPLO 9 Escrbirlareciproca, In inversa ya contarrectproca dea proposcién:Sies un Olds- mobile, entonces «un atom Sotucin Sean p: Es un Oldsmobile. @ Es un avtomvil Entoncs la proposicion dada se excrbe p> 4 RECIPROCA: a— py: Siesunautomévi, entoncesesun O1ds- motile INVERSA: ~ p-> (~ q) Sino csun Oldsmobile, entonces noes un avtomévi CONTRARRECIPROCA: ~ 9 (~ p):Si no «sun aulomévil entonces no tn Oldsmobile. Estes una proposicién verdadera, siempre que la proposcién briginal sea verdadera. o 1 Ejemplo9ilsra que a reciproca de una proposicion verdadera noes necesaria- tnente verdadera. Puede serio, pero no es necesario que lose. Obstrveseenla Tabla 8 que i eontrarreciproca y I proposcin directa siemore tienen el mismo valor de sctdad al como suede on la reiproca yl inversa. Por consiguiente una implica {én puede sr sempre reemplazada por sv contrarrecprocs, sn afetar su veracidad 0 falsdad * Propecia Reiprocs_Invena Contraco Tee [ee nee te eer ree eR VERDAD DE FFT T T T rameter. | Top FT FO TT F CALAINVER) py TOF T F FE T SAYLACON- r F F r qrarreci- | F F TT procape| (____ J UNA PROPOSICION DADA LEY DE LA, CONTRARRE. cIPROCA EJEMPLO 10 Iniroduccion @ la Logica 28 ‘Una proposicién puede ser reemplazada por su contrarr.iproca sin que se afecte su valor de verdad. Sean p Juan obedece la ley 4g: Juan va a la cércel. PROPOSICION i Juan obedece le ley, entonces no va a la cércel La proposici6n p > (~q) puede ser reemplazada por su contrarreciproca, q-> (~p), ‘en cualquier expresion I6gica. CONTRARRECIPROCA: Si Juan va a la cdrcel, entonces no obedece la ley La proposici6n no puede ser reemplazada por la reciproca 0 la inversa RECIPROCA: Si Juan no va a la edrcel, entonces obedece la ley. INVERSA: Si Juan no obedece la ley, entonces va a la céscel. 3.3 CONJUNTO DE PROBLEMAS 3 Traduzca las oraciones de los problemas 1-14 a la forma si—entonces (en lenguaje comin) y luego a la forma simbélice. Asegtirese de indicar las lterales que utlice para cada proposicin simple. 1, Tendrés éxito solamente si aprecas a opinién de los dems 2. ne ei sdbado si me pagan 3. Todo le sucede a todo mundo tarde o temprano si hay tiempo suficiente. (G. B. Shaw) 4. Todo trabajos noble. (Thomas Caryle) 5. 1 FQ) —L| < e siempre que |x—e| <6: 6 La presencia del oxigeno es nezesaria para la combustin. 7. La combustion es uina condicion suiciente para ta presencia del oxigeno. 8. Juanes razonable slo si sabe todos Tos hechos. 9. No somos débiles si hacemos uso apropiado de los medios que el Dios de Ia [Naturaleza ha puesto bajo nuestro dominio. (Patrick Henry) 10. x <5 siempre que x sea no negativo - AL,» = 4es una condicion nesestra para que y = 2 42. Para que un poligono sea cuadrado, es necesario que sea rectingulo. 13, Todos los tringulos son poligonos. 14. Todos los mimeros primos mayores qu 2 son primos impares. ‘Examinando la veracidad de la proposiciones simples, determine si cada una de las proposicionescompuesas de ls problemas 15-19 es verdadera 15. SiT+9 6, entonces 16 — 9 Capitulo 3. La Condicional 16, Si (-2X—3)= — 6 entonces (2)@) = — 6. 11. Tu eres millonario s6lo si el rat6n Mickey tiene menos de 65 afos. 1815 +3 = 18, si 72 —(— 10) = #2. 19. 3 xS= 15,8158 (8) = 50. En los Problemas 20-24, sean ip: Te gustan las mateméticas. q: Te gusta este libro. Traduzca cada una de las siguientes proposiciones al lenguaje comin. m. pra a. ~pva ~art-P Escriba la tabla de verdad de cada proposicién de los Problemas 25-37. 25. p> pr) %. OVOVPAC- ol 2. WADA (~ O 2B. WAP 2B. @rD~ 4 a) 30. ~ p> I~ WA! 3. @r a= I~ ar 32. @A)~ OVO 3B. @-9-~lova-a M. (O77 O79 38. o> a—AN- a> A 36. v(~ PADI OVO) 37. BVO BV (- PAD 7. 49. st. Escriba le reciproca, la inversa y la contrarrectproca de cada proposicién de las Pro- blemas 38-46. Si quebrantas Ia ley,,entonces vas a la céred. Sip, emtonces 4... ~p~(~ 9) isol brilla sélo si estés feliz. ‘Situ automévil no tiene aire acondicionado, no tendrés amigos. Ieee sdbado, si me pagan. . ‘Silos deseos Tueran caballos, entonces fos mendigos cabalgarén. La siguiente proposicin fue hallade en el cuestionario de residencia del sistema a Universidad Estatal de Californie: “Liene y presente este cuestionario 34ade la parte A fuedistintaa ‘California’ o su respuesta al articulo 37 fue ‘no’ Los Problemas 47-51 se refieren a esta provosicién. Site cepillas los dientes con el detrifico Sontisas, tendrés entonces menos caries. Fas nietos no sobrevivirdn si ao detenemos la contaminacién del ambiente. de de residencia silo si su respuesta al articulo Introduccion a ta Logica 28 riba la proposcén en forma simi. Btn corns formaaas scone dl uesionait xpresermoscon otras palabras proposiion mil enl forma Sioa eps taalarclo 3a delaparteAfvedsintaa ‘California’ osuapueste a oiclo 37 "no enons lene 9 preset ee custonaro de rsdn Traduza cea eee oma sin, ‘ontnuaion del Prblena 4. Las dos si i os iuientes preguntas determina si cuestionario de residencia debe Ilenarse. mee “ ‘ Respuestes Pregunta 34a: gNacié usted en eee California si Si Preguna 37 Ne Hay solamente cua fespustas to tespusas posible a as dos preguntas enn. Em etd opm sim et rooms are rable tone pars ep deena Soa a no" yen verdaderasilreopecsiaalapreguta "sya ses "no" Continutcin dor Prolene 0, Exped muevo (en eng coms) la proposicién del cuestionario de residencia, de manera que rest i decidir si se Mena 0 no la forma. s teméssenclo CAPITULO 4 — ‘Tabla 9 ~ DEFINICION DE, pg p79 LA tT T BICONDICIONAL TO OF F FOOT oF FOF UT OPERADORES ADICIONALES 4.1 La Bicondicional En el Cap. 3 se tuvo especial cuidado en sefialar que una proposicién p ~ @ y su reciproca q-~ p no tienen los mismos valores de verdad. Sin embargo, puede suceder ‘que p~ gy también q ~ p. En este caso se escribe pra yy al conectivo se le llama bicondicional. Para determinar los valores de verdad de la proposicin bicondicional, se debe construiria tabla de verdad de (p> a) N(@~ P). pa |pra a-p wm onan tT oTt| Tt T T TF F T FE rFot| Tt F F PFoF| T T T Esto lleva adefinirla bicondicional de manera que sea veraadera s6lo cuando ambas py qsean verdaderas, o cuando ambas p y q sean falsas (est es, siempre que teigan ‘Valores de verdad iguales). Lo anterior se ilustra en la Tabla 9. En mateméticas, p => qs traduce de varias maneras, todas las cuales tienen el mismo significado: n 28 Capitulo 4 Operadores Adicionales Introduccién a la Logica 29 Frapucciones | 1, psi ystlosig DELA 2.q si ystlo sip BICONDICIONAL | 3, Si p, entonces 4, y reciprocamente 4 Si q. extonces p, y recfprocamente 5. p es una condicién necesaria y suficiente para q 6. p es una condiciin necesaria y suficente para p EJEMPLO 1 Reexpresar lo siguiente en una sola proposicién: Solucién 1. Sium poligmso tiene tes lados, entonces es un tridngulo. 2. Si un poligoso es un triéngulo, entonces tiene tres lados, Un poligono es un triéngulo sf y s6lo si tiene tres lados. 3 Existe otra forma de denotar la bicondicional. Si dos proposiciones tienen iguales valores de verdad, decims que son equivalentes. Notese que p «qs verdadera siem- pre que ambas p'yq tengan valores de verdad iguales. De manera que agregamos 2 la lista otra forma de escribir la bicondicional: EQUINALENCIA Sip yqtiene valoresde verdad iguales, sedice quep es equivalentenq y se escribep 4. EJEMPLO 2 Solucién Demostrar que p> q es equivalente a ~ pv. Para establecer laequivalencia, sedebe demostrar que (p> q)=>(~ pV q)essiempre vverdadera, ‘ va 797 PvO amas mamas sand sans sans sans Puesto que el resltadlo meestra que todos los valores obtenidas son T (verdaderos), se expresa que ls dos proposiciones son equivalentes. o 4.2 Operadores diversos COcasionalmentese hallan otros conectivos que también requieren definiciones preci- sas. Selesdefineen términas de los conectivos anteriores, como sindicaenla Tabla 10. ‘Tabla 10 Conceive Definilon Comentarios Crresoe lopeq Va) [= @ Aa) Esta es lao excluyente consi- , amp | emcee Los pa | wan operaporss [T T | F F T Tr F apicionales [TF | oT F T T T rt] Tt F T F T FF] F T F Tr T 43 CONJUNTO DE PROBLEMAS 4 En los Problemas 1-6 escriba cada per de proposiciones dadas como una proposicién, ‘empleando el conectivo apropiado. EJEMPLO 3 i, __SieLsefior Casimiro Plata estaen condiciones de comprar un coche nuevo, ct- tonces puede costedrselo. Siel stor Casimiro Plata puede costearse un coche nuevo, entonees puede com- prarlo, Solucién El seflor Plata puede comprar un coche nuevo si y s6lo si puede costedrselo. C1 0 Capitulo 4 Operadores Adicionales ‘Si ABC es un trigngulo rectingulo, entonces a + 6% = ¢ Sie + bY = C, entonces A ABC es un tridngulo rectingulo. Siel fiscal puede probar la culpabilidad de Octavio, entonces et juez lo sentencia, Sci juez sentencia a Octavio, entonces el fiscal puede probar su culpabilidad. Six x y = 0, entonces x= 00y = 0, Six = 00, = 0, entonces x x y = 0. ‘SiPees un nimero primo, entonces es un mimero natural que tiene exacta- mente dos divisores. i, S Pes un nimero natural que tiene exactamente dos divisores, entonces 6 ‘eun niimero primo. ‘SiEstados Unidos desarrolla armas estratégicasimportantes, entonces Ru- 2 hard lo mismo. ‘Rusia desarrolla armas estratégicas importantes, entonces Estados Uni- os hharé Jo mismo. ‘Sun tridngulo es equilétero, entonces es equidngulo. i. Siun tridngulo es equidngulo, entonces es equilétero, Escriba cade una de las oraciones de los Problemas 7-11 en forma simbdlica, donde pp: Este problema se puede resolver; y q: A Rogelio le agrada este problema 7. A Rogelio le agrada este problema, a menos que no se pueda resolver. 8. A Ropelio no le agrada este problema, porque no se puede resolver. 9. No escierto que este problema se puede resolver y @ Rogelio le agrade este ‘problema. — 10, Este problema no se puede resolver y-a Rogelio le agrada este problema. 11... Siese problema se puede resolver, entonces a Rogelio le agrada este problema Y esteproblema se puede resolver; porlotanto a Rogelio leagrada este problema. ‘Traduzea las proposiciones simbélicas de los Problemas 12-16 al lenguaje comin. ‘Sean p y q definidas como en tos problemas 7-11. . 2 « 6. na 2. pra B. a7? =a eo” AS DV MATH (PAD ter aac a> (-P) Ueando tablas de verdad, demuestre que (pq) es equivalente a (~P V 4). Usando tabla de verdad, demusstrequ p~ (~ p)Jesequivalentea/~ p¥(~ @)- Determine el valor de verdad de cada proposicién de los Problemas 19-21. B. 20. a. 2 B. 6 x9 = 15 sly sélo si el hombre caminé sobre la Luna. 7x5 = 35 sf sélo siel agua corre cuesta arriba. ~ p=* (pV q) cuando p es T (verdadera) y q ¢s F (falsa). ‘Verfique los resultados dela Tabla II para conectivo a menas que empleando a éefinicién dada en la Tabla 10. ‘Vetifique los resultados de la Tabla 11 para el conectivo mi...ni empleando ta defnicién dada en la Tabla 10. 24, 2. 26. Introduccien a ta Légica Verifique los resultados de la Tabla 11 para el conectivo o...0 empleando la definicidn dada en la Tabla 10, Unoperador un poco menos conocido llamado raya de Sheffer se expresa “plq”” y se define por ~ pV (~ q). Construya una tabla de verdad para pla Todos los demas conectivos se pueden definir en términos del operador raya de Sheffer (véase el Problema 28). Escriba y, 0 y no en términos del operador raya de Sheffer. Traduzca las proposiciones de los Problemas 23-37 a la forma simbslica. a. 3. x = 10 siy sélo si 2x = 20. 3x —2 = Hes equivalente ax = 3. [Ni famar ni beber es bueno para la salud. [No compraré una casa nueva a menos que todas las condiciones de venta estén claramente entendidas. [Ningin hombre es isla. asco nes iene para gs ma func sx diferente [No puedo ir contigo, porque tengo un compromiso previ. © invierto mi dinero en acciones 0 lo pongo en una cuenta de ahorros. Sim tridngulo tiene dos ladosiguales, entonces es isdscelesy reciprocamente, "Nadie que haya reido alguna ver sincera y totalmente puede ser incorregiblemen- te malo. (Thomas Carlyle) Desde un punto de vista moral, una revolucién se justifica si por la mera fuerza dde la superioridad numérica una mayoria privara a una minoria de cualquier derecho consttucional clarameate establecido. (Abraham Lincoln) Indique cudles de las siguientes rroposiciones son equivalentes ala proposicién ‘Si Heriberto gana el concuso, entonces hizo trampa. (Guponga que “Heribertoes honrado" equivalea “Heribertonoes tramposo”.) ‘8. Heriberto gana el concurso y es tramposo. b. Heriberto, una persona honrada, no gané el concurso. ‘e. Si Heriberto es honrado entonces no gand el concurs. 4. Noes cierto que: Heribero gana 0 es tramposo. €. _ Si Heriberto es tramposo, entonces gana el concurso. Indique cudles de las siguientes proposiciones son equivalent ala proposicién Si Irma es culpable, entonces estuvo en el escenario del crimen. (Suponga que “Irma no es culpable" equivale “Irma es inocente" Si Irma estuvo en el escenario del erimen, entonces es inocente. Irma es inocente © estuvo en el escenario del erimen. Si Irma no estuvo en el exsenario del crimen, entonces es inocente, ‘Si Irma estuvo en el escenario del erimen, entonces es culpable Irma es culpable y no estuvo en el escenario del crimen, Si Irma es inocente, entoaces no estuvo en el escenario del crime. b. a © CAPITULO 5 TAUTOLOGIA EJEMPLO 1 Solucién TAUTOLOGIAS 5.1 Definiiéa Muchas proposiciones en logic si roposicién compuesta bilica son siempre verdaderas. Por ejemplo, la pv(~p) ¢s siempre verdadera, sin importar el valor de verdad de p. Las proposiciones que son siempre verdaderas se llaman tautologias. ‘Una tautologia es una proposicién que es verdadera en todos los casos de su tabla, de verdad. Para probar que una proposicién dada es una tautologia se construye su tabla de verdad y se verifica que la tiltima columna (que representa a la proposicién dada) consta solamente de valores T o verdaderos. Si aparece aunque sea un valor F, no setrata de una tautologia. Si todos los valores dela dltima columna son F, la proposi- cid dada se lama coutradiceiéa. Demostrar que (p A 4) V [p ~* (~ qi] es una tautologia ‘Se construye la tabla de verdad. mass mamale ana 34 Capitulo § Tautoloxias EJEMPLO 2 Solucién ESEMPLO 3 Salucién te eda manera, la propesicin es una tautlogia, ya que es verdadera en fod los casos de su tabla de verdad, o Es (pv q) + (= @ = py es una tautologia? ‘Se construye la tabla de verdad, o Asi que si es una tautologia. 5.2 Implicacion ‘Siuna condiciona es tautologia, como en el Ejemplo2, entonces se lama impliacién J se simboliza por =. Esto ¢, el Ejemplo 2 se puede escribir eva 2 -aeP El simboto de implicacién p = q se pronuncia “p implica q”” Sua proposicign bicondicioal, p> qaueestambin autologia sama eqivalen- cia Wogien, a exribe p © qy Slee “p es losicamente equivalente 8 d"- Demostrar que (pq) @ [~ PAC I ‘Se construye la tabla de verdad. » pg 4 pA = TAC a © mt PAC TT T F F T T TRF tT T F T rFoToTt F F&F T T FoR T T. F T T Pocsto que todas ls posbilidaes son verdaderas,esuna equivalenciaigiay se eserb rae (- PAC OI o ovesetaifersncinentelossimbolos y >, lomismo que entre ye Lacondicio were a bicondicional (=) se usan como conetivos légics,y el valor de verdad Tar extoseasos puede ser verdadero ofalso Si, como consecuencia de las proposcio Introduccion a ta Logica 39 nes que'se conectan, las tablas de verdad proporcionan solamente valores verdaderos, tentonces semplean los simbolos = y een ver de~ y=, y sels lama implicacion (2) 0 equivalencia Kogica (e), respectivamente. 5.3 Leyes de ta glen Las tautologias son muy importantes en logica y matematicas. En lo que resta de esta seccién consideracemos ocho tautologias,oleyes de la Logica; elector debe fami Tiarizarse con ellas de manera que pueda referrse a cada una por su nombre. Estas leyes formardn la base sobrela cual sepueden fundar cieros métodos de demostracién {que son importantes en 6gica y matematicas. Primeramente enumeraremos las ocho tautologtas, y luego se considerara y probard cada una de elas. ‘TAUTOLOGIA, FORMA SIMBOLICA ‘Tautologia trivial Lpep Ley de la doble negacién 2. pert~ p) Ley del medio excluido pV ~ap Razonamiento directo Razonamiento indirecto Ley de transitvidad . Ley de la contrarreciproca 3. Silogismo disyuntivo te- arse S.@7q)A~a>-P (o> a)a@>rnserr) >a) 8 (~ a> ~—) [ova ~ p> 5.4 La tautologia trivial, p & p La tautologia trivial establece que cualquier proposicién es equivalente a si misma. [La demostracién se da por medio de una tabla de verdad: 2 pnp T T F T Puesto quela iltimacolumna contien: solamente valores el resultado queda probado. 5.5 Ley de la doble negacién, p & ~ (~ p) En el Cap. 2 se demostré que ~ (~ p) podia ser reemplazada por p sin afectar los valores de verdad de las proposicions involucradas,Probaremos ahora la tautlo repitiendo Ia tabla de verdad de py ~ (~ p) dada en el Cap. 2. D 36 Capitulo § Tautologtas LEY DE LA oo wORLE pm tne NEGACION EJEMPLO 4 Sea p: Ello es concebible. Ello es concebible, “+ Ello no es inconcebible. a 5.6 Ley del medio excisido, p v(~ P) Esta tautologia dice que cualquier proposicién eso verdadera o falsa. La demostra- cién se da por medio de la tabla de verdad siguiente: p_-p pve T OF T FOOT T EJEMPLO 5 Sea p: Alberto es culpable ‘Alberto es culpable, 0 Alberto no es culpable. EL MEDIO pa-p EXCLUIDO 5.7 Razonamicnto directo, ip +) A pl => 4 [Este razonamiento se conoce también con el nombre de modus ponens, con el de leydeseparacidn, orazonamientode suposicién del antecedente, Dadoque estatauto- Topia es un poco més complicada, comenzaremos por considera el ejemplo siguint ‘Si Alvaro obtien la méxima calificacién en el examen final, entonces pasaré el curso p____, Alvaro obtiene In maxima calificacién en el examen fina. S AA Por lo tanto Alvaro pasa el curso. pra _Recuérdése dea geomitr‘a que es un antiguo simbolo que se emmplea para represen {aria frase por lo tanto. El argumento anterior consta de dos premisas, 0 hipétesis, yuna conclualén. Fl argumento es vélido si Wer a)ari~a ‘esuna tautologia. Pormedio dela Tabla 12, se puede ver queel argumento resulta vido, Tao 2 > @ [pre rer io 4) ho= DEMOSTRACION un roe DELA LEY DE 7 OT T T razovamento | ot oF | F r t DIRECTO rT T F T FOF r F T Elmodelo delrazonamiento directo es muyimportaney se debe memorizar.Seilustra como sigue azo yeest© [roma mee 99 IRECTO remisa menor: Conca Pe EJEMPLO 6 Si Victor juega ajedrez, entonces ¢s inteligente. Visor fc Por lo tanto, Victor es inteligente. Si ath es una person iia, emences entender ext ejemplo. Judith es una persona légica. ca Por lo tanto, Judith entnde ete cemplo, Decimos que estos argunientos son validos, puesto que se identifican como ejemplos. de razonamiento directo. a ‘5.8 Razonamiento indirecto, (p>) A(~ gl => ( ~ p) Este razonamiento también se lama siodus follens o razonamiento de negocin del ‘consecuente. El ejemplo que sigue ilustra lo que llamamos razonamiento indirecto. Si Alvaro obtiene la méxima califiacién en el examen final, entonces pasa el curso. = g__ Alvaro no pasa el curso. ~ Pp Porllo tanto, Alvaro no obtiene la mixima calificacién en el examen final. Se puede razonar como sigue: ~ p debe ser verdadera, ya que si fuera falsa, entonces seria verdadera; pero si pes verdadera, entonces ges verdadera; esto es imposible debido a a premisa menor. La forma simbélica del argumento debe ser memorizada, 38 Capitulo § Tautolontas RAZONAMIENTO INDIRECTO Premisa mayor: Premisa menor: Se puede probar Ia tactologiaconsiderando fa tabla de verdad (véase le Table 13). ‘Tabla 13 p_4|ere) wraih~4q_ ~P_ Wwrgin-~ad~~? pemostracion [>>] qr + 7 t DELALEYDE =| 7 7] pot r F RAZONAMIENTO |, | TF F T T INDIRECTO eoFL Tt oT T t BJEMPLO7 Sid gato atrapa alrat6n, entonces el ratén toma el queso, El ratén no toma el queso. Por lo tanto, el gato no atrapa al ratén. ‘Si Alvaro obtiene lamaxima calificacin en ese examen, entonces yo soy Napole6n. Yo no soy Napoleéa.. - = Por lo tanto, Alvaro no obtiene Ia maxima calficacién en ese examen. f 59 Ley de transitvidad, [ip + q) AGG 2 7) sta tautologia nospermite considerarcadenas de razonamiento més largas¥ comp cadas. La demostracion se deja al lector. LEY DE ‘TRANSITIVIDAD EJEMPLO 8 Sean p: Linda asste a clases. (@: Linda paard cl curso, 1: Linda se graduard. \da asiste adlases, entonces pasard el curso. inda pasa el curso, entonces se graduar4. ‘Por To tanto, si Linda asiste a clases, entonces se graduard. Iniroduccién a la Légica 39 La transitividad se puede extender de manera que queden conectadas en cadena varias proposiciones de la forma si—entonces. Por ejemplo, podriamos continuar: Si Linda se gradda, entonces obtendrd un buen empleo. ‘Si Linda obtiene un buen empleo, entonces se relacionard con personas importantes. ‘Si Linda se relaciona con personas importantes, entonces legar4 a ser muy co Por lo tanto, si Linda asiste a clases, entonces legard a ser muy conacida, Recuerdese el famoso grto del rey en la escena culminante del drama Ricardo IH: “Por falta de un clavo se perdié un reino". Aqui se empleé este tipo de razonamiento para concluir: “Si pierdo un clavo, entonces perderé un reino." 5.10 Ley de ta contrarreciproca, (p= q) « (~ @* ~ p) En la Seec. 3.2 se demostré que una proposici6n podia ser reemplazada siempre por su contrarreciproca sin afectar su veracidad o falsedad. (Los valores de verdad se ‘muestran en la Tabla 8, de Ia pégiza 19). En la siguiente proposicion simbdlica, podemos reemplazar cualquier elemento de ‘una columna con el correspondiente elemento de la otra columna, y no afectar la veracidad o falsedad del argumento, LEY DE LA Columna 1 Columna 2 CONTRARRE- CEPROCA (0 atl yo? CONTRAPO- La wor rey Sa SICION) wey aa ‘5.11 Silogismo disyuntivo, fp y g)A(~ p)} > ¢ ‘Supéngase que se sabe que pv qes verdadera. Supdngase ademas, que posteriormente se avergua que pes faa (esto es ~ p es verdadera). ,Qué se puede decir acerca de ? Esta pregunta se responde por medio delo que se lama silogismo disyuntivo. SILOGISMO DISYUNTIVO Esto se puede probar empleando una tabla de verdad (véase fa Tabla 14). 40 Capitulo $ Tautologias ne von m= ‘Tabla 14 Van) WV AP DEMOSTRACION DEL SILOGISMO DISYUNTIVO i vet san Eran premio se encura des dep FIEMPLO 9 Sean O° an premio se enetraa seas dela puerta 2 Bi gran premio se encuentra detss de la puerta 1 0 de la puerta 2. El gran premio no esté dtrds dela puerta J. Por lo tanto el gran premio estédetras de Ia puerta 2. £12 CONJUNTO DE PROBLEMAS 5 ______ St consunTo DE PROBUMAS § ita a aso rviky expla con sis pois palais lea ney 0 la dblemgacony exlqsacon as propia alt 3, Escriba la ley del medio exduido y expliquela con sus Propia ‘alse Erie a tronaminto eto exp on 5 pris Eocrib laronaniento recto yexpiguelo con sus palabras Escriba la ley de transitividad y expliquela con sus ropias palabras. {lc ly de cotrnaion yep com pois pas Ee A sioguno dlsyanivo 9 expel con ss propis palabras. ‘Cada uno de tos casos de los Problemas 9-33 ilustra una de as tautologias considera: ‘das en exte capitulo. Mencione la tautologia que se aplica, 99, _ SiOctaviovaalaiglesia otmplo,entonces canta himaos. Por lotanto,siOeta- "Yio no canta himnos, entences no va a la iglesi 10, Una rosa es una rosa, wr cuore ae Ow oe eco tio N, eaten Nes pat Se ne ave N tanto? nowade a . cee eee anges tems” por To ant“ Code mundo le nr St icaoSa je matematicas. Santia~ 14 Shot nego hasdsordnetans nap mots Se an por Totem wo tac eres. bat tonces ¢s posible. Me 8 gi men ans tala Nae cra ato de algunas jin sce ssa sociedad, entoneestiene la obligacién de tratar de corregir dichas injusti- seers tanto af Rates inteigente,entonces ine la obligacién de ratar Sri npstas sees Iniroduccién a la Lézica 41 18, Si Javier estudia duro, entonces obtiene la maxima calificacin, Javier estudia duro. Por lo tanto Javier obtiene la maxima calificacién, 19. Un buen negocio es un buen regocio. Voy a ingresar al club de mateméticas o ir a trabajar. No ingreso al club de ‘mateméticas. Por lo tanto iré a trabajar. 21, Si Juan tiene una demostracin de la conjetura de Goldbach, entonces yo soy {fo de un mono. Yo no soy tio de un mono. Por lo tanto Juan no tiene una demostracion de la conjetura de Goldbach. 22, Roberto corta el césped el viernes o el sibado. Roberto no corta el césped el viernes. Por lo tanto Roberto corta el césped el sibado, Si el coche se descompuso, entonces no fuimos de vacaciones, Por lo tanto, si fuimos de vacaciones, entonces el cache no se descompuso. 24, Siates par, entonces a debe serpar. Se tine que a es impar. (Considérese que “aes impar” = “a no es pat"). Por lo tanto a? es impar. 2S. El tesoro se encuentra en la esquina norte o en el sector oriental. El tesoro no Sseencuentra enel sector oriental. Por lo tantoeltesoro se encuentra en laesquina norte. 26. Si ello no es inverosimil, entonces es verostmil, 27. Sies un sabro, entonces es un fripo. Si es un fripo, entonces es fe0. Por lo tanto, si es un sabro, entonces es fe0. 28, Si es un sabro, entonces es un fipo. Por lo tanto si no es un fripo, entonces no es un sabro. 29. Sirecibo una herencia de un milln de pesos, le compraré una galleta a Carlitos. Recibo una herencia de un millda de pesos. Por lo tanto lecompraré una galleta 4 Carlitos. 30. Sila zorra veloz salta sobre el perro lento, entonces se tropieza, Por lo tanto, si la zorra veloz no se tropieza. entonces no salta sobre el perro lento, 31. El hombre es justo o injust. 32. Suficiente es suficiente, 33, Estén detenidos Juan o Gregoric. Gregorio no esté detenido. Por lo tanto Juan, std detenido. Consiruya una tabla de verdad para los Problemas 34-42. Estas son leyes de Wégica ‘muy conocidas. 34. Ley de transtividad, 35. Ley de De Morgan: ~ (pA) [~ pv(~ @)] Ley de De Morgan: ~ (p v q)# [~ pA(~ a)] Ley de contradiccién: ~ ip A (~ p)} Ley de implicacién y disyuncida: (p> g )¢(~ p vq) Propiedad idempotente: (p 4p) ¢ P Propiedad idempotente: (p V pi € p Ley de reduccién: [p v (pA @)l & P Ley de reduccién: |p A (p V gh] @ p CAPITULO 6 EJEMPLO 1 Solucién FALACIAS LOGICAS 6.1 Valder La ligica simbélica se ocupa de analizar argumentos vélidos; no nos puede decir {a informacién contenida en una hipétesis es verdadera 0 falsa. Los términos vélido ¥ no vélido se refieren a la forma del argumento, no a la veracidad o falsedad de las proposiciones. Un argumento valido afirma que la conclusién se deduce de la hipotesis de acuerdo con una o més tautologias. En el capitulo anterior estudiamos algunas de las tautologias mAs comunes. ‘Podemos tener la seguridad de que, si aquelo con lo que se empieza es verdadero (0 se supone verdadero), entonces, —sabiendo cémo aplicar las tautologias—, se ob- tendrén conclusiones correctas. Esto es, es imposible partir de premisas verdaderas ‘y obtener una conclusi6nfalsa utilizando las reglas apropiadas de la I6gica. El punto importante a recordar es que la veracidad o falsedad de las premisas y la conclusion. no determinan la valider del argumento. ‘A veces se presentan argumentos no vélidos. En lo que resta de este capitulo, consi- eraremos algunos argumentos no vilidos comunes, 0 sea falacias ldgicas. 6.2 Falacia de afirmaciéa del consecuente. ‘Analizar la validez del argumento siguiente: Si una persona lee el periddico Times, entonces esté bien informada. Esta persona esté bien informada. Por Jo tanto esta persona lee el Times. Este argumento tiene la forma siguiente: pra @ =p 44 Capitulo 6 Falacias Lézicas EJEMPLO 2 Solucién Considerando a tabla de verdad asociada, se puede analizar la validez del argumento: p49 pte wraing Wer ain T T F T 1 F F T “Vemos que el resultado no siempre es verdadero; asi que el argumento no es valido (@ bien, no es valido). 0 Sip qse reemplazara por q~ el argumento del ejemplo anterior seria vélido. Esto.es, d argumento seria valido si la proposicién directa y la reciproca tuvieran {uals valores de verdad, lo cual no sucede en general. Por sta razén el argumento ‘ge llama a veces falacin de Ia reeiproca. ‘A menudo se puede demostrar que un argumento dado es no valido hallando un contracjemplo. En el ejemplo anterior se obtuvo encontré un contraejemplo exami sando la tabla de verdad. El valor presente eneltercer rengl6n es falso asi que puede Gemostrarse que el argumento es falso en el caso en el que p sea falsa y q verdadera. En términos de este ejemplo, podria ser que una persona nunca leyera el peri6dico Times (p fasa) y odavia estar bien informada leyendo el periddico Tribune (q ver- dadera. ‘Analzar la validez del argumento siguiente, ‘Si una persona ¢s drogadicta, entonces fuma marihuana. Esta persona fuma marihuana. Por lo tanto esta persona es drogadicta. Puesio que ésteargumento es de la misma forma que el primer ejemplo, vemos ave ‘corresponde a un caso de razonamiento no vélid. o 6.3 Falacia de egaci6n del antecedente Consideremos el argumento siguiente: ‘Si una persona lee ¢l periédico Times, entonces estd bien informada. Esta persona no lee el Times: Por Jo tanto esta persona no esté bien informads. ‘Como hemos visto, una persona que les el Tribune podria estar bien informada tam- bith, Esta linea de razonamiento se lama falacia de negacion del antecedente (a veces ‘enominada también falacia de la Inversa). La tabla de verdad de Io aA PN ad muestra que la falaca de negaciOn del antecedente no es valida, (La tabla de verdad se deja como ejercicio). a EIEMPLO 3 Solucidn Introduccion a la Logica 48 A iar la validex del argumento siguiente. Si una persona va a la universidad, Hegard a ganar m Tino vara is unveidad ns na ¢ Fama mucho dio Por lo tanto, td no egards a ganar mvcho dinero. Este argumento tiene la forma siguiente: pra 2 ~4 ‘Vemos que tal razonamiento corresponde ala falacia de negacién del antecedente.) 6.4 Esquema de cadena falso En ciertas regiones, se tiene la ereencia de 5 la creencia de que las tormentas ocasionan que la leche ‘se agrie o corte. Tal creencia es un ejemplo de la falacia que llamaremos esquema de cadena falso. Se puede ilustrar como sigue: EI clima eélido y himedo favorece las tormentas. El clima célido y hiimedo favorece el crecimiento de bacter i El lima cl y him de bacterias, lo que ocasiona que Por lo tanto las tormentas ocasionan que la leche se corte. EI esquema de cadena falsa se ilusra mediante pra por por y se puede probar que es valido construyendo una tabla de verdad apropiada. Loe testpos de alas comune uc hemos considrado se puden resi com sigue: ° Falacia de Falacia de Exquema de afirmacién det negacién del ‘cadena consecuente cantecedente Sals0 pra = a por > ‘asclose ets ftadas¥obtree em cferen de las towoogtes del exe 4 Capitulo 6 Falacias Légicas Introducci6n a la Logica $7 10, Maria tiene un corderito 0 un gran oso. 6.5 CONJUNTO DI Construyendo una tabla de verdad, demuestre que Marla no tiene un gran oso. Por Jo tanto Maria tiene un corderito. Ww-arorirarr M1, Si2e—4 = 0, entonces x = 2 xe? ‘es.un argumento no vido, ;Cémo se lama esta facia? jrumento no vélido. :C& Por lo tanto 2x — 4 ¥ 0. rocbe que (ip ~ 4) 8 ~ p]-* ~ @.es.un argumento no vélido, | ul Tonto tiene “energa extra. Enlos Problemas 3-18, analice la valider de cada uno de los argumentos siguientes. Por lo tanto Tob come el ceral Pali. ‘En caso de no ser vélido alguno, determine el error en el razonamiento. 13. Si Rogelio tilza el lubrcante Resalin,entonces su auto funciona bien. 3, Siel congreso asigna los fondos, el proyecto se puede levar a cabo, Bl auto. de Rogeio fundona bien BL congreso asigna los fondos, Por lo tanto Rogelio utiliza el iubricante Resbaladin. Por lo tanto el proyecto se puede llevar a cabo. 14. Sillenas el tanque de combustible, obtenes un lavado de coche gratis ; Lienas el tangue de combustbe. 4. Si Alicia bebe de la botella que dice “veneno", enfermaré. volo tanto obtenes un vada de cou ‘Alicia bebe de una botella que no dice “‘veneno’’. Por fo tanto obtienes um lavado de coche gratis. 15, Silos 49s de San Francisco picden, entonces 1os Vaqueros de Dallas nan. Por lo tanto no enfermaré. Silos Vaqueros de Dallas ganen, entonces irin al Super Tazén sk Las avons fh art son una ives seu Ports enamide etane os auras {as soziones ‘una tasa de interés alla son wversiones seguras Por lo tanto lai aciones ficha azal pagan una tasa dc interés alta. 16. Si Rosita utiliza la crema dental Sonrisas,entonces tiene pocas cris Porlo tanto, si Rosita tiene poca caries, entonces utiliza la crema dental Sonrsas, 6 Siel pats construye un sistema antimisles, sus principales cindades estardn protegias contra posible ataques. 17. (Paraesteargumento suponga que xesun enteroy yesunenterodistnto de cero). ‘ i ‘SiQesunnimeroracional entones Q = 2/y, donde x/yesunafraccidnreducida, oF 20 das Por lo tanto, las principales ciudades no estarin proves Qevun nero ai contra un posible ataque. Qexy Por lo tanto, Q no es un niimero racial. 4. Si Alberto entiende lgica, entoneesdisfruta de esta clase de problemas ‘Aibeto no entiende pes. 18, Sieterimen ocurtié después dels 4:00 AM, entonces Sinchez no pudo haberio Por lo tanto, Alberto no disfruta de esta clase de problemas. ‘si Alberto entiende un problema, entonces es un problema sencillo. Este problema no es sencillo Por lo tanto Alberto no entiende este problema. 9. Siro obtengo un aumento de sueldo, renunciaré. No obtengo un aumento de sueldo Por lo tanto renunciaré. cometido. Sil crimen ocurri a las 4:00 AM 0 antes, entonces Gémez no pudo haberlo ‘cometido. El crimen involuera a dos personas, si Gémez no lo comets. Por lo tanto, si Sénchez cometi sl crimen, el crimen involucra a dos personas. CAPITULO 7 CUANTIFICADORES Y CiRCULOS DE EULER (DIAGRAMA DE VENN) 7.1 Cusmtificadores universal y existencial Hasta ahora hemos estado considerando solamente la inferencia logica dela esructu- ta de proposiciones que son clasificadas como verdaderas 0 falsas. Sin embargo, en ‘mateméticas se requiere a veces considerar tes tipos de frases oexpresiones: (1) verda- deras, (2) falsas y (3) indistintas o abiertas. En seguida se proporcionan ejemplos de cada uno de estos tipos. 1. Expresiones verdaderas, a 2+3=5 be 6

You might also like