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 l ogica deductiva tiene sus or genes en la Grecia antigua en el trabajo de Arist oteles, quien present o sus estudios sobre el razonamiento en su l ogica silog stica. La teor a del silogismo se ocupa de la caracterizaci on de las inferencias v alidas mediante esquemas de argumento, esto es, secuencias de enunciados formados por premisas y conclusi on, de tal forma que se garantiza la verdad de la conclusi on cuando se supone la verdad de las premisas. Estos estudios dieron lugar a una larga tradici on los oca que tom o un car acter m as formal en el siglo XIX con los trabajos de Frege sobre la l ogica de predicados, la cual ofrece un lenguaje simb olico mucho m as poderoso que el de la l ogica silog stica aristot elica. Posteriormente en el siglo XX, el estudio de la l ogica se matematiz o a tal grado que constituy o el campo de la l ogica matem atica. Los dos enfoques predominantes de esta disciplina son el sint actico y el sem antico. El primero caracteriza las nociones de derivaci on formal, sistema axiom atico y prueba. El segundo se ocupa de las nociones de verdad, interpretaci on y consecuencia l ogica. Uno de los resultados m as espectaculares de la l ogica matem atica del siglo XX es el de G odel, quien demostr o la equivalencia entre las nociones de derivabilidad formal y consecuencia l ogica, esto es, entre la sintaxis y la sem antica de un lenguaje formal, con su teorema de completud, el cual dice en su versi on original que toda f ormula universalmente v alida es teorema (el reverso de este resultado ya era conocido como el teorema de correctud ). Hoy en d a, estos dos enfoques de la l ogica matem atica cl asica constituyen disciplinas bien establecidas y con agendas propias, estas son, la teor a de la demostraci on y la teor a de modelos. Por otro lado, estudios en l ogicas no-cl asicas han marcado una nueva tradici on formal que tiene aplicaciones fuera de la matem atica en campos como la computaci on y la ling u stica formal. En cuanto a la ense nanza de la l ogica deductiva en un nivel introductorio, los profesores tenemos que escoger entre aquellos libros de texto que presentan la silog stica aristot elica y los de corte matem atico. Mientras que i

ii los primeros se dedican a presentar las motivaciones los ocas de la l ogica deductiva y exponen la teor a del silogismo aplicada a razonamientos cotidianos (Copi, 1968), los otros se ocupan de dar las bases de la axiom atica y de la teor a de conjuntos, y con esto introducen al alumno a la l ogica proposicional y de predicados moderna, ya sea con enfasis en el aspecto sint actico (Suppes, 1979) o en el sem antico (Enderton, 1987). La elecci on de enfoque est a dada por la licenciatura en la cual se ense na esta materia. Por lo general, en las carreras human sticas (principalmente en losof a) se pasa totalmente desapercibido el aspecto matem atico de la l ogica moderna y en las carreras cient cas (matem aticas y computaci on) no hay contacto alguno con la tradici on aristot elica de esta disciplina. El libro que el lector tiene frente a sus ojos es excepcional por varias razones. En primer lugar, combina la silog stica aristot elica con la demostraci on formal basada en la axiom atica matem atica y de esta forma el autor no sacrica ninguna de las caras de la l ogica. Su enfoque original introduce al alumno a la l ogica en su tradici on sint actica haciendo uso de las formas silog sticas aristot elicas demostrando la validez de las inferencias dentro del esquema de prueba formal deductiva, ofreciendo con esto una presentaci on de la l ogica aristot elica de manera rigurosa. El autor ilustra diversas formas de demostraci on (directa, indirecta, por casos) con ejemplos cotidianos, lo 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 trav es de los tipos y propiedades de la noci on de funci on matem atica, lo cual adem as es el ingrediente necesario para preparar al estudiante para el enfoque sem antico de la l ogica (lo cual no est a cubierto en este libro). El u ltimo cap tulo, el IV, est a dedicado a presentar este enfoque en la geometr a euclidiana, el sistema deductivo por excelencia. En segundo lugar, este libro tiene la particularidad de poner en contacto al estudiante directamente con el lenguaje de la l ogica de predicados, sin antes cubrir en su totalidad la l ogica proposicional, como usualmente se hace. Esto se logra naturalmente porque la forma l ogica de los enunciados que conforman los silogismos involucra cuanticadores. Sin embargo, cabe recordar que el lenguaje de la silog stica aristot elica solo permite cuanticaci on simple, esto es, expresiones con un solo cuanticador. A un as , es una virtud que en un texto introductorio de l ogica se exponga al lector al lenguaje de la l ogica de predicados. En tercer lugar, este libro es u nico por la forma en que ense na la l ogica. El tono en que est a escrito invita al lector a reexionar sobre la manera de

iii hacer demostraciones formales. Su presentaci on es muy did actica y recuerda a otros libros con enfoques poco comunes (e.g. Polya, 1986) donde se presenta a la matem atica como una actividad din amica y creativa en donde el enfasis est a en la manera de hacer demostraciones m as que en presentarlas como productos atemporales y acabados. Este tipo de presentaci on solo se logra despu es de muchos a nos de experiencia en la ense nanza de la l ogica, lo cual podemos corroborar por los otros textos de l ogica de este autor (el lector encontrar a una lista de los t tulos en la semblanza). Este libro ofrece un muy buen balance para la ense nanza de la l ogica, haci endolo de utilidad tanto para estudiantes en licenciaturas human sticas como cient cas. El autor ofrece una gu a de trabajo para que el profesor escoja los temas m as apropiados de acuerdo al programa de licenciatura que tenga 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 introducci on a la l ogica, que bien puede ser puerta para textos mas avanzados tanto de l ogica matem atica, en los dos enfoques sint actico y sem antico (Suppes, 1979 y Enderton, 1987), as como de losof a y ling u stica formal (Gamut) o incluso para textos de l ogica de corte computacional. Atocha Aliseda Instituto de Investigaciones Filos ocas, UNAM. Copi, I. Introducci on a la L ogica. EUDEBA. Buenos Aires, Argentina. 1972. (Traducci on de la cuarta edici on en ingl es, 1972). Enderton, H. Una introducci on matem atica a la l ogica. Instituto de Investigaciones Filos ocas, UNAM. M exico. 1987. (Traducci on de la edici on en ingl es, 1972). Gamut, L.T.F. Introducci on a la L ogica. EUDEBA. Buenos Aires, Argentina. 2002. (Traducci on de la primera edici on en ingl es, 1991). Polya, G. C omo Plantear y Resolver Problemas. Trillas, M exico. 1986. (Traducci on de la primera edici on en ingl es, 1944). Suppes, P. Primer curso de logica matem atica. Reverte, Barcelona, Espa na. 1979. (Traducci on de la primera edici on en ingl es).

iv

 INTRODUCCION
Este curso se ocupa de las cadenas deductivas, dentro y fuera de las matem aticas, como un arte a practicar, no como una teor a. Es la u nica manera conocida de embarcar en el pensamiento deductivo a la mayor a de la clase. En el primer cap tulo se aprende a pensar matem aticamente sin pensar en matem aticas, gracias a las armaciones sobre veraces y mit omanos, y a los silogismos categ oricos, que son los primeros teoremas que hay que saber demostrar, antes de demostrar en matem aticas. El arte de demostrar no se aprende f acilmente dentro de las matem aticas, ya que toda demostraci on matem atica es una disertaci on conducida por el autor, seg un cierta l nea de pensamiento que suele no corresponder al esquema mental del lector, quien al sentirse marginado del tema se desconecta. Eso no ocurrir a en las demostraciones de este curso ya que, desde la primera lecci on, sobre demostraci on indirecta, las inferencias se hacen seg un patrones establecidos, al alcance de todos los participantes, sin obligarlos a adoptar estilos ajenos. Su ensayo paciente y repetido har a que cada alumno capte la idea de demostraci on. Para garantizar el exito correspondiente, hay que concederle a cada tema el tiempo requerido para su maduraci on, seg un la tabla siguiente: 1. 2. 3. 4. Demostraci on Indirecta (2 semanas) Esquema Deductivo (Una clase) Demostraci on Directa (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 e signica eso? v

vi Ad onde queremos llegar? Qu e sabemos al respecto? Por qu e ya est a demostrada esa armaci on? Para esta u ltima pregunta, la respuesta obligada es: Porque hemos partido de la hip otesis, que es el paso tal, y hemos llegado a la tesis, que es el paso tal.

O bien: Porque hemos partido de su negaci on, que es el paso tal, y hemos llegado a una contradicci on, que est a en los pasos tal y tal.

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 exclusi on, cuando se llegue a una disyunci on, y demostrar sobre la marcha cuando el paso considerado no se desprenda f acilmente de los pasos anteriores. En los apartados 1, 2, 3, 4 se adquieren los h abitos y la disciplina que permiten avanzar en materia de demostraciones. De ah se puede saltar al apartado 13, si se quiere, regresando a 8, 10 y 12, seg un se vayan necesitando. Los tiempos recomendados para estos temas son: 8. Negaciones (1 semana) 10. Demostraci on por Casos (2 semanas) 12. Denici on de igualdad (2 clases) 13. Conjuntos (2 clases) 14. Uni on e Intersecci on (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 selecci on de temas. He aqu algunas recomendaciones: Licenciatura en humanidades: cap tulo I, completo. Licenciatura en matem aticas: 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 p aginas, como de su mejor laboratorio, que es la participaci on de un grupo frente al pizarr on, en presencia del profesor. Esto aporta experiencias in editas acerca del quehacer deductivo, y de sus m ultiples tropiezos con el credo com un.

viii

SEMBLANZA DEL AUTOR

El conocimiento de la l ogica te orica y el arte de bien conducir la raz on. 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 l ogica. En el maestro Zubieta se combinan y coexisten en paz el investigador y el profesor universitario. Gonzalo Zubieta Russi naci o en el sure no estado de Tabasco. Miembro de una familia en la que el gusto por la ciencia y la buena conversaci on es una constante, decidi o estudiar matem aticas en la reci en formada Facultad de Ciencias de la UNAM, all a por los a nos 1940, cuando esta se hallaba en el Palacio de Miner a. Fue el inicio de una brillante trayectoria acad emica que lo llev o a ser investigador de tiempo completo del Instituto de Matem aticas desde 1971 y catedr atico de la Facultad de Ciencias desde 1948. Adem as de la L ogica Matem atica, otra de sus areas de trabajo ha sido el An alisis Matem atico. Desde un principio, y guiado por su asombro ante la fuerza l ogica de las demostraciones, su inter es se dirigi o hacia la l ogica matem atica. C omo es que el equilibrio de un trompo en su giro se puede explicar mediante un argumento racional? C omo es que podemos armar con absoluta certeza que la ra z cuadrada de dos no es racional? Muy pronto asisti o a un seminario dirigido por Carlos Graef en 1942 sobre el famoso libro de Hilbert y Ackermann Fundamentos de L ogica Te orica.1 Tiempo despu es particip o en un seminario impartido por su hermano Francisco Zubieta en el Instituto Polit ecnico Nacional, cuando Don Manuel Sandoval Vallarta era director de dicha instituci on. El joven Zubieta pronto se familiariz o con el libro Mathematical Logic de
Grundz uge der Theoretischen logik, David Hilbert & Wilhelm Ackermann, Berlin, Springer 1928. Traducci on al ingl es: Principles of Mathematical Logic, Chelsea Pub. Co., 1950.
1

ix

x Willard Von Orman Quine2 y estableci o contactos con el, quien le sugiri o un tema de tesis y valiosas orientaciones. En 1949 Quine estuvo en M exico y para principios de 1950, Zubieta present o, avalado por Quine la tesis profesional Sobre el C alculo Funcional de Primer Orden.3 En el, su autor presenta una prueba m as rigurosa del teorema de completud de la l ogica de primer orden de G odel. El trabajo de Zubieta pronto cruz o la frontera. Por sugerencia de Quine, este 4 fue enviado a Alonzo Church quien a su vez invit o a Robert Feys, l ogico de la universidad de Lovaina a presentar un comentario sobre el mismo en el Journal of Symbolic Logic, a la saz on la revista de mayor prestigio en el area de l ogica. En 1953 Zubieta fue a Princeton para ocupar el cargo de ayudante de investigador de Alonzo Church quien alguna vez dir a de Zubieta que era el u nico l ogico latino que escrib a con rigor. Church lo cita en la introducci on de su libro5 por sus observaciones y participaci on en el proyecto.6 Su estancia en los Estados Unidos habr a de ser m as prolongada, pues en Chicago trabaj o con Halmos sobre L ogica Algebraica y de 1961 a 1962 lo hizo con Alfred Tarski en Berkeley, de quien aprendi o la Teor a de Modelos reci en desarrollada por este. La versatilidad e insaciable curiosidad de Gonzalo Zubieta lo llev o a entablar v nculos acad emicos con Abraham Robinson quien por aquel entonces desarrollaba el an alisis no est andar sobre la base del teorema de Compacidad. En ese tiempo Zubieta disfrutaba de una beca Guggenheim. Cuando Gonzalo Zubieta regres o a M exico en 1963, en el medio matem atico mexicano, nadie m as conoc a el tema de su inter es, la l ogica matem atica. Adem as, por aquel entonces se consideraba que el tema era algo raro y de una dicultad excesiva, y en la carrera de matem aticas la l ogica era un area optativa a la cual no se acercaban muchos estudiantes. As , despu es de haber trabajado con varios de los l ogicos m as importantes del siglo XX, Zubieta decidi o dedicarse al an alisis matem atico, otra area de su inter es,
Mathematical Logic. Sobre el c alculo funcional de primer orden, tesis por Gonzalo Zubieta Russi. Facultad de Ciencias, UNAM 1950. 4 Church hab a dirigido la tesis doctoral del mexicano Enrique Bustamante Llaca, quien a su regreso a M exico trabaj o en el Banco de M exico. 5 Introduction to Mathematical Logic, Part I, Alonzo Church, Annals of Mathematics Studies, Princeton University Press, 1944. 6 Para m as informaci on sobre Church, v ease Alonzo Church: His Life, His Work and Some of His Miracles, Mar a Manzano, History and Philosophy of Logic 18, 1997 (211 232).
3 2

xi donde logr o tambi en importantes resultados.7 Entre sus trabajos destaca uno sobre integrales de medida positiva.8 La otra faceta del maestro Zubieta, la de profesor, lo llevo a desarrollar sus ideas docentes no s olo en la Facultad de Ciencias de la UNAM, sino tambi en en la Universidad Veracruzana, en la de Sinaloa, en la escuela Nacional Preparatoria, en el CCH y otras instituciones. Una de sus convicciones es que el estudio de cualquier disciplina matem atica ser a m as provechoso y ameno para los estudiantes cuando se les ha proporcionado el material necesario sobre t ecnicas de orden l ogico, de manejo del lenguaje matem atico y de 9 los m etodos de demostraci on. 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 ense na l ogica a los estudiantes de primer ingreso, no como una teor a sino como un quehacer. Al respecto ha desarrollado un m etodo de an alisis l ogico que expone admirablemente bien en un libro denominado Taller de l ogica,10 en el que combina la silog stica aristot elica y la demostraci on matem atica formal basada en el m etodo axiom atico. M as all a del trabajo con los alumnos, el maestro Zubieta ha dirigido varias tesis y ha impartido una gran cantidad de cursos, talleres de did actica y conferencias para profesores. La culminaci on de tan admirable labor docente es este libro sobre L ogica Deductiva, en el que recoge su enorme experiencia docente, poni endola a disposici on de todo aquel que desee adentrarse en el arte de transmitir las bases del razonamiento escrupuloso a los j ovenes. Quienes conocemos al maestro Zubieta desde tiempo atr as no podemos sino regocijarnos con su publicaci on y decir, como complemento a lo dicho por Church, que Gonzalo Zubieta no s olo escribe con rigor sino con claridad y asombrosa simplicidad. Carlos Torres y Jos e Alfredo Amor

Dierential notation for set functions, Anales del I. M. 1, 1961 (6781). Integrales de medida positiva, Monograf a No.3 del I.M. 1976 (157p.). 9 Manual de l ogica para estudiantes de matem aticas, Gonzalo Zubieta Russi, Trillas, 1968. 10 Taller de L ogica Matem atica (An alisis L ogico), Gonzalo Zubieta, McGraw Hill, 1993.
8

xii

 INDICE DE MATERIAS

EJEMPLOS COTIDIANOS *1 Demostraci on indirecta . *2 Esquema deductivo . . . *3 Demostraci on directa . . *4 Otros ejemplos . . . . . 5 Hip otesis adicional . . . 6 Traducciones . . . . . . 7 Paradojas . . . . . . . . *8 Negaciones . . . . . . . . 9 Deniciones . . . . . . . *10 Demostraci on por casos . 11 Paradojas c elebres . . . *12 Denici on de igualdad .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 Uni on e intersecci on . . . 15 Diferencia . . . . . . . . . 16 Producto cartesiano . . . . 17 Familias de conjuntos . . . III FUNCIONES E IMAGEN 18 Funciones . . . . . . . 19 Composici on . . . . . . 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 geom etricos . . . *27 Peque no repertorio . . . . 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 hip otesis. La parte que est a despu es del entonces se llama tesis. Para negar una condicional se arma la hip otesis y se niega la tesis. Ejemplos de 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 negaci on se llaman giros, la una de la otra. As , las condiconales anteriores son giros, la una de la otra, porque tienen la misma negaci on, salvo por el orden. Por denici on, el que es veraz siempre dice la verdad, el que es mit omano siempre miente, y el que no es veraz ni mit omano es normal. Toda persona es veraz o mit omano o normal, pero s olo una de estas tres cosas.

Axiomas
Si x es veraz, y x dice que sucede tal cosa, entonces sucede tal cosa. Denici on de veraz Si x es mit omano, y x dice que sucede tal cosa, entonces no sucede tal cosa. Denici on de mit omano 1

CAP ITULO I. EJEMPLOS COTIDIANOS

Estos axiomas son v alidos por denici on.

* 1 Demostraci on indirecta
Demostraci on indirecta de un enunciado es cualquier deducci on que parte de su negaci on y termina en contradicci on.

Ejemplos
A dice que B es veraz. B dice que A es mit omano. B no es veraz: (1). (2) (3) (4) (5). B B A A B Datos Armaci on a demostrar

es veraz Negaci on dice que A es mit omano Dato es mit omano (1)(2) Denici on de veraz dice que B es veraz Dato no es veraz (3)(4) Denici on de mit omano

Se marcan con punto los pasos que se contradicen. Los datos son v alidos por denici on, luego son axiomas. Si B es mit omano entonces A es normal: (1) (2). (3) (4) (5) (6) (7) (8) (9). B B B A A A A B B es mit omano y A no es normal Negaci on es mit omano (1) Descendente dice que A es mit omano Dato no es mit omano (2)(3) Def de mit omano no es normal (1) Descendente es veraz (4)(5) Def com un dice que B es veraz Dato es veraz (6)(7) Def de veraz no es mit omano (8) Def com un

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 mit omano entonces B es normal. Repertorio sobre veraces y mit omanos: A dice que B es normal. B dice que A es normal. Si A es mit omano entonces B es mit omano. Si A no es mit omano entonces B no es mit omano: A dice que B es normal. B dice que A no es normal. Si A es mit omano entonces B es veraz. Si A no es mit omano entonces B no es veraz: A dice que B es veraz. B dice que A es normal. A no es veraz. Si B es mit omano entonces A es mit omano: A dice que B es mit omano. B dice que A no es normal. A no es veraz. Si B es veraz entonces A es mit omano: A dice que B es mit omano. B dice que A es normal. Si A es mit omano entonces B es normal. Si B es mit omano entonces A es veraz: A dice que B es veraz. B dice que A no es normal. Si A es mit omano entonces B es normal. Si B es veraz entonces A es veraz: A dice que B es mit omano. B dice que A no es mit omano. A no es veraz. Si A es mit omano entonces B es normal. B no es mit omano. Si B es veraz entonces A es normal. 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
Deducci on formal de P es una cadena P1 , P2 , . . . , Pn de proposiciones, llamadas 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 denici on impl cita. Estos axiomas son v alidos por su contenido. Son axiomas l ogicos los modos descendentes, los modos hipot eticos, las condicionales que van de una frase a su traducci on, las que van de una frase a su giro, y las disyunciones de la forma P o no P . Tales axiomas son v alidos por su forma. S olo se usar an cinco modos descendentes: de lo id entico, de la conjunci on a la parte, de la parte a la disyunci on, de lo general a lo particular, y de lo espec co a lo inespec co. Ejemplos: De lo id entico: Si x es socio de y entonces x es socio de y . De la conjunci on a la parte: Si x es socio de y y y cumple entonces y cumple. De la parte a la disyunci on: Si x llega hoy entonces x llega hoy o x llega ma nana. 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 hip otesis dice de todo x la tesis lo dice de y. Obs ervese la colocaci on dada a la tesis. 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 hip otesis dice de x la tesis lo dice de alg un z , sin especicar. N otese la colocaci on de la tesis. S olo se usar an tres modos hipot eticos: reducci on por exclusi on, reducci on por contradicci on, y reducci on por casos. Ejemplos:

 DIRECTA 3. DEMOSTRACION 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 exclusi on

Por contradicci on

Por casos

EJERCICIO
Reproduzca esta secci on en su totalidad.

* 3 Demostraci on directa
Demostraci on directa de una condicional es una deducci on que parte de la hip otesis, en calidad de dato, y termina en la tesis. Ejemplos: Si alg un mago es poeta y todo mago es actor entonces alg un actor es poeta: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12)

Disamis

Alg un mago es poeta Hip otesis Existe x tal que x es mago y x es poeta (1) Traducci on F es mago y F es poeta Denici on de F Todo mago es actor Hip otesis Para todo x, si x es mago entonces x es actor (4) Traducci on Si F es mago entonces F es actor (5) De lo general F es mago (3) De la conjunci on F es actor (7) por (6) F es poeta (3) De la conjunci on F es actor y F es poeta (8)(9) De lo id entico Existe x tal que x es actor y x es poeta (10) De lo espec co Alg un actor es poeta (11) Traducci on

CAP ITULO I. EJEMPLOS COTIDIANOS

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

Festino

Ning un pasante es invitado Hpt Para todo x, si x es pasante entonces x no es invitado (1) Trad Alg un alumno es invitado 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 id ent Existe x tal que x es alumno y x no es pasante (11) De lo esp Alg un alumno no es pasante (12) Trad

Para girar una condicional se intercambian la hip otesis y la tesis, y se niegan ambas. Al traducir alg un, o ning un, n otese que alg un es existencial y que ning un es universal.

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, d andole valores de A, M y B, tomados de la siguiente tabla: actor mago poeta avaro socio pobre ap ostol m artir beato rabe a moro beduino aviador marino buzo alumno invitado pasante

* 4 Otros ejemplos
Si ning un m artir es beato y todo ap ostol es m artir entonces ning un ap ostol es beato: (1) Ning m artir es beato Hpt (2) Para todo x, si x es m artir ent x no es beato (3) Todo ap ostol es m artir Hpt (4) Para todo x, si x es ap ostol ent x es m artir (5) Para todo y , si y es ap ostol ent y no es beato: (a) (b) (c) (d) (e) (6) y es ap ostol Hpt Si y es ap ostol ent y es m artir y es m artir (a) Por (b) Si y es m artir ent y no es beato y no es beato (c) Por (d) (5) Trad

Celarent

(1) Trad (3) Trad

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

Ning ap ostol es beato

CAP ITULO I. EJEMPLOS COTIDIANOS

Aqu el paso (5) se demuestra sobre la marcha. Si todo pobre es socio y ning un avaro es socio entonces ning un avaro es pobre: (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, d andole valores a A, M y B .

 5. HIPOTESIS ADICIONAL

5 Hip otesis adicional

Los siguientes silogismos requieren de una hip otesis adicional para su demostraci on. 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 un marino es buzo y todo marino es aviador entonces alg un aviador no es buzo: (1) Ning marino es buzo Hpt (2) Para todo x, si x es marino ent x no es buzo (1) Trad (3) Todo marino es aviador Hpt (4) Para todo x, si x es marino ent x es aviador (3) Trad (5) Existe x tal que x es marino Hpt adicional (6) y es marino Def de y (7) Si y es marino ent y es aviador (4) De lo gral (8) y es aviador (6) Por (7) (9) Si y es marino ent y no es buzo (2) De lo gral (10) y no es buzo (6) Por (9) (11) y es aviador y y no es buzo (8)(10) De lo ident (12) Existe x tal que x es aviador y x no es buzo (11) Desc (13) Alg un aviador no es buzo (12) Trad Los silogismos categ oricos suelen agruparse seg un su gura, como sigue:

Felapton

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 t ermino menor A es el sujeto de la conclusi on, el t ermino mayor B es el predicado de la conclusi on, y el t ermino medio M no aparece en la conclusi on. La premisa menor es la que contiene al t ermino menor A y al t ermino medio. La premisa mayor es la que contiene al t ermino mayor B y al t ermino medio. El silogismo Felapton es de la tercera gura y del modo eao: premisa mayor e (universal negativa), premisa menor a (universal armativa) y conclusi on o (particular negativa). Compru ebelo. Los silogismos Barbari, Celaront, Cesaro, Camestros y Camenos tambi en requieren de una hip otesis adicional. Barbari empieza como B arbara, pero su conclusi on es i (particular armativa).

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 denici on, o en un modo descendente, o en un modo hipot etico. Tambi en puede basarse en un giro o en una traducci on. Las traducciones m as usuales son las que se exhiben a continuaci on.

6. TRADUCCIONES (a) (a) (b) (b) (c) (c) (d) (d) (e) (e) (f) (f) (g) (g) (h) (h) (i) (i) (j) (j) Todo pasa por y Para todo x, x pasa por y Todo camino pasa por y Para todo x, si x es camino entonces x pasa por y Algo pasa por y Existe x tal que x pasa por y Alg un camino pasa por y Existe x tal que x es camino y x para por y 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 x pasa por alg un punto Existe y tal que y es punto y x pasa por y Nada pasa por y Para todo x, x no pasa por y Ning un camino pasa por y Para todo x, si x es camino entonces x no pasa por y

11

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

Alg un socio de x es socio de y 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 alg un socio de y 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 s olo si y paga Si y no paga entonces x no trabaja S olo x trabaja para y El que no es x no trabajo para y Para todo z , si z no es x ent z no trabaja para y x s olo trabaja para y 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 armaci on contraria a la opini on com un, cuya validez s olo se explica mediante una demostraci on formal.

Ejemplos
Si x paga por todos, y s olo y paga por x, entonces x es y : (1) (2) (3) (4) (5) (6) (7) x paga por todos Hpt Para todo z , x paga por z (1) Trad S olo y paga por x 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 un socio paga por y , entonces, si 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 Ning un socio paga por y 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 s olo y paga por x, entonces x es y . Si todos pagan por x, y x s olo paga por y , entonces x es y . Si x aprende de todos, y ning un novato aprende de x, entonces x no es novato. Si nadie aprende de x, y x aprende de todo novato, entonces x no es novato. Si x paga por todo socio, y s olo y paga por x, entonces, si x es socio entonces x es y . Si todo socio paga por x, y x s olo paga por y , entonces, si x es socio entonces x es y . Si x aprende de todo socio, y ning un novato aprende de x, entonces, si x es socio entonces x no es novato. Si ning un socio aprende de x, y x aprende de todo novato, entonces, si x es socio entonces x no es novato. Si es Si es x paga por todo socio, y ning un socio paga por y , entonces, si x es socio entonces y no socio. ning un socio paga por x, y y paga por todo socio, entonces, si x es socio entonces y no socio.

Si x paga por todo socio, y ning un novato paga por y , entonces, si x es novato entonces y no es socio.

14

CAP ITULO I. EJEMPLOS COTIDIANOS

Si ning un socio paga por x, y y paga por todo novato, entonces, si x es novato entonces y no es socio.

* 8 Negaciones
Como negaci on de una proposici on se toma cualquier proposici on que arme lo contrario de ella. Ejemplos: (a) (a) (b) (b) (c) (c) Si x es socio de y entonces x cumple. x es socio de y y x no cumple. x es hermano de y y x es menor que y . Si x es hermano de y entonces x no es menor que y . x llega hoy o x llega ma nana. x no llega hoy y x no llega ma nana.

(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 .

Seg un los ejemplos anteriores, la negaci on de una condicional es la conjunci on de la hip otesis y la negaci on de la tesis, la negaci on de una conjunci on es la condicional que va de la primera parte a la negaci on de la segunda parte, la negaci on de una disyunci on es la conjunci on de las negaciones de las partes, la negaci on de una negaci on es la armaci on de la parte, la negaci on de una cuanticaci on universal es la cuanticaci on existencial de la negaci on de la parte, la negaci on de una cuanticaci on existencial es la cuanticaci on universal de la negaci on de la parte.

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 traducci on y negaci on demuestre que (a1) es giro de (a2), (b1) es giro de (b2) 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 aristot elico de oposici on:

un A es B Todo A es B jUU 4 Alg UUUU iiii i UUU i i i iU iiii UUUUUUU * i t iii Ning A es B Alg un A no es B compruebe oralmente, mediante traducci on, que cada echa conduce de una proposici on a su negaci on.

9 Deniciones
Ll amanse axiomas ordinarios las proposiciones que integran una denici on impl cita. He aqu una denici on impl cita de los t erminos veraz, mit omano 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 mit omano, y x dice que sucede tal cosa, entonces no sucede tal cosa. Si x es veraz entonces x no es mit omano. Si x es mit omano entonces x no es normal. Si x es normal entonces x no es veraz. x es veraz o x es mit omano o x es normal.

IV.

Seg un estos axiomas, el que es veraz siempre dice la verdad, el que es mit omano siempre miente, y el que no es veraz ni mit omano es normal. Cualquier giro de axioma se acepta tambi en como axioma. A continuaci on 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 mit omano. Si x es mit omano entonces x no es veraz. Si x es normal entonces x no es mit omano. Si x es veraz entonces x no es normal. Si x no es veraz y x no es mit omano entonces x es normal. Si x no es veraz entonces x es mit omano o x es normal.

IV. IV.

Seg un I, girado, el que dice alguna mentira no es veraz. Seg un II, girado, el que dice alguna verdad no es mit omano.

EJERCICIOS
1. Reproduzca los seis axiomas. 2. Reproduzca los siete giros. 3. Escribe la negaci on de cada axioma, seguida de la negaci on del giro correspondiente. 4. Como denici on impl cita del t ermino hermano se ofrecen los tres axiomas siguientes: 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.

 POR CASOS 10. DEMOSTRACION

17

* 10 Demostraci on por casos

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 mit omano. Def de mit omano, girada Las armaciones sobre veraces y mit omanos, que fueron demostradas indirectamente en el apartado 1, pueden demostrarse directamente, por casos o por exclusi on.

Ejemplos
A dice que B es veraz. B dice que A es mit omano. B no es veraz: (1) B dice que A es mit omano Dato (2) A es mit omano o A no es mit omano (3) Si A es mit omano ent B no es veraz: (a) A es mit omano Hpt (b) A dice que B es veraz dato (c) B no es veraz (a)(b) Def de mit (4) Si A no es mit omano ent B no es veraz: (a) A no es mit omano Hpt (b) B dice que A es mit omano 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 mit omano entonces A es normal: B es mit omano Hpt B dice que A es mit omano Dato A no es mit omano (1)(2) Def de mit A es veraz o A es normal (3) Def com un

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 com un (c) A no es veraz (a)(b) Def de veraz, girada (6) A es normal (4)(5) Por exclusi on

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 mit omano entonces B es normal. 3. Demuestre directamente las armaciones del primer grupo del repertorio sobre veraces y mit omanos. 4. Demuestre directamente las armaciones del tercer grupo del repertorio sobre veraces y mit omanos.

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

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

19

No todo cretense es mit omano

Paradoja del barbero

Bertrand Russell. 18721970

No existe x tal que, para todo y , x rasura a y si, y s olo si, y no rasura a y : (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 s olo si B no rasura a B (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 demostraci on. Cu ando x es hermano de todo hermano de y ? Cuando el padre de x se casa con la madre de y , y de ese matrimonio nacen todos los hermanos que tiene y . Tambi en cuando x es y .

* 12 Denici on de igualdad
Se dice que x = y si, y s olo si, x y y son el mismo objeto. La negaci on de esta f ormula es x = y , es decir, x es diferente de y .

Leyes de la igualdad
x = x. Reexiva Si x = y entonces y = x. Sim etrica 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 sustituci on Estas leyes son v alidas por denici on: Son axiomas. Seg un la ley de monoton a, dadas dos cosas iguales, al aplicarles la misma operaci on los resultados son iguales. Seg un la ley de sustituci on, se pasa de la hip otesis a la tesis sustituyendo iguales por iguales en la proposici on de base. La proposici on de base es una parte de la hip otesis que se parece a la tesis. La hip otesis consta de la proposici on de base en conjunci on con ciertas igualdades anexas. A continuaci on se repite el ejemplo anterior, subrayando en la proposici on 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 :

 DE IGUALDAD 12. DEFINICION

(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 demostraci on. Escriba aparte la condicional de (2) y (3) a (4). Marque la proposici on de base. 2. Si x es veraz y y es mit omano entonces x = y : (1) (2) (3) (4). (5) (6). x es veraz y y es mit omano y x = y x es veraz (1) De la conj x=y (1) De la conj y es veraz (2)(3) Def de = y es mit omano (1) De la conj y no es veraz (5) Def com un Neg

Escriba la condicional de (2) y (3) a (4). Subraye en la proposici on de base lo que se 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 proposici on de base lo que se sustituye. 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 uni on, intersecci on, 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 prolongaci on del primero, y constituye una oportunidad para rearmar los h abitos adquiridos en el primer cap tulo.

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

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 .

Seg un este axioma, si todo elemento de A es elemento de B , y todo elemento de B es elemento de A, entonces A = B . Esto signica que un conjunto se conoce por sus elementos. Se denen el vac o, , intersecar y ajenidad, como sigue: No existe x tal que x . Def de A interseca a B ssi alg un elm de A es elm de B . Def A es ajeno a B ssi ning un elm de A es elm de B . 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:

 E INTERSECCION 14. UNION

25

* 14 Uni on e intersecci on
Se denen la uni on A B , y la intersecci on A B , mediante los siguientes axiomas: x A B si, y s olo si, x A o x B . Def de x A B si, y s olo si, x A y x B . 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 s olo si, x A y x / B. x / A B si, y s olo si, x / A o x B. 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 x /C (1) Def de xAB x /C (2) Desc xAyx /B (3) Def de xA x /B (5) Desc x /B yx /C (7)(4) Desc x / BC (8) Def de , girada xAyx / BC (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 xAyx / AB (1) Def de xA x / AB (2) Desc x /AoxB (3) Def de , girada xB (5)(3) Por exclusi on 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 xAyx / B 1 B2 (1) Def de xA x / B 1 B2 (2) Desc x / B1 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 denici on, el producto cartesiano A B es el conjunto de los pares (x, y ) tales que x A y y B .

Axiomas
(x, y ) A B si, y s olo si, x A y y B . (x, y ) / A B si, y s olo si, x /Aoy / B. Def de Giro

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

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) (7) (a) (b) (c) (d) (e) (8) 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

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

(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) (x, y ) A (B1 B2 ) Hpt (2) x A y y B1 B2 (1) Def de (3) x A (4) y B1 B2 (2) Desc (5) y B1 y y B2 (4) Def de (6) y B1 (7) y B2 (5) Desc (8) x A y y B1 (3)(6) (9) x A y y B2 (3)(7) Desc (10) (x, y ) A B1 (8) (11) (x, y ) A B2 (9) Def de (12) (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 uni on y la intersecci on, de una familia tal, como sigue: x Ai si, y s olo si, existe i tal que i I y x Ai . Def de
iI

x
iI

Ai si, y s olo si, para todo i, si i I entonces x Ai . , 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) x ( Ai ) B Hpt (2) x Ai y x /B (1) Def de (3) x Ai (4) x /B (2) Desc (5) Existe i tal que i I y x Ai (3) Def de (6) i I y x Ai Def de i (7) i I (8) x Ai (6) Desc (9) x Ai y x /B (8)(4) Desc (10) x Ai B (9) Def de (11) i I y x Ai B (7)(10) Desc (12) Existe i tal que i I y x Ai B (11) Desc (13) 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 x /B (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 a la frecuencia con que se usan aqu los axiomas de la igualdad. Esto se debe a que los conceptos de funci on, inyectividad, suprayectividad, e imagen directa, se denen en t erminos de la igualdad. Se emplear an las frases para todo x A, existe x A tal que, en contextos 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 Traducci on Forma abreviada Traducci on

Se usar an los s 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 s olo si, existe t tal que (x, t) f . y Crs f si, y s olo si, existe t tal que (t, y ) f . 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 s olo si, (x, y ) f . Funci on es una correspondencia f que a cada x Dom f le asocia un s olo valor y . Este valor u nico suele llamarse f (x). En otros t erminos: f es funci on si, y s olo si, f es correspondencia y, dados x, y1 , y2 , si (x, y1 ), (x, y2 ) f entonces y1 = y2 . Def de funci on Si f es funci on entonces f (x) = y si, y s olo si, (x, y ) f . Def de f (x) Si f es funci on y x Dom f entonces (x, f (x)) f : (1) (2) (3) (4) (5) (6) (7) f es funci on 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 s olo si, f es funci on, Dom f = A y, para 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 funci on 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 Composici on
Si f va de A a B , y g va de B a C , entonces existe tal que es funci on, Dom = A y, para todo x A, (x) = g (f (x)): (1) f va de A a B (2) g va de B a C Hpt (3) (x, z ) ssi x A y z = g (f (x)) (4) es funci on:

Def de

() es corresponencia (3) Def de correspondencia ( ) Si (x, z1 ), (x, z2 ) ent z1 = z2 : (1 ) (2 ) (3 ) (4 ) (5 ) (6 ) (7 ) (5) (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 funci on

( ) es funci on 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 funci on, Dom = A y, para todo x A, (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 composici on g f de tal modo que g f es funci on, 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 demostraci on anterior. 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 s olo si, f va de A a B y, dados 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 s olo si, f va de A a B y, para 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 s olo si, f : A B es inyectiva y suprayectiva a la vez.

EJERCICIOS
1. Reproduzca la primera demostraci on. 2. Reproduzca la segunda demostraci on. 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) y f ( Ai ) Hpt (2) Existe x tal que x Ai y f (x) = y (1) Def de imgn (3) x0 Ai y f (x0 ) = y (1) Def de x0 (4) x0 Ai (5) f (x0 ) = y (3) Desc (6) Existe i tal que i I y x0 Ai (4) Def de (7) j I y x0 Aj Def de j (8) j I (9) x0 Aj (7) Desc (10) f (x0 ) f (Aj ) (9) Def de imagen (11) y f (Aj ) (10)(5) Def de = (12) j I y y f (Aj ) (8)(11) Desc (13) Existe i tal que i I y y f (Ai ) (12) Desc (14) 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 / A2 (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) x /A 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 / A2 (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 demostraci on. 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 s olo si, ning un elemento de A1 es elemento de 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 s olo si, f (x) B . 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
Reexi on de A es una funci on inyectiva f : A A.

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),

Demostraci on:
(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 demostraci on anterior. 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 b asicos de la geometr a son los puntos A, B, C . . ., las rectas a, b, c . . . y los planos , , , . . .. Los puntos son los atomos del espacio geom etrico. Las rectas y los planos son conjuntos de puntos, denidos impl citamente mediante ciertos axiomas que se ir an introduciendo al avanzar. 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 u ltimo se logra mediante las t ecnicas introducidas en el cap tulo I. En los apartados 25, 26, 27 se ejercita la denici on de cortar, en sus tres modalidades: rectarecta, rectaplano y planoplano. En 28 se practica la denici on de paralelismo, tambi en en sus tres modalidades. En las demostraciones de este cap tulo, los resultados del algebra de conjuntos que se utilicen ser an registrados como algebraicos.

* 25 Intersecar y cortar
La noci on de intersecar se reere a conjuntos en general. La de cortar se reere a rectas y planos. Denici on de intersecar: interseca a ssi existe P tal que P y P . Denici on de cortar: 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 com un 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 com un 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 geom etricos

Primeros axiomas:
Todo plano contiene rectas que se cortan. Toda recta tiene m as de un punto. Si dos planos se intersecan, su intersecci on tiene m as de un punto. Dados P, Q, puntos diferentes, existe una recta u nica, 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 u nico, 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) m Hpt tiene m as de un punto 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 m as de un punto (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:

(10) recta P Q (8)(7) (11) recta P Q (9)(7) Axioma (12) recta P Q (10)(11) Algeb (13) 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

 REPERTORIO 27. PEQUENO (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 Peque no repertorio
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 intersecci on de ambos planos:

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 s olo si y m est an en un mismo plano y no corta a m.

28. PARALELISMO si y s olo si no corta a . si y s olo si no corta a . 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 est an en un mismo plano entonces 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 com un (5) es ajena a m o = m (3)(4) Por casos Si (1) (2) (3) (4) (5) (6) es ajena a m y , m est an en un mismo plano entonces es ajena a m , m est an en un mismo plano Hpt no interseca a m (1) Def com un 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 geom etrico Def de y =m (5)(1) m (6) Def de = y m est an en un mismo plano (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 s olo 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 , , est an en un mismo plano, y a o corta a : (1) , , est an en un mismo plano (2) corta a Hpt (3) (4) (5) (6) (7) (8). , , no corta a y no corta a est an en un mismo plano y est an en un mismo plano y (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 secci on debe asumir una anaci on, 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 , ,

est an en un mismo plano, y

Estos tres resultados, junto con los tres axiomas de esta secci on llevar an el 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 com un

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 corta a 2 Hpt 1, 2
1, 2

57

(4) no

Neg tesis

(5) corta a (4) Def de (6) es una recta (5) Dm (7) Algeb (8) , 1 , 2 est an en un mismo plano: 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 est an en un mismo plano: 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 est an en un mismo plano: 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 intersecci on: 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 secci on 32) 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 geom etrico 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 alg un Algeb Algebraico conj conjunci on Crs Curso Def Denici on Desc Descendente disy disyunci on Dm Demostrado Dom Dominio elm elemento ent entonces esp espec co gral general hno hermano Hpt Hip otesis ident id entico imgn imagen incid incidencia inyect inyectiva mit mit omano Neg Negaci on ning ning un Result Resultado ssi si y s olo si supra suprayectiva tlq tal que Trad Traducci on 65