Sociedad Matemtica Mexicana Publicaciones Electrnicas Serie: Textos Vol.

1 (2002)

SOCIEDAD MATEMTICA MEXICANA

LOGICA DEDUCTIVA (nivel licenciatura)

Gonzalo Zubieta Russi

SEP-INDAUTOR REGISTRO PUBLICO 03-2002-062110073700-01

 PROLOGO
La lgica deductiva tiene sus or o genes en la Grecia antigua en el trabajo de Aristteles, quien present sus estudios sobre el razonamiento en su lgica o o o silog stica. La teor del silogismo se ocupa de la caracterizacin de las ina o ferencias vlidas mediante esquemas de argumento, esto es, secuencias de a enunciados formados por premisas y conclusin, de tal forma que se garantiza o la verdad de la conclusin cuando se supone la verdad de las premisas. Estos o estudios dieron lugar a una larga tradicin losca que tom un carcter ms o o o a a formal en el siglo XIX con los trabajos de Frege sobre la lgica de predicados, o la cual ofrece un lenguaje simblico mucho ms poderoso que el de la lgica o a o silog stica aristotlica. Posteriormente en el siglo XX, el estudio de la lgica se e o matematiz a tal grado que constituy el campo de la lgica matemtica. Los o o o a dos enfoques predominantes de esta disciplina son el sintctico y el semntico. a a El primero caracteriza las nociones de derivacin formal, sistema axiomtico o a y prueba. El segundo se ocupa de las nociones de verdad, interpretacin y o consecuencia lgica. Uno de los resultados ms espectaculares de la lgica o a o matemtica del siglo XX es el de Gdel, quien demostr la equivalencia entre a o o las nociones de derivabilidad formal y consecuencia lgica, esto es, entre la o sintaxis y la semntica de un lenguaje formal, con su teorema de completud, a el cual dice en su versin original que toda frmula universalmente vlida o o a es teorema (el reverso de este resultado ya era conocido como el teorema de correctud ). Hoy en d estos dos enfoques de la lgica matemtica clsica a, o a a constituyen disciplinas bien establecidas y con agendas propias, stas son, e la teor de la demostracin y la teor de modelos. Por otro lado, estudios a o a en lgicas no-clsicas han marcado una nueva tradicin formal que tiene o a o aplicaciones fuera de la matemtica en campos como la computacin y la a o ling ustica formal. En cuanto a la enseanza de la lgica deductiva en un nivel introductorio, n o los profesores tenemos que escoger entre aquellos libros de texto que presentan la silog stica aristotlica y los de corte matemtico. Mientras que e a i

ii los primeros se dedican a presentar las motivaciones loscas de la lgica o o deductiva y exponen la teor del silogismo aplicada a razonamientos cotia dianos (Copi, 1968), los otros se ocupan de dar las bases de la axiomtica a y de la teor de conjuntos, y con esto introducen al alumno a la lgica a o proposicional y de predicados moderna, ya sea con nfasis en el aspecto e sintctico (Suppes, 1979) o en el semntico (Enderton, 1987). La eleccin de a a o enfoque est dada por la licenciatura en la cual se ensea esta materia. Por a n lo general, en las carreras human sticas (principalmente en losof se pasa a) totalmente desapercibido el aspecto matemtico de la lgica moderna y en a o las carreras cient cas (matemticas y computacin) no hay contacto alguno a o con la tradicin aristotlica de esta disciplina. o e El libro que el lector tiene frente a sus ojos es excepcional por varias razones. En primer lugar, combina la silog stica aristotlica con la demostracin fore o mal basada en la axiomtica matemtica y de esta forma el autor no saa a crica ninguna de las caras de la lgica. Su enfoque original introduce al o alumno a la lgica en su tradicin sintctica haciendo uso de las formas o o a silog sticas aristotlicas demostrando la validez de las inferencias dentro del e esquema de prueba formal deductiva, ofreciendo con esto una presentacin o de la lgica aristotlica de manera rigurosa. El autor ilustra diversas formas o e de demostracin (directa, indirecta, por casos) con ejemplos cotidianos, lo o cual conforma el contenido del cap tulo I. El cap tulo II presenta este enfoque en el algebra de conjuntos y el cap tulo III lo hace a travs de los tipos e y propiedades de la nocin de funcin matemtica, lo cual adems es el ino o a a grediente necesario para preparar al estudiante para el enfoque semntico de a la lgica (lo cual no est cubierto en este libro). El ultimo cap o a tulo, el IV, est dedicado a presentar este enfoque en la geometr euclidiana, el sistema a a deductivo por excelencia. En segundo lugar, este libro tiene la particularidad de poner en contacto al estudiante directamente con el lenguaje de la lgica de predicados, sin antes o cubrir en su totalidad la lgica proposicional, como usualmente se hace. Esto o se logra naturalmente porque la forma lgica de los enunciados que conforman o los silogismos involucra cuanticadores. Sin embargo, cabe recordar que el lenguaje de la silog stica aristotlica solo permite cuanticacin simple, esto e o es, expresiones con un solo cuanticador. An as es una virtud que en un u , texto introductorio de lgica se exponga al lector al lenguaje de la lgica de o o predicados. En tercer lugar, este libro es unico por la forma en que ensea la lgica. n o El tono en que est escrito invita al lector a reexionar sobre la manera de a

iii hacer demostraciones formales. Su presentacin es muy didctica y recuerda o a a otros libros con enfoques poco comunes (e.g. Polya, 1986) donde se presenta a la matemtica como una actividad dinmica y creativa en donde el nfasis a a e est en la manera de hacer demostraciones ms que en presentarlas como a a productos atemporales y acabados. Este tipo de presentacin solo se logra o despus de muchos aos de experiencia en la enseanza de la lgica, lo cual e n n o podemos corroborar por los otros textos de lgica de este autor (el lector o encontrar una lista de los t a tulos en la semblanza). Este libro ofrece un muy buen balance para la enseanza de la lgica, hacinn o e dolo de utilidad tanto para estudiantes en licenciaturas human sticas como cient cas. El autor ofrece una gu de trabajo para que el profesor escoja a los temas ms apropiados de acuerdo al programa de licenciatura que tenga a a su cargo as como del tiempo del cual disponga, ya que puede usarse tanto para un curso semestral como para uno anual. El material de este libro es una excelente introduccin a la lgica, que bien puede ser puerta para textos o o mas avanzados tanto de lgica matemtica, en los dos enfoques sintctico y o a a semntico (Suppes, 1979 y Enderton, 1987), as como de losof y ling a a ustica formal (Gamut) o incluso para textos de lgica de corte computacional. o Atocha Aliseda Instituto de Investigaciones Filoscas, UNAM. o Copi, I. Introduccin a la Lgica. EUDEBA. Buenos Aires, Argentina. 1972. o o (Traduccin de la cuarta edicin en ingls, 1972). o o e Enderton, H. Una introduccin matemtica a la lgica. Instituto de Inveso a o tigaciones Filoscas, UNAM. Mxico. 1987. (Traduccin de la edicin en o e o o ingls, 1972). e Gamut, L.T.F. Introduccin a la Lgica. EUDEBA. Buenos Aires, Aro o gentina. 2002. (Traduccin de la primera edicin en ingls, 1991). o o e Polya, G. Cmo Plantear y Resolver Problemas. Trillas, Mxico. 1986. o e (Traduccin de la primera edicin en ingls, 1944). o o e Suppes, P. Primer curso de logica matemtica. Reverte, Barcelona, Espaa. a n 1979. (Traduccin de la primera edicin en ingls). o o e

iv

 INTRODUCCION
Este curso se ocupa de las cadenas deductivas, dentro y fuera de las matemticas, como un arte a practicar, no como una teor Es la unica manera a a. conocida de embarcar en el pensamiento deductivo a la mayor de la clase. a En el primer cap tulo se aprende a pensar matemticamente sin pensar en a matemticas, gracias a las armaciones sobre veraces y mitmanos, y a o a los silogismos categricos, que son los primeros teoremas que hay que o saber demostrar, antes de demostrar en matemticas. a El arte de demostrar no se aprende fcilmente dentro de las matemticas, ya a a que toda demostracin matemtica es una disertacin conducida por el auo a o tor, segn cierta l u nea de pensamiento que suele no corresponder al esquema mental del lector, quien al sentirse marginado del tema se desconecta. Eso no ocurrir en las demostraciones de este curso ya que, desde la primera a leccin, sobre demostracin indirecta, las inferencias se hacen segn patrones o o u establecidos, al alcance de todos los participantes, sin obligarlos a adoptar estilos ajenos. Su ensayo paciente y repetido har que cada alumno capte la a idea de demostracin. o Para garantizar el xito correspondiente, hay que concederle a cada tema el e tiempo requerido para su maduracin, segn la tabla siguiente: o u 1. 2. 3. 4. Demostracin Indirecta o (2 semanas) Esquema Deductivo (Una clase) Demostracin Directa o (3 semanas) Otros Ejemplos (2 semanas)

Este intento debe desarrollarse en forma de taller, donde los alumnos participen activamente y el profesor se concrete a hacer preguntas como las siguientes: Qu signica eso? e v

vi Adnde queremos llegar? o Qu sabemos al respecto? e Por qu ya est demostrada esa armacin? e a o Para esta ultima pregunta, la respuesta obligada es: Porque hemos partido de la hiptesis, que es el paso tal, o y hemos llegado a la tesis, que es el paso tal.

O bien: Porque hemos partido de su negacin, que es el paso tal, o y hemos llegado a una contradiccin, que est en los pasos tal y tal. o a

Para imprimir dinamismo y gracia a las demostraciones hay que valerse de ciertas palancas, como denir sobre la marcha cuando se llegue a una existencial, proceder por casos, o por exclusin, cuando se llegue a una o disyuncin, y demostrar sobre la marcha cuando el paso considerado no o se desprenda fcilmente de los pasos anteriores. a En los apartados 1, 2, 3, 4 se adquieren los hbitos y la disciplina que pera miten avanzar en materia de demostraciones. De ah se puede saltar al apartado 13, si se quiere, regresando a 8, 10 y 12, segn se vayan necesiu tando. Los tiempos recomendados para estos temas son: 8. Negaciones (1 semana) 10. Demostracin por Casos o (2 semanas) 12. Denicin de igualdad o (2 clases) 13. Conjuntos (2 clases) 14. Unin e Interseccin o o (2 semanas) Aunque este libro contiene material suciente para un curso anual de licenciatura, en el caso de un curso semestral debe optarse por alguna seleccin o de temas. He aqu algunas recomendaciones: Licenciatura en humanidades: cap tulo I, completo. Licenciatura en matemticas: a secciones marcadas con asterisco. Licenciatura en ciencias: cap tulo II, precedido de los asteriscos de I.

vii No importa tanto la cantidad de temas que se cubran, como la intensidad de las vivencias adquiridas. Hay que vivir las demostraciones, tal como se vive un relato agradable. Los frutos de este curso no surgen tanto de la simple lectura de sus pginas, a como de su mejor laboratorio, que es la participacin de un grupo frente al o pizarrn, en presencia del profesor. Esto aporta experiencias inditas acerca o e del quehacer deductivo, y de sus mltiples tropiezos con el credo comn. u u

viii

SEMBLANZA DEL AUTOR

El conocimiento de la lgica terica y el arte de bien conducir la razn. o o o As podr amos resumir la carrera de Gonzalo Zubieta Russi. No podemos precisar cual de estos dos aspectos predomina en su obra si nos limitamos al campo de la lgica. En el maestro Zubieta se combinan y coexisten en paz o el investigador y el profesor universitario. Gonzalo Zubieta Russi naci en el sureo estado de Tabasco. Miembro de o n una familia en la que el gusto por la ciencia y la buena conversacin es una o constante, decidi estudiar matemticas en la recin formada Facultad de o a e Ciencias de la UNAM, all por los aos 1940, cuando sta se hallaba en el a n e Palacio de Miner Fue el inicio de una brillante trayectoria acadmica que a. e lo llev a ser investigador de tiempo completo del Instituto de Matemticas o a desde 1971 y catedrtico de la Facultad de Ciencias desde 1948. Adems a a de la Lgica Matemtica, otra de sus areas de trabajo ha sido el Anlisis o a a Matemtico. a Desde un principio, y guiado por su asombro ante la fuerza lgica de las o demostraciones, su inters se dirigi hacia la lgica matemtica. Cmo es e o o a o que el equilibrio de un trompo en su giro se puede explicar mediante un argumento racional? Cmo es que podemos armar con absoluta certeza o que la ra cuadrada de dos no es racional? Muy pronto asisti a un semiz o nario dirigido por Carlos Graef en 1942 sobre el famoso libro de Hilbert y Ackermann Fundamentos de Lgica Terica.1 Tiempo despus particip en o o e o un seminario impartido por su hermano Francisco Zubieta en el Instituto Politcnico Nacional, cuando Don Manuel Sandoval Vallarta era director de e dicha institucin. o El joven Zubieta pronto se familiariz con el libro Mathematical Logic de o
Grundzge der Theoretischen logik, David Hilbert & Wilhelm Ackermann, Berlin, u Springer 1928. Traduccin al ingls: Principles of Mathematical Logic, Chelsea Pub. Co., o e 1950.
1

ix

x Willard Von Orman Quine2 y estableci contactos con l, quien le sugiri un o e o tema de tesis y valiosas orientaciones. En 1949 Quine estuvo en Mxico y para e principios de 1950, Zubieta present, avalado por Quine la tesis profesional o Sobre el Clculo Funcional de Primer Orden.3 En l, su autor presenta a e una prueba ms rigurosa del teorema de completud de la lgica de primer a o orden de Gdel. o El trabajo de Zubieta pronto cruz la frontera. Por sugerencia de Quine, ste o e 4 fue enviado a Alonzo Church quien a su vez invit a Robert Feys, lgico de o o la universidad de Lovaina a presentar un comentario sobre el mismo en el Journal of Symbolic Logic, a la sazn la revista de mayor prestigio en el area o de lgica. En 1953 Zubieta fue a Princeton para ocupar el cargo de ayudante o de investigador de Alonzo Church quien alguna vez dir de Zubieta que era a el unico lgico latino que escrib con rigor. Church lo cita en la introduccin o a o de su libro5 por sus observaciones y participacin en el proyecto.6 o Su estancia en los Estados Unidos habr de ser ms prolongada, pues en a a Chicago trabaj con Halmos sobre Lgica Algebraica y de 1961 a 1962 lo o o hizo con Alfred Tarski en Berkeley, de quien aprendi la Teor de Modelos o a recin desarrollada por ste. La versatilidad e insaciable curiosidad de Gone e zalo Zubieta lo llev a entablar v o nculos acadmicos con Abraham Robinson e quien por aquel entonces desarrollaba el anlisis no estndar sobre la base a a del teorema de Compacidad. En ese tiempo Zubieta disfrutaba de una beca Guggenheim. Cuando Gonzalo Zubieta regres a Mxico en 1963, en el medio matemtico o e a mexicano, nadie ms conoc el tema de su inters, la lgica matemtica. a a e o a Adems, por aquel entonces se consideraba que el tema era algo raro y de a una dicultad excesiva, y en la carrera de matemticas la lgica era un area a o optativa a la cual no se acercaban muchos estudiantes. As despus de , e haber trabajado con varios de los lgicos ms importantes del siglo XX, o a Zubieta decidi dedicarse al anlisis matemtico, otra area de su inters, o a a e
Mathematical Logic. Sobre el clculo funcional de primer orden, tesis por Gonzalo Zubieta Russi. Facultad a de Ciencias, UNAM 1950. 4 Church hab dirigido la tesis doctoral del mexicano Enrique Bustamante Llaca, quien a a su regreso a Mxico trabaj en el Banco de Mxico. e o e 5 Introduction to Mathematical Logic, Part I, Alonzo Church, Annals of Mathematics Studies, Princeton University Press, 1944. 6 Para ms informacin sobre Church, vase Alonzo Church: His Life, His Work and a o e Some of His Miracles, Mar Manzano, History and Philosophy of Logic 18, 1997 (211 a 232).
3 2

xi donde logr tambin importantes resultados.7 Entre sus trabajos destaca o e uno sobre integrales de medida positiva.8 La otra faceta del maestro Zubieta, la de profesor, lo llevo a desarrollar sus ideas docentes no slo en la Facultad de Ciencias de la UNAM, sino o tambin en la Universidad Veracruzana, en la de Sinaloa, en la escuela Nae cional Preparatoria, en el CCH y otras instituciones. Una de sus convicciones es que el estudio de cualquier disciplina matemtica ser ms provechoso y a a a ameno para los estudiantes cuando se les ha proporcionado el material necesario sobre tcnicas de orden lgico, de manejo del lenguaje matemtico y de e o a 9 los mtodos de demostracin. e o En sus estudiantes busca el compromiso serio con el tema, para lo cual vuelca su esfuerzo y experiencia en lograr que el alumno evolucione y cambie de actitud para embarcarse en la materia. En la Facultad de Ciencias ensea n lgica a los estudiantes de primer ingreso, no como una teor sino como o a un quehacer. Al respecto ha desarrollado un mtodo de anlisis lgico que e a o expone admirablemente bien en un libro denominado Taller de lgica,10 en el o que combina la silog stica aristotlica y la demostracin matemtica formal e o a basada en el mtodo axiomtico. e a Ms all del trabajo con los alumnos, el maestro Zubieta ha dirigido varias a a tesis y ha impartido una gran cantidad de cursos, talleres de didctica y a conferencias para profesores. La culminacin de tan admirable labor docente o es este libro sobre Lgica Deductiva, en el que recoge su enorme experiencia o docente, ponindola a disposicin de todo aquel que desee adentrarse en e o el arte de transmitir las bases del razonamiento escrupuloso a los jvenes. o Quienes conocemos al maestro Zubieta desde tiempo atrs no podemos sino a regocijarnos con su publicacin y decir, como complemento a lo dicho por o Church, que Gonzalo Zubieta no slo escribe con rigor sino con claridad y o asombrosa simplicidad. Carlos Torres y Jos Alfredo Amor e

Dierential notation for set functions, Anales del I. M. 1, 1961 (6781). Integrales de medida positiva, Monograf No.3 del I.M. 1976 (157p.). a 9 Manual de lgica para estudiantes de matemticas, Gonzalo Zubieta Russi, Trillas, o a 1968. 10 Taller de Lgica Matemtica (Anlisis Lgico), Gonzalo Zubieta, McGraw Hill, 1993. o a a o
8

xii

 INDICE DE MATERIAS

EJEMPLOS COTIDIANOS *1 Demostracin indirecta . o *2 Esquema deductivo . . . *3 Demostracin directa . . o *4 Otros ejemplos . . . . . 5 Hiptesis adicional . . . o 6 Traducciones . . . . . . 7 Paradojas . . . . . . . . *8 Negaciones . . . . . . . . 9 Deniciones . . . . . . . *10 Demostracin por casos . o 11 Paradojas clebres . . . e *12 Denicin de igualdad . o

. . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . .

1 2 3 5 7 9 10 12 14 15 17 18 20 23 23 25 26 28 30 33 33 35 36 38 40 42

II ALGEBRA DE CONJUNTOS *13 Conjuntos . . . . . . . . . *14 Unin e interseccin . . . o o 15 Diferencia . . . . . . . . . 16 Producto cartesiano . . . . 17 Familias de conjuntos . . . III FUNCIONES E IMAGEN 18 Funciones . . . . . . . 19 Composicin . . . . . . o 20 Infra, Supra, Biyectiva 21 Imagen Directa . . . . 22 Caso Inyectivo . . . . . 23 Imagen Inversa . . . . . . . . . . . . . . . .

xiii

xiv 24 Reexiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 47 49 51 52 54 56 57 59 61 65

IV EJEMPLOS GEOMETRICOS *25 Intersecar y cortar . . . . *26 Axiomas geomtricos . . . e *27 Pequeo repertorio . . . . n 28 Paralelismo . . . . . . . . 29 Euclides . . . . . . . . . . 30 Criterios . . . . . . . . . . 31 Lemas . . . . . . . . . . . 32 Teoremas . . . . . . . . . 33 Transitividad . . . . . . . ABREVIATURAS

Cap tulo I EJEMPLOS COTIDIANOS

En toda condicional, la parte comprendida entre el si y el entonces se llama hiptesis. La parte que est despus del entonces se llama tesis. Para o a e negar una condicional se arma la hiptesis y se niega la tesis. Ejemplos de o condicionales: Si x es socio de y entonces x cumple. Si x no cumple entonces x no es socio de y.

Negaciones
x es socio de y y x no cumple. x no cumple y x es socio de y. Dos proposiciones que tienen la misma negacin se llaman giros, la una de o la otra. As las condiconales anteriores son giros, la una de la otra, porque , tienen la misma negacin, salvo por el orden. o Por denicin, el que es veraz siempre dice la verdad, el que es mitmano o o siempre miente, y el que no es veraz ni mitmano es normal. Toda persona o es veraz o mitmano o normal, pero slo una de estas tres cosas. o o

Axiomas
Si x es veraz, y x dice que sucede tal cosa, entonces sucede tal cosa. Denicin de veraz o Si x es mitmano, y x dice que sucede tal cosa, entonces no sucede o tal cosa. Denicin de mitmano o o 1

CAP ITULO I. EJEMPLOS COTIDIANOS

Estos axiomas son vlidos por denicin. a o

* 1 Demostracin indirecta o
Demostracin indirecta de un enunciado es cualquier deduccin que parte o o de su negacin y termina en contradiccin. o o

Ejemplos
A dice que B es veraz. B dice que A es mitmano. o B no es veraz: (1). (2) (3) (4) (5). B B A A B Datos Armacin a demostrar o

es veraz Negacin o dice que A es mitmano o Dato es mitmano o (1)(2) Denicin de veraz o dice que B es veraz Dato no es veraz (3)(4) Denicin de mitmano o o

Se marcan con punto los pasos que se contradicen. Los datos son vlidos a por denicin, luego son axiomas. o Si B es mitmano entonces A es normal: o (1) (2). (3) (4) (5) (6) (7) (8) (9). B B B A A A A B B es mitmano y A no es normal o Negacin o es mitmano o (1) Descendente dice que A es mitmano o Dato no es mitmano o (2)(3) Def de mitmano o no es normal (1) Descendente es veraz (4)(5) Def comn u dice que B es veraz Dato es veraz (6)(7) Def de veraz no es mitmano o (8) Def comn u

2. ESQUEMA DEDUCTIVO

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. 2. Con los mismos datos demuestre que A no es veraz, y que si A es mitmano entonces o B es normal. Repertorio sobre veraces y mitmanos: o A dice que B es normal. B dice que A es normal. Si A es mitmano entonces B es mitmano. o o Si A no es mitmano entonces B no es mitmano: o o A dice que B es normal. B dice que A no es normal. Si A es mitmano entonces B es veraz. o Si A no es mitmano entonces B no es veraz: o A dice que B es veraz. B dice que A es normal. A no es veraz. Si B es mitmano entonces A es mitmano: o o A dice que B es mitmano. B dice que A no es normal. o A no es veraz. Si B es veraz entonces A es mitmano: o A dice que B es mitmano. B dice que A es normal. o Si A es mitmano entonces B es normal. o Si B es mitmano entonces A es veraz: o A dice que B es veraz. B dice que A no es normal. Si A es mitmano entonces B es normal. o Si B es veraz entonces A es veraz: A dice que B es mitmano. B dice que A no es mitmano. o o A no es veraz. Si A es mitmano entonces B es normal. o B no es mitmano. Si B es veraz entonces A es normal. o 3. Demuestre las armaciones del segundo grupo de este repertorio. 4. Demuestre las armaciones del cuarto grupo. 5. Demuestre las armaciones del sexto grupo.

* 2 Esquema deductivo
Deduccin formal de P es una cadena P1 , P2 , . . . , Pn de proposiciones, llao madas pasos, tales que Pn es P , y cada paso es un axioma o algo demostrado antes, o se inere de pasos anteriores mediante un axioma o algo demostrado antes.

CAP ITULO I. EJEMPLOS COTIDIANOS

Son axiomas ordinarios las proposiciones que integran alguna denicin o impl cita. Estos axiomas son vlidos por su contenido. a Son axiomas lgicos los modos descendentes, los modos hipotticos, las o e condicionales que van de una frase a su traduccin, las que van de una frase o a su giro, y las disyunciones de la forma P o no P . Tales axiomas son vlidos a por su forma. Slo se usarn cinco modos descendentes: de lo idntico, de la conjuncin o a e o a la parte, de la parte a la disyuncin, de lo general a lo particular, y de lo o espec co a lo inespec co. Ejemplos: De lo idntico: e Si x es socio de y entonces x es socio de y. De la conjuncin a la parte: o Si x es socio de y y y cumple entonces y cumple. De la parte a la disyuncin: o Si x llega hoy entonces x llega hoy o x llega maana. n De lo general a lo particular: Si, para todo x, entonces, si x depende de y entonces x cumple, si y depende de y entonces y cumple.

En este ejemplo, lo que la hiptesis dice de todo x la tesis lo dice de y. o Obsrvese la colocacin dada a la tesis. e o De lo espec co a lo inespec co: Si x es socio de y y x no cumple entonces existe z tal que z es socio de y y z no cumple. Aqu lo que la hiptesis dice de x la tesis lo dice de algn z, sin especicar. , o u Ntese la colocacin de la tesis. o o Slo se usarn tres modos hipotticos: reduccin por exclusin, reo a e o o duccin por contradiccin, y reduccin por casos. Ejemplos: o o o

 3. DEMOSTRACION DIRECTA Si P o Q, y no P , entonces Q. Si, si P entonces Q, y, si P entonces no Q, entonces no P . Si P o Q, y, si P entonces R, y, si Q entonces R, entonces R.

Por exclusin o

Por contradiccin o

Por casos

EJERCICIO
Reproduzca esta seccin en su totalidad. o

* 3 Demostracin directa o
Demostracin directa de una condicional es una deduccin que parte de o o la hiptesis, en calidad de dato, y termina en la tesis. Ejemplos: o Si alg n mago es poeta u y todo mago es actor entonces alg n actor es poeta: u (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12)

Disamis

Algn mago es poeta u Hiptesis o Existe x tal que x es mago y x es poeta (1) Traduccin o F es mago y F es poeta Denicin de F o Todo mago es actor Hiptesis o Para todo x, si x es mago entonces x es actor (4) Traduccin o Si F es mago entonces F es actor (5) De lo general F es mago (3) De la conjuncin o F es actor (7) por (6) F es poeta (3) De la conjuncin o F es actor y F es poeta (8)(9) De lo idntico e Existe x tal que x es actor y x es poeta (10) De lo espec co Algn actor es poeta u (11) Traduccin o

CAP ITULO I. EJEMPLOS COTIDIANOS

En esta demostracin los pasos (1) y (4) son las partes de la hiptesis. El o o paso (3) consiste en ponerle nombre a lo mencionado por (2). Los pasos restantes se ineren de pasos anteriores. Si ning n pasante es invitado u y alg n alumno es invitado u entonces alg n alumno no es pasante: u (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13)

Festino

Ningn pasante es invitado u Hpt Para todo x, si x es pasante entonces x no es invitado (1) Trad Algn alumno es invitado u Hpt Existe x tal que x es alumno y x es invitado (3) Trad y es alumno y y es invitado Def de y Si y es pasante entonces y no es invitado (2) De lo gral y es invitado (5) De la conj Si y es invitado entonces y no es pasante (6) Giro y no es pasante (7) Por (8) y es alumno (5) De la conj y es alumno y y no es pasante (10)(9) De lo idnt e Existe x tal que x es alumno y x no es pasante (11) De lo esp Algn alumno no es pasante u (12) Trad

Para girar una condicional se intercambian la hiptesis y la tesis, y se niegan o ambas. Al traducir algn, o ningn, ntese que algn es existencial y que u u o u ningn es universal. u

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores y pract quelas hasta poder repetirlas sin el modelo a la vista. Repertorio de silogismos. Primera parte: Si todo M es B y alg A es M ent alg A es B Si ning B es M y alg A es M ent alg A no es B Si ning M es B y alg A es M ent alg A no es B Si todo B es M y alg A no es M ent alg A no es B

Darii

Ferio

Festino

Baroco

4. OTROS EJEMPLOS
Si alg M es B y todo M es A ent alg A es B Si alg M no es B y todo M es A ent alg A no es B Si alg B es M y todo M es A ent alg A es B Si todo M es B y alg M es A ent alg A es B Si ning M es B y alg M es A ent alg A no es B Si ning B es M y alg M es A ent alg A no es B

Disamis

Datisi

Bocardo

Ferison

Dimatis

Fresiso

2. Demuestre dos de estos silogismos, dndole valores de A, M y B, tomados de la siguiente a tabla: actor mago poeta avaro socio pobre apstol o mrtir a beato rabe a moro beduino aviador marino buzo alumno invitado pasante

* 4 Otros ejemplos
Si ning n mrtir es beato u a y todo apstol es mrtir o a entonces ning n apstol es beato: u o (1) (2) (3) (4) (5) Ning mrtir es beato a Hpt Para todo x, si x es mrtir ent x no es beato a Todo apstol es mrtir o a Hpt Para todo x, si x es apstol ent x es mrtir o a Para todo y, si y es apstol ent y no es beato: o (a) (b) (c) (d) (e) y es apstol o Hpt Si y es apstol ent y es mrtir o a y es mrtir a (a) Por (b) Si y es mrtir ent y no es beato a y no es beato (c) Por (d) (5) Trad

Celarent

(1) Trad (3) Trad

(4) De lo gral (2) De lo gral

(6) Ning apstol es beato o

CAP ITULO I. EJEMPLOS COTIDIANOS

Aqu el paso (5) se demuestra sobre la marcha. Si todo pobre es socio y ning n avaro es socio u entonces ning n avaro es pobre: u (1) (2) (3) (4) (5) Todo pobre es socio Hpt Para todo x, si x es pobre ent x es socio (1) Trad Ning avaro es socio Hpt Para todo x, si x es avaro ent x no es socio (3) Trad Para todo y, si y es avaro ent y no es pobre: (a) (b) (c) (d) (e) (f) (6) y es avaro Hpt Si y es avaro ent y no es socio (4) De lo gral y no es socio (a) Por (b) Si y es pobre ent y es socio (2) De lo gral Si y no es socio ent y no es pobre (d) Giro y no es pobre (c) Por (e) (5) Trad

Camestres

Ning avaro es pobre

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. Repertorio de silogismos. Segunda parte: Si todo M es B y todo A es M ent todo A es B Si ning B es M y todo A es M ent ning A es B Si todo B es M y ning M es A ent ning A es B Si ning M es B y todo A es M ent ning A es B Si todo B es M y ning A es M ent ning A es B

Barbara

Celarent

Cesare

Camestres

Camenes

2. Demuestre dos de estos silogismos, dndole valores a A, M y B. a

 5. HIPOTESIS ADICIONAL

5 Hiptesis adicional o
Los siguientes silogismos requieren de una hiptesis adicional para su deo mostracin. o Si todo M es B Si todo B es M y todo M es A y todo M es A ent alg A es B Darapti ent alg A es B Bamalip Si ning M es B y todo M es A ent alg A no es B Si ning B es M y todo M es A ent alg A no es B

Felapton

Fesapo

Ejemplo
Si ning n marino es buzo u y todo marino es aviador entonces alg n aviador no es buzo: u (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) Ning marino es buzo Hpt Para todo x, si x es marino ent x no es buzo (1) Trad Todo marino es aviador Hpt Para todo x, si x es marino ent x es aviador (3) Trad Existe x tal que x es marino Hpt adicional y es marino Def de y Si y es marino ent y es aviador (4) De lo gral y es aviador (6) Por (7) Si y es marino ent y no es buzo (2) De lo gral y no es buzo (6) Por (9) y es aviador y y no es buzo (8)(10) De lo ident Existe x tal que x es aviador y x no es buzo (11) Desc Algn aviador no es buzo u (12) Trad

Felapton

Los silogismos categricos suelen agruparse segn su gura, como sigue: o u

10 1a g MB AM AB Barbara Celarent Darii Ferio Barbari Celaront 2a g BM AM AB

CAP ITULO I. EJEMPLOS COTIDIANOS 3a g MB MA AB Darapti Felapton Disamis Datisi Bocardo Ferison 4a g BM MA AB Bamalip Camenes Dimatis Fesapo Fresiso Camenos

Cesare Camestres Festino Baroco Cesaro Camestros

El trmino menor A es el sujeto de la conclusin, el trmino mayor B e o e es el predicado de la conclusin, y el trmino medio M no aparece en la o e conclusin. La premisa menor es la que contiene al trmino menor A y al o e trmino medio. La premisa mayor es la que contiene al trmino mayor B e e y al trmino medio. e El silogismo Felapton es de la tercera gura y del modo eao: premisa mayor e (universal negativa), premisa menor a (universal armativa) y conclusin o (particular negativa). Comprubelo. o e Los silogismos Barbari, Celaront, Cesaro, Camestros y Camenos tambin e requieren de una hiptesis adicional. Barbari empieza como Brbara, pero o a su conclusin es i (particular armativa). o

EJERCICIOS
1. Demuestre Darapti y Fesapo. 2. Demuestre Barbari y Camestros. 3. Demuestre Bamalip y Camenos.

6 Traducciones
En las demostraciones formales, cada inferencia debe basarse en el texto de una denicin, o en un modo descendente, o en un modo hipottico. Tambin o e e puede basarse en un giro o en una traduccin. Las traducciones ms usuales o a son las que se exhiben a continuacin. o

6. TRADUCCIONES (a) (a) Todo pasa por y Para todo x, x pasa por y

11

(b) Todo camino pasa por y (b) Para todo x, si x es camino entonces x pasa por y (c) (c) Algo pasa por y Existe x tal que x pasa por y

(d) Algn camino pasa por y u (d) Existe x tal que x es camino y x para por y (e) (e) (f) (f) (g) (g) x pasa por todo Para todo y, x pasa por y x pasa por todo punto Para todo y, si y es punto entonces x pasa por y x pasa por algo Existe y tal que x pasa por y

(h) x pasa por algn punto u (h) Existe y tal que y es punto y x pasa por y (i) (i) (j) (j) Nada pasa por y Para todo x, x no pasa por y Ningn camino pasa por y u Para todo x, si x es camino entonces x no pasa por y

EJERCICIOS
1. Practique las diez traducciones anteriores, oralmente y por escrito, atendiendo al uso de las comas. 2. Reproduzca las siguientes traducciones: (a) (a) Todo socio de x es socio de y Para todo z, si z es socio de x entonces z es socio de y

12
(b) (b) (c) (c) (d) (d)

CAP ITULO I. EJEMPLOS COTIDIANOS

Algn socio de x es socio de y u Existe z tal que z es socio de x y z es socio de y x es socio de todo socio de y Para todo z, si z es socio de y entonces x es socio de z x es socio de algn socio de y u Existe z tal que z es socio de y y x es socio de z

3. Reproduzca las siguientes traducciones: (a) (a) (b) (b) (c) (c) (c) (d) (d) (d) x trabaja si y paga Si y paga entonces x trabaja x trabaja slo si y paga o Si y no paga entonces x no trabaja Slo x trabaja para y o El que no es x no trabajo para y Para todo z, si z no es x ent z no trabaja para y x slo trabaja para y o x no trabaja para el que no es y Para todo z, si z no es y ent x no trabaja para z

7 Paradojas
Paradoja es una armacin contraria a la opinin comn, cuya validez slo o o u o se explica mediante una demostracin formal. o

Ejemplos
Si x paga por todos, y slo y paga por x, entonces x es y: o (1) (2) (3) (4) (5) (6) (7) x paga por todos Hpt Para todo z, x paga por z (1) Trad Slo y paga por x o Hpt El que no es y no paga por x (3) Trad Para todo z, si z no es y ent z no paga por x (4) Trad Si x no es y ent x no paga por x (5) De lo gral x paga por x (2) De lo gral

7. PARADOJAS (8) Si x paga por x ent x es y (9) x es y (7) Por (8) (6) Giro

13

Si x paga por todo socio, y ning n socio paga por y, entonces, si u x es socio entonces y no es socio: (1) (2) (3) (4) (5) x paga por todo socio Hpt Para todo z, si z es socio ent x paga por z Ningn socio paga por y u Hpt Para todo z, si z es socio ent z no paga por y Si x es socio ent y no es socio: (a) (b) (c) (d) (e) (f) (1) Trad (3) Trad

x es socio Hpt Si x es socio ent x no paga por y (4) De lo gral x no paga por y (a) Por (b) Si y es socio ent x paga por y (2) De lo gral Si x no paga por y ent y no es socio (d) Giro y no es socio (c) Por (e)

EJERCICIO
Demuestre, de dos en dos, las paradojas siguientes: Repertorio de paradojas: Si x paga por todos, y slo y paga por x, entonces x es y. o Si todos pagan por x, y x slo paga por y, entonces x es y. o Si x aprende de todos, y ningn novato aprende de x, entonces x no es novato. u Si nadie aprende de x, y x aprende de todo novato, entonces x no es novato. Si x paga por todo socio, y slo y paga por x, entonces, si x es socio entonces x es y. o Si todo socio paga por x, y x slo paga por y, entonces, si x es socio entonces x es y. o Si x aprende de todo socio, y ningn novato aprende de x, entonces, si x es socio entonces u x no es novato. Si ningn socio aprende de x, y x aprende de todo novato, entonces, si x es socio entonces u x no es novato. Si es Si es x paga por todo socio, y ningn socio paga por y, entonces, si x es socio entonces y no u socio. ningn socio paga por x, y y paga por todo socio, entonces, si x es socio entonces y no u socio.

Si x paga por todo socio, y ningn novato paga por y, entonces, si x es novato entonces y u no es socio.

14

CAP ITULO I. EJEMPLOS COTIDIANOS

Si ningn socio paga por x, y y paga por todo novato, entonces, si x es novato entonces y u no es socio.

* 8 Negaciones
Como negacin de una proposicin se toma cualquier proposicin que arme o o o lo contrario de ella. Ejemplos: (a) (a) Si x es socio de y entonces x cumple. x es socio de y y x no cumple.

(b) x es hermano de y y x es menor que y. (b) Si x es hermano de y entonces x no es menor que y. (c) (c) x llega hoy o x llega maana. n x no llega hoy y x no llega maana. n

(d) x no llega hoy. (d) x llega hoy. (e) (e) (f) (f) Para todo x, x es socio de y. Existe x tal que x no es socio de y. Existe x tal que x es hijo de y. Para todo x, x no es hijo de y.

Segn los ejemplos anteriores, la negacin de una condicional es la conjuncin u o o de la hiptesis y la negacin de la tesis, la negacin de una conjuncin es la o o o o condicional que va de la primera parte a la negacin de la segunda parte, la o negacin de una disyuncin es la conjuncin de las negaciones de las partes, o o o la negacin de una negacin es la armacin de la parte, la negacin de o o o o una cuanticacin universal es la cuanticacin existencial de la negacin o o o de la parte, la negacin de una cuanticacin existencial es la cuanticacin o o o universal de la negacin de la parte. o

EJERCICIOS
1. Reproduzca los seis ejemplos anteriores. 2. Niegue:

9. DEFINICIONES
(a) (b) (c) (d) (e) (f) (g) (h) (i) (j) Para todo x, x depende de y Para todo x, si x es socio entonces x depende de y Existe x tal que x depende de y Existe x tal que x es socio y x depende de y Para todo y, x depende de y Para todo y, si y es socio entonces x depende de y Existe y tal que x depende de y Existe y tal que y es socio y x depende de y Para todo x, x no depende de y Para todo x, si x es socio entonces x no depende de y

15

3. Mediante traduccin y negacin demuestre que (a1) es giro de (a2), (b1) es giro de (b2) o o y (c1) es giro de (c2): (a1) (a2) (b1) (b2) (c1) (c2) Lo que pesa no ota Lo que ota no pesa Lo que no sirve estorba Lo que no estorba sirve El que estudia aprende El que no aprende no estudia

4. Cuadro aristotlico de oposicin: e o

Algn A es B u Todo A es B jUU i4 UUUU UUUU iiiiii ii iiii UUUUUUU * tiiii Ning A es B Algn A no es B u compruebe oralmente, mediante traduccin, que cada echa conduce de una proposicin o o a su negacin. o

9 Deniciones
Llmanse axiomas ordinarios las proposiciones que integran una denicin a o impl cita. He aqu una denicin impl o cita de los trminos veraz, mitmano e o y normal, integrada por seis axiomas:

16 I. II. III.

CAP ITULO I. EJEMPLOS COTIDIANOS Si x es veraz, y x dice que sucede tal cosa, entonces sucede tal cosa. Si x es mitmano, y x dice que sucede tal cosa, o entonces no sucede tal cosa. Si x es veraz entonces x no es mitmano. o Si x es mitmano entonces x no es normal. o Si x es normal entonces x no es veraz. x es veraz o x es mitmano o x es normal. o

IV.

Segn estos axiomas, el que es veraz siempre dice la verdad, el que es u mitmano siempre miente, y el que no es veraz ni mitmano es normal. o o Cualquier giro de axioma se acepta tambin como axioma. A continuacin e o aparecen girados los axiomas anteriores. I. II. III. Si x dice que sucede tal cosa, y no sucede tal cosa, entonces x no es veraz. Si x dice que sucede tal cosa, y sucede tal cosa, entonces x no es mitmano. o Si x es mitmano entonces x no es veraz. o Si x es normal entonces x no es mitmano. o Si x es veraz entonces x no es normal. Si x no es veraz y x no es mitmano entonces x es normal. o Si x no es veraz entonces x es mitmano o x es normal. o

IV. IV.

Segn I, girado, el que dice alguna mentira no es veraz. u Segn II, girado, el que dice alguna verdad no es mitmano. u o

EJERCICIOS
1. Reproduzca los seis axiomas. 2. Reproduzca los siete giros. 3. Escribe la negacin de cada axioma, seguida de la negacin del giro correspondiente. o o 4. Como denicin impl o cita del trmino hermano se ofrecen los tres axiomas siguientes: e x no es hermano de x. Si x es hermano de y entonces existe z tal que x es hijo de z y y es hijo de z. Si x es hijo de t y y es hijo de t entonces x es hermano de y, o x es y. Reproduzca estos axiomas.

 10. DEMOSTRACION POR CASOS

17

* 10 Demostracin por casos o

Axiomas girados
Si x dice que sucede tal cosa, y no sucede tal cosa, entonces x no es veraz. Def de veraz, girada Si x dice que sucede tal cosa, y sucede tal cosa, entonces x no es mitmano. o Def de mitmano, girada o Las armaciones sobre veraces y mitmanos, que fueron demostradas indio rectamente en el apartado 1, pueden demostrarse directamente, por casos o por exclusin. o

Ejemplos
A dice que B es veraz. B dice que A es mitmano. o B no es veraz: (1) B dice que A es mitmano o Dato (2) A es mitmano o A no es mitmano o o (3) Si A es mitmano ent B no es veraz: o (a) A es mitmano o Hpt (b) A dice que B es veraz dato (c) B no es veraz (a)(b) Def de mit (4) Si A no es mitmano ent B no es veraz: o (a) A no es mitmano o Hpt (b) B dice que A es mitmano o Dato (c) B no es veraz (b)(a) Def de veraz, girada (5) B no es veraz Si B (1) (2) (3) (4) (2)(3)(4) Por casos Datos

Axioma

es mitmano entonces A es normal: o B es mitmano o Hpt B dice que A es mitmano o Dato A no es mitmano o (1)(2) Def de mit A es veraz o A es normal (3) Def comn u

18 (5) A no es veraz:

CAP ITULO I. EJEMPLOS COTIDIANOS

(a) A dice que B es veraz Dato (b) B no es veraz (1) Def comn u (c) A no es veraz (a)(b) Def de veraz, girada (6) A es normal (4)(5) Por exclusin o

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. 2. A partir de los mismos datos, demuestre directamente que A no es veraz y que si A es mitmano entonces B es normal. o 3. Demuestre directamente las armaciones del primer grupo del repertorio sobre veraces y mitmanos. o 4. Demuestre directamente las armaciones del tercer grupo del repertorio sobre veraces y mitmanos. o

11 Paradojas clebres e
Paradoja del mentiroso Si x es cretense y x dice que todo cretense es mitmano o entonces no todo cretense es mitmano: o (1) (2) (3) (4) x es cretense x dice que todo cretense es mitmano o Hpt x es mitmano o x no es mitmano o o Axioma Si x es mitmano ent no todo cretense es mitmano: o o (a) x es mitmano o Hpt (b) x dice que todo cretense es mitmano o (2) De lo ident (c) No todo cretense es mitmano o (a)(b) Def de mit Epimnides. Siglo VI, a.J. e

 11. PARADOJAS CELEBRES (5) Si x no es mitmano ent no todo cretense es mitmano: o o (a) (b) (c) (d) (e) x no es mitmano o Hpt x es cretense y x no es mitmano o (1)(a) De lo ident Existe y tal que y es cretense y y no es mitmano o (b) Alg cretense no es mitmano o (c) Trad No todo cretense es mitmano o (d) Giro (3)(4)(5) Por casos

19

(6) No todo cretense es mitmano o Paradoja del barbero

Bertrand Russell. 18721970

No existe x tal que, para todo y, x rasura a y si, y slo si, y no rasura a y: o (1) Existe x tal que, para todo y, x rasura a y ssi y no rasura a y Neg (2) Para todo y, B rasura a y ssi y no rasura a y Def de B (3) B rasura a B ssi B no rasura a B (2) De lo gral (4) B rasura a B si B no rasura a B (5) B rasura a B slo si B no rasura a B o (3) De la conj (6). B rasura a B: (a) (b) (c) (d) (a) (b) (c) (d) B rasura a B o B no rasura a B Axioma Si B rasura a B ent B rasura a B Axioma Si B no rasura a B ent B rasura a B (4) Trad B rasura a B (a)(b)(c) Por casos B rasura a B o B no rasura a B Axioma Si B rasura a B ent B no rasura a B (5) Trad Si B no rasura a B ent B no rasura a B Axioma B no rasura a B (a)(b)(c) Por casos

(7). B no rasura a B:

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. 2. Si x es hermano de todo hermano de y entonces x no es hermano de y:

20
(1) (2) (3) (4) (5) (6)

CAP ITULO I. EJEMPLOS COTIDIANOS

x es hno de todo hno de y Hpt Para todo z, si z es hno de y ent x es hno de z (1) Trad Si x es hno de y ent x es hno de x (2) De lo gral x no es hno de x Def de hno Si x no es hno de x ent x no es hno de y (3) Giro x no es hno de y (4) Por (5)

Reproduzca esta demostracin. o Cundo x es hermano de todo hermano de y? Cuando el padre de x se casa con la madre a de y, y de ese matrimonio nacen todos los hermanos que tiene y. Tambin cuando x es y. e

* 12 Denicin de igualdad o
Se dice que x = y si, y slo si, x y y son el mismo objeto. La negacin de o o esta frmula es x = y, es decir, x es diferente de y. o

Leyes de la igualdad
x = x. Reexiva Si x = y entonces y = x. Simtrica e Si x = y y y = z entonces x = z. Transitiva Si x = y entonces peso de x = peso de y. De monoton a Si x es hermano de y, x = x , y y = y , entonces x es hermano de y . De sustitucin o Estas leyes son vlidas por denicin: Son axiomas. a o Segn la ley de monoton dadas dos cosas iguales, al aplicarles la misma u a, operacin los resultados son iguales. o Segn la ley de sustitucin, se pasa de la hiptesis a la tesis sustituyendo u o o iguales por iguales en la proposicin de base. La proposicin de base es o o una parte de la hiptesis que se parece a la tesis. La hiptesis consta de la o o proposicin de base en conjuncin con ciertas igualdades anexas. o o A continuacin se repite el ejemplo anterior, subrayando en la proposicin o o de base lo que se sustituye: Si x es hermano de y, x = x , y y = y , entonces x es hermano de y .

EJERCICIOS
1. Si x fuma y y no fuma entonces x = y:

 12. DEFINICION DE IGUALDAD

(1) (2) (3) (4). (5). x fuma y y no fuma y x = y x fuma (1) De la conj x=y (1) De la conj y fuma (2)(3) Def de = y no fuma (1) De la conj Neg

21

Reproduzca esta demostracin. Escriba aparte la condicional de (2) y (3) a (4). Marque o la proposicin de base. o 2. Si x es veraz y y es mitmano entonces x = y: o (1) (2) (3) (4). (5) (6). x es veraz y y es mitmano y x = y o x es veraz (1) De la conj x=y (1) De la conj y es veraz (2)(3) Def de = y es mitmano o (1) De la conj y no es veraz (5) Def comn u Neg

Escriba la condicional de (2) y (3) a (4). Subraye en la proposicin de base lo que se o sustituye. 3. Si x es hermano de y entonces x = y: (1) (2). (3). x es hno de y y x = y Neg y es hno de y (1) Def de = y no es hno de y Def de hno

Escriba la condicional de (1) a (2). Subraye en la proposicin de base lo que se sustituye. o 4. Si x es diferente de todo socio de y entonces x no es socio de y:

22

CAP ITULO I. EJEMPLOS COTIDIANOS

Cap tulo II ALGEBRA DE CONJUNTOS

El algebra de conjuntos versa sobre las operaciones de unin, interseccin, o o resta y producto cartesiano. Al igual que en el primer cap tulo, cada resultado se demuestra aqu por cuenta propia, a partir de los axiomas, sin tener que recurrir a resultados anteriores. En este sentido el segundo cap tulo viene a ser prolongacin del primero, o y constituye una oportunidad para rearmar los hbitos adquiridos en el a primer cap tulo.

* 13 Conjuntos
Se hablar de conjuntos A, B, C, . . . y de sus elementos x, y, z, . . . Se esa cribe x A en lugar de cualquiera de las frases siguientes: x est en A, a x pertenece a A, x es elemento de A. Se dice que A est contenido en B, o que A es subconjunto de B, en a s mbolos A B, si y slo si todo elemento de A es elemento de B. o

Propiedades
AA: Reexiva (1) Para todo x, si x A ent x A: (a) x A (b) x A Hpt (a) Desc 23

24 (2) (3)

CAP ITULO II. ALGEBRA DE CONJUNTOS Todo elm de A es elm de A AA (2) Def de (1) Trad

Si A B y B C entonces A C: (1) (2) (3) (4) (5) (6) (7)

Transitiva

AB Hpt Todo elm de A es elm de B (1) Def de Para todo x, si x A ent x B (2) Trad BC Hpt Todo elm de B es elm de C (4) Def de Para todo x, si x B ent x C (2) Trad Para todo y, si y A ent y C: (a) (b) (c) (d) (e) yA Si y A yB Si y B yC Hpt ent y B (3) Desc (a) Por (b) ent y C (6) Desc (c) Por (d) (7) Trad Axioma de igualdad

(8) (9)

Todo elm de A es elm de C AC (8) Def de

Si A B y B A entonces A = B.

Segn este axioma, si todo elemento de A es elemento de B, y todo elemento u de B es elemento de A, entonces A = B. Esto signica que un conjunto se conoce por sus elementos. Se denen el vac , intersecar y ajenidad, como sigue: o, No existe x tal que x . Def de A interseca a B ssi algn elm de A es elm de B. u Def A es ajeno a B ssi ningn elm de A es elm de B. u Def

EJERCICIOS
1. 2. 3. 4. Reproduzca las dos demostraciones anteriores. Para todo B, B: Si x A y x B entonces A interseca a B. Si A es ajeno a B y x A entonces x B: /

5. Si A es ajeno a B y x B entonces x A: /

 14. UNION E INTERSECCION

25

* 14 Unin e interseccin o o
Se denen la unin A B, y la interseccin A B, mediante los siguieno o tes axiomas: x A B si, y slo si, x A o x B. o Def de x A B si, y slo si, x A y x B. o Def de

Propiedades algebraicas
AB =BA AB =BA Conmutativas Asociativas Distributivas

(A B) C = A (B C) (A B) C = A (B C)

A (B1 B2 ) = (A B1 ) (A B2 ) A (B1 B2 ) = (A B1 ) (A B2 )

Cada igualdad se descompone en dos inclusiones, las cuales se demuestran a partir de los axiomas.

Ejemplos
(A B) C A (B C): (1) Para todo x, si x (A B) C ent x A (B C): (a) b) c) d) e) f) g) h) i) j) k) x (A B) C Hpt xAB y xC (a) Def de xAB xC (b) Desc xAyxB (c) Def de xA xB (e) Desc xB yxC (g)(d) Desc xBC (h) Def de xA y xBC (f)(i) Desc x A (B C) (j) Def de

26 (2) (3)

CAP ITULO II. ALGEBRA DE CONJUNTOS Todo elm de (A B) C es elm de A (B C) (A B) C A (B C) (2) Def de (1) Trad

A B B A: Para todo x, si x A B entonces x B A: (1) (2) (3) xAB Hpt xAoxB (1) Def de Si x A ent x B A: (a) x A Hpt (b) x B o x A (a) Desc, de la parte a la disy (c) x B A (b) Def de (4) Si x B ent x B A: (a) x B Hpt (b) x B o x A (a) Desc (c) x B A (b) Def de (5) xBA (2)(3)(4) Por casos

EJERCICIOS
1. A (B1 B2 ) (A B1 ) (A B2 ): 2. (A B1 ) (A B2 ) A (B1 B2 ): 3. A (B1 B2 ) (A B1 ) (A B2 ): 4. (A B1 ) (A B2 ) A (B1 B2 ): 5. A (B C) (A B) C:

15 Diferencia
Axiomas
x A B si, y slo si, x A y x B. o / x A B si, y slo si, x A o x B. / o / Def de Giro

15. DIFERENCIA

27

Propiedades
(A B) C = A (B C), A (A B) = A B. Restas iteradas (A1 A2 ) B = (A1 B) (A2 B), (A1 A2 ) B = (A1 B) (A2 B). A (B1 B2 ) = (A B1 ) (A B2 ), A (B1 B2 ) = (A B1 ) (A B2 ). Distributivas De de Morgan

Ejemplos
(A B) C A (B C): Para todo x, si x (A B) C entonces x A (B C): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) x (A B) C Hpt xAB y xC / (1) Def de xAB xC / (2) Desc xAyxB / (3) Def de xA xB / (5) Desc xB yxC / / (7)(4) Desc xBC / (8) Def de , girada xA y xBC / (6)(9) Desc x A (B C) (10) Def de

A (A B) A B: Para todo x, si x A (A B) entonces x A B: (1) (2) (3) (4) (5) (6) (7) (8) x A (A B) Hpt xA y xAB / (1) Def de xA xAB / (2) Desc xAoxB / (3) Def de , girada xB (5)(3) Por exclusin o xAyxB (3)(6) Desc xAB (10) Def de

28

CAP ITULO II. ALGEBRA DE CONJUNTOS

A (B1 B2 ) (A B1 ) (A B2 ): Para todo x, si x A (B1 B2 ) entonces x (A B1 ) (A B2 ): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) x A (B1 B2 ) Hpt x A y x B 1 B2 / (1) Def de xA x B 1 B2 / (2) Desc x B 1 y x B2 / / (4) Def de , girada x B1 / x B2 / (5) Desc x A B1 (3)(6) x A B2 (3)(7) Def de x (A B1 ) (A B2 ) (8)(9) Def de

EJERCICIOS
1. Reproduzca las tres demostraciones anteriores. 2. Demuestre las inclusiones inversas de las tres anteriores. 3. A (B1 B2 ) = (A B1 ) (A B2 ): 4. A (B1 B2 ) = (A B1 ) (A B2 ):

16 Producto cartesiano
Por denicin, el producto cartesiano A B es el conjunto de los pares o (x, y) tales que x A y y B.

Axiomas
(x, y) A B si, y slo si, x A y y B. o (x, y) A B si, y slo si, x A o y B. / o / / Def de Giro

Propiedades
A (B1 B2 ) (A B1 ) (A B2 ): Para todo (x, y), si (x, y) A(B1 B2 ) entonces (x, y) (AB1 )(AB2 ):

16. PRODUCTO CARTESIANO (1) (2) (3) (4) (5) (6) (x, y) A (B1 B2 ) Hpt x A y y B 1 B2 (1) Def de xA y B 1 B2 (2) Desc y B 1 o y B2 (4) Def de Si y B1 ent (x, y) (A B1 ) (A B2 ): (a) (b) (c) (d) (e) (a) (b) (c) (d) (e) y B1 Hpt x A y y B1 (3)(a) Desc (x, y) A B1 (b) Def de (x, y) A B1 o (x, y) A B2 (c) Desc (x, y) (A B1 ) (A B2 ) (d) Def de y B2 Hpt x A y y B2 (3)(a) (x, y) A B2 (b) Def de (x, y) A B1 o (x, y) A B2 (c) Desc (x, y) (A B1 ) (A B2 ) (d) Def de (5)(6)(7) Por casos

29

(7) Si y B2 ent (x, y) A B2 :

(8) (x, y) (A B1 ) (A B2 )

A (B1 B2 ) (A B1 ) (A B2 ): Para todo (x, y), si (x, y) A (B1 B2 ) ent (x, y) (A B1 ) (A B2 ): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (x, y) A (B1 B2 ) Hpt x A y y B 1 B2 (1) Def de xA y B 1 B2 (2) Desc y B 1 y y B2 (4) Def de y B1 y B2 (5) Desc x A y y B1 (3)(6) x A y y B2 (3)(7) Desc (x, y) A B1 (8) (x, y) A B2 (9) Def de (x, y) (A B1 ) (A B2 ) (10)(11) Def de

30

CAP ITULO II. ALGEBRA DE CONJUNTOS

EJERCICIOS
1. A (B1 B2 ) = (A B1 ) (A B2 ): 2. A (B1 B2 ) = (A B1 ) (A B2 ): 3. A (B1 B2 ) = (A B1 ) (A B2 ):

17 Familias de conjuntos
Familia de conjuntos es un sistema (Ai )iI que a cada ndice i I le asocia un conjunto Ai . Se denen la unin y la interseccin, de una familia tal, como sigue: o o x Ai si, y slo si, existe i tal que i I y x Ai . o Def de
iI

x
iI

Ai si, y slo si, para todo i, si i I entonces x Ai . o , o bien

i

Def de

Se escribe simplemente

, cuando se sobreentiende que i I.

Propiedades
Ai
iI

B
iI

(Ai B): Ai ) B entonces x (Ai B):

Para todo x, si x ( (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13)

x ( Ai ) B Hpt x Ai y x B / (1) Def de x Ai xB / (2) Desc Existe i tal que i I y x Ai (3) Def de i I y x Ai Def de i iI x Ai (6) Desc x Ai y x B / (8)(4) Desc x Ai B (9) Def de i I y x Ai B (7)(10) Desc Existe i tal que i I y x Ai B (11) Desc x (Ai B) (12) Def de

17. FAMILIAS DE CONJUNTOS Ai

iI

31

B
iI

(Ai B): Ai ) B entonces x (Ai B):

Para todo x, si x ( (1) (2) (3) (4) (5) (6)

x ( Ai ) B Hpt x Ai y x B / (1) Def de x Ai xB / (2) Desc Para todo i, si i I ent x Ai (3) Def de Para todo i, si i I ent x Ai B: (a) (b) (c) (d) (e) iI Hpt Si i I ent x Ai (5) Desc x Ai (a) Por (b) x Ai y x B / (c)(4) Desc x Ai B (d) Def de (Ai B) (6) Def de

(7) x

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. 2. Demuestre las inclusiones inversas de las dos anteriores. 3. A Bi (A Bi ): 4. (A Bi ) A Bi : 5. A Bi (A Bi ): 6. (A Bi ) A Bi : 7. A 8. A Bi = Bi = (A Bi ): (A Bi ): Ai :
iI

Distributiva Distributiva De de Morgan

9. Si I = entonces no existe x tal que x 10. Si I = entonces, para todo x, x

iI

Ai :

32

CAP ITULO II. ALGEBRA DE CONJUNTOS

Cap tulo III FUNCIONES E IMAGEN

Se observar la frecuencia con que se usan aqu los axiomas de la igualdad. a Esto se debe a que los conceptos de funcin, inyectividad, suprayectividad, e o imagen directa, se denen en trminos de la igualdad. e Se emplearn las frases para todo x A, existe x A tal que, en cona textos como los siguientes: Para todo x A, f (x) = y. Para todo x, si x A entonces f (x) = y. Existe x A tal que f (x) = y. Existe x tal que x A y f (x) = y. Forma abreviada Traduccin o Forma abreviada Traduccin o

Se usarn los s a mbolos (para todo), (existe), tlq (tal que), y ! (existe un solo).

18 Funciones
Correspondencia es cualquier conjunto f de pares ordenados (x, y). x Dom f si, y slo si, existe t tal que (x, t) f . o y Crs f si, y slo si, existe t tal que (t, y) f . o Si (x, y) f entonces x Dom f y y Crs f : (1) (2) (3) (4) (5) (x, y) f Hpt t tlq (x, t) f (1) Desc x Dom f (2) Def de Dom t tlq (t, y) f (1) Desc y Crs f (4) Def de Crs 33 Def de dominio Def de curso

34

CAP ITULO III. FUNCIONES E IMAGEN

Se dice que f le asocia a x el valor y si, y slo si, (x, y) f . o Funcin es una correspondencia f que a cada x Dom f le asocia un slo o o valor y. Este valor unico suele llamarse f (x). En otros trminos: e f es funcin si, y slo si, f es correspondencia y, dados x, y1 , y2 , si o o (x, y1 ), (x, y2 ) f entonces y1 = y2 . Def de funcin o Si f es funcin entonces f (x) = y si, y slo si, (x, y) f . o o Def de f (x) Si f es funcin y x Dom f entonces (x, f (x)) f : o (1) (2) (3) (4) (5) (6) (7) f es funcin o x Dom f Hpt t tlq (x, t) f (2) Def de Dom (x, t) f Def de t f (x) = t ssi (x, t) f (1) Def de f (x) f (x) = t (4) Por (5) (x, f (x)) f (4)(6) Def de =

Se dice que f va de A a B si, y slo si, f es funcin, Dom f = A y, para o o todo x A, f (x) B. Def de incidencia Si f va de A a B y B C entonces f va de A a C: (1) (2) (3) (4) (5) (6) (7) f va de A a B Hpt f es funcin o Dom f = A x A, f (x) B (1) Def de incid BC Hpt y, si y B ent y C (5) Def de x A, f (x) C: () () () () (8) xA Hpt f (x) B () Por (4) Si f (x) B ent f (x) C f (x) C () Por ()

(6) Desc

f va de A a C

(2)(3)(7) Def de incid

Si Dom f = D, Dom g = D y, para todo x D, f (x) = g(x), entonces f = g. Axioma de igualdad

 19. COMPOSICION

35

EJERCICIO
1. Reproduzca las tres demostraciones anteriores.

19 Composicin o
Si f va de A a B, y g va de B a C, entonces existe tal que es funcin, Dom = A y, para todo x A, (x) = g(f (x)): o (1) (2) (3) (4) f va de A a B g va de B a C Hpt (x, z) ssi x A y z = g(f (x)) es funcin: o

Def de

() es corresponencia (3) Def de correspondencia () Si (x, z1 ), (x, z2 ) ent z1 = z2 : (1 ) (2 ) (3 ) (4 ) (5 ) (6 ) (7 ) (x, z1 ) (x, z2 ) Hpt x A y z1 = g(f (x)) (1 ) x A y z2 = g(f (x)) (2 ) Def de z1 = g(f (x)) (3 ) z2 = g(f (x)) (4 ) Desc z1 = z2 (5 )(6 ) Def de = ()() Def de funcin o

() es funcin o (5) Dom = A:

() x, si x Dom ent x A: (1 ) (2 ) (3 ) (4 ) (5 ) x Dom Hpt y tlq (x, y) (1 ) Def de Dom (x, y0 ) Def de y0 x A y y0 = g(f (x)) (3 ) Def de xA (4 ) Desc

() x, si x A ent x Dom : (1 ) x A Hpt (2 ) z0 = g(f (x)) Def de z0

36 (3 ) (4 ) (5 ) (6 ) (6) () () () () ()

CAP ITULO III. FUNCIONES E IMAGEN x A y z0 = g(f (x)) (1 )(2 ) (x, z0 ) (4 ) Def de z tlq (x, z) (4 ) Desc x Dom (5 ) Def de Dom

x A, (x) = g(f (x)): xA Hpt x Dom ()(5) = (x, (x)) (4)() Dm x A y (x) = g(f (x)) () Por (3) (x) = g(f (x)) () Desc

Puesto que existe tal que es funcin, Dom = A y, para todo x A, o (x) = g(f (x)), hay que ponerle nombre. El nombre usual es g f . Dicho de otro modo: Si f va de A a B y g va de B a C, se dene la composicin g f de tal o modo que g f es funcin, o Dom (g f ) = A, y, para todo x A, (g f )(x) = g(f (x)). g f se lee g de f , o g precedida de f , o f seguida de g.

EJERCICIOS
1. Reproduzca la demostracin anterior. o 2. Si f va de A a B, y g va de B a C, entonces g f va de A a C:

20 Infra, Supra, Biyectiva

Se dice que f : A B es inyectiva si, y slo si, f va de A a B y, dados o x1 , x2 A, si x1 = x2 entonces f (x1 ) = f (x2 ). Def de inyectiva Si f : A B y g : B C son inyectivas entonces g f : A C es inyectiva: (1) (2) f : A B es inyectiva f va de A a B Hpt

20. INFRA, SUPRA, BIYECTIVA (3) (4) (5) (6) (7) (8) x1 , x2 A, si x1 = x2 ent f (x1 ) = f (x2 ) (1) Def de inyect g : B C es inyect Hpt g va de B a C y1 , y2 B, si y1 = y2 ent g(y1 ) = g(y2 ) (4) Def de inyect g f va de A a C (2)(5) Dm x1 , x2 A, si x1 = x2 ent (g f )(x1 ) = (g f )(x2 ): () () () () () () () () () () x1 A x2 A x 1 = x2 Hpt f (x1 ) B () f (x2 ) B () Por (2) f (x1 ) = f (x2 ) ()()() Por (3) g(f (x1 )) = g(f (x2 )) ()( )() Por (6) g(f )(x1 )) = (g f )(x1 ) (2)(5)() g(f (x2 )) = (g f )(x2 ) (2)(5)() Def de (g f )(x1 ) = (g f )(x2 ) ()()() Def de = (7)(8) Def de inyect

37

(9) g f : A C es inyectiva

Se dice que f : A B es suprayectiva si, y slo si, f va de A a B y, para o todo y B, existe x A tal que f (x) = y. Def de suprayectiva Si f : A B y g : B C son suprayectivas entonces g f : A C es suprayectiva: (1) (2) (3) (4) (5) (6) (7) (8) f : A B es suprayectiva Hpt f va de A a B y B, x A tlq f (x) = y (1) Def de supra g : B C es suprayectiva Hpt g va de B a C z C, y B tlq g(y) = z (4) Def de supra g f va de A a C (2)(5) Dm z C, x A tlq (g f )(x) = z: () z C Hpt () y B tlq g(y) = z () Por (6)

38 () () () () () () () () () () () (9)

CAP ITULO III. FUNCIONES E IMAGEN y0 B g(y0 ) = z Def de y0 x A tlq f (x) = y0 () Por (3) x0 A f (x0 ) = y0 Def de x0 g(f (x0 )) = g(y0 ) () Def de = g(f (x0 )) = z ()() Def de = g(f (x0 )) = (g f )(x0 ) (2)(5)() Def de (g f )(x0 ) = z ()() Def de = x0 A y (g f )(x0 ) = z ()() x tlq x A y (g f )(x) = z () Desc (7)(8) Def de supra

g f : A C es suprayectiva

Se dice que f : A B es biyectiva si, y slo si, f : A B es inyectiva y o suprayectiva a la vez.

EJERCICIOS
1. Reproduzca la primera demostracin. o 2. Reproduzca la segunda demostracin. o 3. Si f : A B y g : B C son biyectivas entonces g f : A C es biyectiva:

21 Imagen Directa
Dada f : X Y , a cada conjunto A X se le asocia su imagen f (A) como el conjunto de los f (x) tales que x A.

Axiomas
Si x A entonces f (x) f (A). Si y f (A) entonces existe x tal que x A y f (x) = y. Def de imagen

Propiedades
f
iI

Ai

=
iI

f (Ai ), f
iI

Ai

iI

f (Ai ), f (A1 A2 ) f (A1 ) f (A2 ).

21. IMAGEN DIRECTA Si A1 A2 entonces f (A1 ) f (A2 ).

39

Ejemplos
f
iI

Ai

iI

f (Ai ): Ai ) entonces y f (Ai ):

Para todo y, si y f ( (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)

y f ( Ai ) Hpt Existe x tal que x Ai y f (x) = y (1) Def de imgn x0 Ai y f (x0 ) = y (1) Def de x0 x 0 Ai f (x0 ) = y (3) Desc Existe i tal que i I y x0 Ai (4) Def de j I y x 0 Aj Def de j jI x0 Aj (7) Desc f (x0 ) f (Aj ) (9) Def de imagen y f (Aj ) (10)(5) Def de = j I y y f (Aj ) (8)(11) Desc Existe i tal que i I y y f (Ai ) (12) Desc y f (Ai ) (13) Def de

f (A1 A2 ) f (A1 ) f (A2 ): Para todo y, si y f (A1 ) f (A2 ) entonces y f (A1 A2 ): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) y f (A1 ) f (A2 ) Hpt y f (A1 ) e y f (A2 ) / (1) Def de y f (A1 ) y f (A2 ) / (2) Desc Existe x tal que x A1 y f (x) = y (3) Def de imgn x0 A1 y f (x0 ) = y Def de x0 x0 A1 f (x0 ) = y (6) Desc Si x0 A2 ent f (x0 ) f (A2 ) Def de imgn f (x0 ) f (A2 ) / (4)(8) Def de =

40 (11) (12) (13) (14) (15) (16)

CAP ITULO III. FUNCIONES E IMAGEN Si f (x0 ) f (A2 ) ent x0 A2 / / (9) Giro x0 A2 / (10) Por (11) x 0 A 1 y x0 A 2 / (7)(12) Desc x 0 A1 A2 (13) Def de f (x0 ) f (A1 A2 ) (14) Def de imgn y f (A1 A2 ) (15)(8) Def de =

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. 2. Si A1 A2 entonces f (A1 ) f (A2 ): 3.
iI

f (Ai ) f
iI

Ai : f (Ai ):
iI

4. f
iI

Ai

5. f () = :

22 Caso Inyectivo
Sea f : X Y , inyectiva. En este caso valen las propiedaes que se demuestran aqu aparte de las ya demostradas para toda f . Nuevamente, , A, A1 , A2 , . . . son subconjuntos de X. Si x A entonces f (x) f (A): / / .(1) (2) (3) (4) (5) (6) (7) (8) (9) .(10) xA / f (x) f (A) Neg Existe t tal que t A y f (t) = f (x) (2) Def de imgn t0 A y f (t0 ) = f (x) Def de t0 t0 A f (t0 ) = f (x) (4) Desc Si t0 = x ent f (t0 ) = f (x) Porque f es inyect Si f (t0 ) = f (x) ent t0 = x (7) Giro t0 = x (6) Por (8) xA (5)(9) Def de = Lema

22. CASO INYECTIVO f (A1 A2 ) f (A1 ) f (A2 ): Para todo y, si y f (A1 A2 ) entonces y f (A1 ) f (A2 ): (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) y f (A1 A2 ) Hpt Existe x tal que x A1 A2 y f (x) = y (1) Def de imgn x0 A1 A2 y f (x0 ) = y Def de x0 x 0 A1 A2 f (x0 ) = y (3) Desc x 0 A 1 y x0 A 2 / (4) Def de x0 A1 x0 A2 / (6) Desc f (x0 ) f (A1 ) (7) Def de imgn f (x0 ) f (A2 ) / (8) Por lema f (x0 ) f (A1 ) f (A2 ) (9)(10) Def de y f (A1 ) f (A2 ) (11)(5) Def de =

41

EJERCICIOS
1. Reproduzca las dos demostraciones anteriores. 2. f
iI

Ai

iI

f (Ai ): f (Ai ) entonces y f ( Ai ): Def de

Para todo y, si y (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11)

y f (Ai ) Hpt Para todo i, si i I ent y f (Ai ) Existe i tal que i I Hpt adic jI Def de j Si j I ent y f (Aj ) (2) Desc y f (Aj ) (4) Por (5) Existe x tal que x Aj y f (x) = y x0 Aj y f (x0 ) = y Def de x0 x 0 Aj f (x0 ) = y (8) Desc Para todo i, si i I ent x0 Ai :

(6) Def de imgn

(a) i I Hpt (b) Si i I ent y f (Ai ) (2) Desc (c) y f (Ai ) (a) Por (b) (d) f (x0 ) f (Ai ) (c)(10) Def de =

42

CAP ITULO III. FUNCIONES E IMAGEN

(e) Si x0 Ai ent f (x0 ) f (Ai ) / / (f) Si f (x0 ) f (Ai ) ent x0 Ai (g) x0 Ai (d) Por (f) Lema (e) Giro

Complete esta demostracin. o 3. Si A1 es ajeno a A2 entonces f (A1 ) es ajeno a f (A2 ): Nota.- Se dice que A1 es ajeno a A2 si, y slo si, ningn elemento de A1 es elemento de o u A2 .

23 Imagen Inversa
Dada f : X Y , a cada B Y se le asocia su imagen inversa f 1 (B), formada de los x tales que f (x) B.

Axioma
x f 1 (B) si, y slo si, f (x) B. o Def de f 1

Propiedades
f 1 ( Bi ) = f 1 (Bi ), f 1 ( Bi ) = 1 1 1 f (B1 B2 ) = f (B1 ) f (B2 ). f 1 (Bi ),

Si B1 B2 entonces f 1(B1 ) f 1(B2 ). Como se ve, la imagen inversa se porta bien con las operaciones algebraicas, lo que no ocurre con la imagen directa, a menos que f sea inyectiva. f 1(B1 B2 ) f 1(B1 ) f 1(B2 ): Para todo x, si x f 1 (B1 B2 ) entonces x f 1 (B1 ) f 1 (B2 ): (1) (2) (3) (4) (5) (6) (7) (8) x f 1 (B1 B2 ) Hpt f (x) B1 B2 (1) Def de f 1 f (x) B1 y f (x) B2 / (2) Def de f (x) B1 f (x) B2 / (3) Desc 1 x f (B2 ) (4) Def de f 1 x f 1 (B2 ) / (5) Def de f 1 , girada x f 1 (B1 ) f 1 (B2 ) (6)(7) Def de

24. REFLEXIONES Si B1 B2 entonces f 1(B1 ) f 1(B2 ): (1) B1 B2 Hpt (2) Para todo y, si y B1 ent y B2 (1) Def de 1 1 (3) Para todo x, si x f (B1 ) ent x f (B2 ): (a) (b) (c) (d) (e) x f 1 (B1 ) Hpt f (x) B1 (a) Def de f 1 Si f (x) B1 ent f (x) B2 (2) Desc f (x) B2 (b) Por (c) 1 x f (B2 ) (d) Def de f 1 (3) Def de

43

(4) f 1 (B1 ) f 1 (B2 ) f 1

iI

Bi

iI

f 1(Bi ): f 1 (Bi ) ent x f 1 ( Bi ): (1) Def de

Para todo x, si x

(1) x f 1 (Bi ) Hpt (2) Para todo i, si i I ent x f 1 (Bi ) (3) Para todo i, si i I ent f (x) Bi : (a) (b) (c) (d)

iI Hpt Si i I ent x f 1 (Bi ) (2) Desc 1 x f (Bi ) (a) Por (b) f (x) Bi (c) Def de f 1 (3) Def de (4) Def de f 1

(4) f (x) Bi (5) x f 1 ( Bi )

EJERCICIOS
1. Reproduzca las tres demostraciones anteriores. 2. Demuestre las inclusiones inversas de las dos anteriores. 3. f 1 () = : 4. Si B1 es ajeno a B2 entonces f 1 (B1 ) es ajeno a f 1 (B2 ):

24 Reexiones
Reexin de A es una funcin inyectiva f : A A. o o

44

CAP ITULO III. FUNCIONES E IMAGEN

Si f : A A es inyectiva, y x A f (A), entonces los elementos x, f (x), f f (x), . . . son distintos entre si, es decir, x = f (x), x = f f (x), x = f f f (x), f (x) = f f (x), f (x) = f f f (x), f (x) = f f f f (x), f f (x) = f f f (x), f f (x) = f f f f (x), f f (x) = f f f f f (x),

Demostracin: o
(1) (2) (3) (4) (5) (6) (7) (8) f : A A es inyect Hpt f va de A a A Dados t1 , t2 A, si t1 = t2 ent f (t1 ) = f (t2 ) (1) Def de inyect Para todo t, si t A ent f (t) A (2) Def de incidencia x A f (A) Hpt xA x f (A) / (5) Def de x A, f (x) A, f f (x) A, . . .: (a) x A (6) Desc (b) Si x A ent f (x) A (4) Desc (c) f (x) A (a) Por (b) (d) Si f (x) A ent f f (x) A (4) Desc (e) f f (x) A (c) Por (d) f (x) f (A), f f (x) f (A), f f f (x) f (A), . . . x = f (x), x = f f (x), x = f f f (x), . . .:

(9) (10)

(8) Def de imgn

(11) (12)

(a) x f (A) / (7) Desc (b) f (x) f (A) (9) Desc (c) x = f (x) (a)(b) Def de =, girada (d) f f (x) f (A) (9) Desc (e) x = f f (x) (a)(d) Def de =, girada f (x) = f f (x), f (x) = f f f (x), f (x) = f f f f (x), . . . (10) Por (3) f f (x) = f f f (x), f f (x) = f f f f (x), f f (x) = f f f f f (x), . . . (11) Por (3)

24. REFLEXIONES

45

EJERCICIOS
1. Reproduzca la demostracin anterior. o 2. Si U A B entonces U A: 3. Si U A B entonces U es ajeno a B: 4. Si U es ajeno a M , y V M , entonces U es ajeno a V : 5. Si f va de A a A entonces, para todo E, si E A entonces f (E) A: 6. Si f : A A es inyectiva, y U A f (A), entonces los conjuntos U, f (U ), f f (U ), . . . son ajenos entre si:

46

CAP ITULO III. FUNCIONES E IMAGEN

Cap tulo IV EJEMPLOS GEOMETRICOS

Los objetos bsicos de la geometr son los puntos A, B, C . . ., las reca a tas a, b, c . . . y los planos , , , . . .. Los puntos son los atomos del espa cio geomtrico. Las rectas y los planos son conjuntos de puntos, denidos e impl citamente mediante ciertos axiomas que se irn introduciendo al avana zar. En vez de P se dice que la recta pasa por el punto P . En vez de se dice que el plano pasa por la recta . Materialmente, toda recta es como un hilo tenso que se prolonga sin n en ambas direcciones. Todo plano es como una placa que se extiende sin n en todas las direcciones. Estas ideas ayudan a formular los axiomas y a intuir los resultados, pero no a demostrarlos. Esto ultimo se logra mediante las tcnicas introducidas en el cap e tulo I. En los apartados 25, 26, 27 se ejercita la denicin de cortar, en sus tres o modalidades: rectarecta, rectaplano y planoplano. En 28 se practica la denicin de paralelismo, tambin en sus tres modalidades. o e En las demostraciones de este cap tulo, los resultados del algebra de conjuntos que se utilicen sern registrados como algebraicos. a

* 25 Intersecar y cortar
La nocin de intersecar se reere a conjuntos en general. La de cortar se o reere a rectas y planos. Denicin de intersecar: o interseca a ssi existe P tal que P y P . Denicin de cortar: o 47

48

CAP ITULO IV. EJEMPLOS GEOMETRICOS

corta a m ssi interseca a m y = m. corta a ssi interseca a y . corta a ssi interseca a y = .

Consecuencias inmediatas:
Si es (1) (2) (3) (4). (5) (6). Si = (1) (2) (3) (4). (5). ajena a m entonces no corta a m: es ajena a m y corta a m Neg corta a m (1) interseca a m y = m (2) Def de cortar interseca a m (3) es ajena a m (1) no interseca a m (5) Def comn u m entonces no corta a m: = m y corta a m Neg corta a m (1) Desc interseca a m y = m (2) Def de cortar =m (3) Desc =m (1) Desc corta a m entonces es ajena a m o no corta a m Hpt no es ajena a m y = m Neg tesis no es ajena a m (2) Desc interseca a m (3) Def comn u interseca a m y = m (4)(2) Desc corta a m (5) Def de cortar = m:

Si no (1) (2) (3) (4) (5) (6).

 26. AXIOMAS GEOMETRICOS

49

Estos resultados se llaman inmediatos porque se demuestran a partir de las deniciones, sin que intervengan resultados previamente demostrados.

EJERCICIOS
1. Reproduzca las tres demostraciones anteriores. 2. Si Si Si no corta a entonces es ajena a o es ajena a entonces no corta a : entonces no corta a : :

3.

Si no corta a entonces es ajeno a o = : Si es ajeno a entonces no corta a : Si = entonces no corta a :

* 26 Axiomas geomtricos e
Primeros axiomas:
Todo plano contiene rectas que se cortan. Toda recta tiene ms de un punto. a Si dos planos se intersecan, su interseccin tiene ms de un punto. o a Dados P, Q, puntos diferentes, existe una recta unica, llamada recta P Q, que pasa por P y por Q.

Axiomas
P, Q recta P Q. Si P, Q y P = Q entonces = recta P Q. Def de recta P Q

Si P, Q y P = Q entonces recta P Q . Dados P y , tales que no pasa por P , existe un plano unico, llamado plano P , que pasa por P y por .

Axiomas
P plano P . plano P . Si P y , y P , entonces = plano P .Def de plano P . /

50

CAP ITULO IV. EJEMPLOS GEOMETRICOS

Consecuencias:
Si m entonces = m: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) m Hpt tiene ms de un punto a Axioma P, Q tlsq P, Q y P = Q (2) Trad P, Q y P = Q Def de P, Q P, Q y m (4)(1) P, Q m (5) Algeb P, Q m y P = Q (6)(4) = recta P Q (4) m = recta P Q (7) Def de recta P Q =m (8)(9) Def de = corta a Hpt interseca a = (1) Def de cortar tiene ms de un punto a (2) Axioma P, Q tlsq P, Q y P = Q (4) Trad P, Q P =Q Def de P, Q P, Q P, Q (6) Algeb

Si corta a entonces es una recta:

recta P Q (8)(7) recta P Q (9)(7) Axioma recta P Q (10)(11) Algeb recta P Q: (a) (b) (c) (d) (e) (f) recta P Q Neg R tlq R y R recta P Q / R R recta P Q / Def de R RyR (c) Algeb R y recta P Q (e)(10) (a) Algeb

 27. PEQUENO REPERTORIO (g) (h) (i) (j). (14) R y recta P Q (e)(11) = plano (R recta P Q) (f) = plano (R recta P Q) (g) Def de plano (R recta P Q) = (h)(i) Def de = (12)(13) Algeb

51

= recta P Q

EJERCICIO
Reproduzca las dos demostraciones anteriores.

* 27 Pequeo repertorio n
Si una recta de un plano corta a otro plano entonces ambos planos se cortan: Si (1) (2) y corta a entonces corta a : Hpt

corta a (a) (b) (c) (d) (e) (f) (g)

(3) interseca a : interseca a (2) Def P tlq P y P (a) Def P yP Def de P P y (c)(1) Desc P (d) Algeb P yP (e)(c) Desc interseca a (f) Def

(4) = : (a) = Neg (b) y= (1)(a) (c) (b) Def de = (d). (2) Def de cortar (5) corta a (3)(4) Def de cortar

Si una recta de un plano corta a otro plano entonces dicha recta corta a la interseccin de ambos planos: o

52 Si (1) (2) (3) (4) (5) y

CAP ITULO IV. EJEMPLOS GEOMETRICOS corta a entonces corta a :

corta a Hpt corta a (1)(2) Resultado anterior es una recta (3) Dm interseca a : (a) (b) (c) (d) (e) (f) (g) (h) (i) interseca a (2) Def de cortar P tlq P y P (a) Def de intersecar P yP Def de P P y (c)(1) Desc P (d) Algeb P yP (e)(c) Desc P (f) Algeb P y P (c)(g) Desc interseca a (h) Def de intersecar

(6)

= : (a) = Neg (b) Algeb (c) (b)(a) Def de = (d). (2) Def de cortar

(7)

corta a

(5)(6) Def de cortar

EJERCICIOS
1. Si 2. Si 3. Si 4. Si y y y y corta a entonces corta a : corta a entonces corta a :

corta a entonces corta a : corta a entonces corta a :

28 Paralelismo
Deniciones: m si y slo si o y m estn en un mismo plano y a no corta a m.

28. PARALELISMO si y slo si no corta a . o si y slo si no corta a . o El s mbolo signica es paralelo a.

53

Propiedades
Si m entonces es ajena a m o = m. Si es ajena a m y , m estn en un mismo plano entonces a Si = m entonces m. Si entonces es ajena a o . Si es ajena a entonces . Si entonces . Si entonces es ajeno a o = . Si es ajeno a entonces . Si = entonces . m.

Demostraciones:
Si m entonces es ajena a m o = m:

(1) m Hpt (2) no corta a m (1) Def de (3) no interseca a m o = m (2) Def de cortar, girada (4) Si no interseca a m ent es ajena a m Def comn u (5) es ajena a m o = m (3)(4) Por casos Si (1) (2) (3) (4) (5) (6) es ajena a m y , m estn en un mismo plano entonces a es ajena a m , m estn en un mismo plano a Hpt no interseca a m (1) Def comn u no interseca a m o = m (3) Desc no corta a m (4) Def de cortar, girada m (2)(5) Def de m:

54 Si (1) (2) (3) (4) (5) (6) (7) (8) (9) = m entonces m:

CAP ITULO IV. EJEMPLOS GEOMETRICOS

=m Hpt no interseca a m o = m (1) Dm no corta a m (2) Def de cortar, girada tlq Axioma geomtrico e Def de y =m (5)(1) m (6) Def de = y m estn en un mismo plano a (5)(7) Trad m (8)(3) Def de

EJERCICIOS
1. Si 2. Si 3. Si entonces es ajena a o : : es ajena a entonces entonces :

4. Si entonces es ajeno a o = : 5. Si es ajeno a entonces : 6. Si = entonces : 7. Si 8. Si my y interseca a m entonces interseca a entonces = m: : Dm indirecta

9. Si y interseca a entonces = :

29 Euclides
Dada una recta , y un punto cualquiera P , existe una paralela a , y slo o una, que pasa por P . Este es el quinto postulado de Euclides. Se resume en dos axiomas.

Axiomas
Dados y P , existe Si , yP , tal que entonces yP = . .

29. EUCLIDES

55

Consecuencias
Si (1) (2) , ,y interseca a Hpt yP (2) Def de intersecar , entonces = : , interseca a

(3) P tlq P (4) P , (5) = Si (1) (2) (3) (4) (5) (6). , , corta a

Def de P (1)(4) Axioma no corta a Neg :

entonces

interseca a y = (2) Def de cortar , y interseca a (1)(3) = (4) Resultado anterior = (3) corta a , entonces corta

Si , , estn en un mismo plano, y a a o corta a : (1) , , estn en un mismo plano a (2) corta a Hpt (3) (4) (5) (6) (7) (8). , , no corta a y no corta a estn en un mismo plano y a estn en un mismo plano y a (4) (5) Def de no corta a

Neg tesis no corta a no corta a (1)(3)

(6)(7) Resultado anterior

Por comodidad, el primer axioma de esta seccin debe asumir una anacin, o o como sigue: Si y P entonces existe m tal que m, m y P m Axioma

EJERCICIOS
1. Si , y interseca a entonces = :

56
2. Si , entonces

CAP ITULO IV. EJEMPLOS GEOMETRICOS

no corta a : corta a , entonces corta a o corta a :

3. Si , ,

estn en un mismo plano, y a

Estos tres resultados, junto con los tres axiomas de esta seccin llevarn el o a nombre de Euclides en todo lo que sigue.

30 Criterios
Si (1) (2) (3) (4) y entonces Hpt = o es ajeno a Si = ent : :

(2) Dm

(5)

(a) = Hpt (b) y= (1)(a) (c) (b) Def de = (d) (c) Dm Si es ajeno a ent : (a) es ajeno a Hpt (b) y es ajeno a (1)(a) (c) es ajena a (b) Algeb (d) (c) Dm

Si (1) (2) (3) (4) (5)

entonces

Hpt es ajena a o Si Si

interseca a : Dm

Def comn u

es ajena a ent interseca a ent

(a) interseca a Hpt (b) P tlq P y P (a) Def (c) P y P Def de P (d) yP (2)(c) (e) m tlq m, m y P m (d) Euclides

31. LEMAS (f) m, m y P m Def de m (g) y m (1)(f) (h) P y P m (c)(f) (i) =m (g)(h) Euclides (j) m y = m (f)(i) (k) (j) Def de = (l) (k) Dm Si 1 , 2 , 1 corta a 2 , y 1 , 2 , entonces : (1) (2) (3)
1, 2

57

1 corta a 2 Hpt 1, 2 Neg tesis

(4) no

(5) corta a (4) Def de (6) es una recta (5) Dm (7) Algeb (8) , 1 , 2 estn en un mismo plano: a El plano (9) (2) 1 corta a 2 (10) (8)(9) Euclides 1 corta a o 2 corta a (11) (12) (13) (14). Si Si
1 1 1 2

corta a ent 1 corta a corta a ento 2 corta a

2

(1) Repertorio (3) Def de

corta a o

corta a
2

(10)(11)(12) Por casos

no corta a y

no corta a

EJERCICIOS
1. Si 2. Si 3. Si y entonces y
1, 2

: :
2,

entonces
1

corta a

1, 2

, entonces :

31 Lemas
Primer lema:
Si y P entonces existe m tal que m, m y P m:

58 (1) (2) (3) (4) P o Si

CAP ITULO IV. EJEMPLOS GEOMETRICOS

Hpt es ajena a

(1) Dm en 28 m, m y P m:

ent m tlq

(a) Hpt (b) yP (a)(2) (c) m tlq m, m y P m (5) Si (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (m) es ajena a ent m tlq

(b) Euclides

m, m y P m:

es ajena a Hpt P (2) P / (a)(b) Algeb P plano P plano P (c) Def de plano P = plano P Def de P (d)(f) (e)(f) Def de = interseca a (g)(b) Algeb = Porque y corta a (i)(j) Def es una recta (k) Dm en 26 : (m1 ) (m2 ) (m3 ) (m4 ) y estn en un mismo plano: a es ajena a (a) Algeb no corta a (m2 ) Dm en 25 (m1 )(m3 ) Def El plano

(n) , y P (m)(Algeb)(g)(b) (o) m tlq m, m y P m (n) Desc (6) m tlq m, m y P m (3)(4)(5) Por casos

Segundo lema:
Si entonces existe m tal que m y m :

32. TEOREMAS (1) Hpt (2) P tlq P Axioma (3) P Def de P (4) yP (1)(3) m (5) m tlq m, m y P (4) Lema anterior (6) m, m y P m Def de m (7) mym (6)

59

Tercer lema:
Si (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) , y interseca a entonces :

interseca a Hpt P tlq P y P (3) Def P yP Def de P yP (2)(5) m tlq m, m y P m (6) 1er lema m, m y P m Def de m my (8)(1) P myP (8)(5) m= (9)(10) Euclides m ym= (8)(11) (12)

Reproduzca las tres demostraciones anteriores.

32 Teoremas
Dos rectas paralelas a una tercera son paralelas entre si: Si c a y c b entonces a b: (1) (2) (3) (4) c a c b Hpt a no corta a b (1)(2) Euclides a = b o a es ajena a b (3) Dm

60 (5) (6) Si a = b ent a b (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (m) (n) (7) a b

CAP ITULO IV. EJEMPLOS GEOMETRICOS Dm

Si a es ajena a b ent a b: a es ajena a b Hpt P tlq P b Axioma P b Def de P P a / (a)(c) Algeb P plano P a a plano P a Def de plano P a c a y a plano P a (1)(f) c plano P a (g) Criterio c b y c plano P a (2)(h) b interseca a plano P a Porque P b y P plano P a b plano P a (i)(j) Lema a y b estn en un mismo plano: a El plano P a a no corta a b (3) a b (l)(m) Def (4)(5)(6) Por casos

Corolario
Si a c y c b entonces a b. Toda recta paralela a dos planos que se cortan es paralela a su interseccin: o Si (1) (2) (3) (4) (5) (6) (7) , y corta a entonces :

corta a

Hpt

es una recta (3) Dm P tlq P (4) Axioma P Def de P tlq yP Euclides

33. TRANSITIVIDAD (8) (9) (10) (11) (12) (13) (14) (15) (16) (17) (18) yP Def de yP

61

y (8)(1) Desc interseca a Porque P (9)(10) Lema y (8)(2) Desc interseca a Porque P (12)(13) Lema (11)(14) Algeb = (15)(4) Dm y = (8)(16) (17) Def de =

yP

EJERCICIO
Si a b, a , b , y corta a , entonces a, b :

33 Transitividad
Las leyes transitivas del paralelismo son las siguientes: Si y entonces . (Demostrado en seccin 32) o Si y entonces . Si y entonces . Si y entonces .

Demostraciones
Si (1) (2) (3) (3) (4) y tlq y y entonces Hpt y (2) Lema Def de (1)(3) Desc :

62 (5) (6) (7) Si (1) (2) (3) (4) (5) (6) (7) (8) y (4) Dm

CAP ITULO IV. EJEMPLOS GEOMETRICOS

(5)(3) Desc (6) Criterio :

y entonces

Hpt tlq y (1) Lema y Def de y (4)(2) Desc (5) Criterio y (4)(6) Desc (7) Resultado anterior

Si y entonces : (1) (2) (3) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) Hpt

1 , 2 tlsq 1 corta a 2 Axioma geomtrico e Def de 1 , 2 1 , 2 y 1 corta a 2 1 y (3)(1) Desc 2 y

1 2 1 2 1

(4) (5) Criterio (6)(2) (7)(2)

y y

(8) (9) Resultado anterior 2 1 , 2 , 1 corta a 2 , y 1 , 2 (12) Criterio

(3)(10)(11)

EJERCICIOS
1. Si 2. Si y entonces : : y entonces

33. TRANSITIVIDAD
3. Si y entonces : 4. Si y corta a entonces corta a entonces corta a : corta a :

63

Indirecta

5. Si y

6. Si y corta a entonces corta a :

64

CAP ITULO IV. EJEMPLOS GEOMETRICOS

ABREVIATURAS
adic adicional alg algn u Algeb Algebraico conj conjuncin o Crs Curso Def Denicin o Desc Descendente disy disyuncin o Dm Demostrado Dom Dominio elm elemento ent entonces esp espec co gral general hno hermano Hpt Hiptesis o ident idntico e imgn imagen incid incidencia inyect inyectiva mit mitmano o Neg Negacin o ning ningn u Result Resultado ssi si y slo si o supra suprayectiva tlq tal que Trad Traduccin o 65