´

UNIVERSIDAD NACIONAL AUTONOMA ´
DE MEXICO
FACULTAD DE CIENCIAS
´
CARRERA DE MATEMATICO

´
CONJUNTOS Y LOGICA

HORAS A LA SEMANA/SEMESTRE
SEMESTRE: Segundo a cuarto ´ ´ ´
TEORICAS PRACTICAS CREDITOS
CLAVE: 0271
5/80 0 10

´
CARACTER: OPTATIVO.
MODALIDAD: CURSO.
SERIACION ´ INDICATIVA ANTECEDENTE: Algebra
´ Superior I.
SERIACION ´ INDICATIVA SUBSECUENTE: Logica Matem´
atica I, Teor´ıa de los Con-
juntos I.

OBJETIVO(S): Introducir al alumno al lenguaje y los conceptos de la Teor´ıa de los Con-
juntos y de la L´ogica Matem´atica, que sirven como base en la construcci´on de las teor´ıas
matem´aticas.
Aprender a reconocer las estructura l´ogica de los enunciados matem´aticos mediante la
introducci´on de la simbolog´ıa adecuada, incluyendo conectivos, cuantificadores e igualdad.
Hacer claro el concepto de demostraci´on y distinguir los diferentes m´etodos de demostraci´on
de uso com´ un en matem´aticas. Diferenciar entre mostrar y demostrar.
Entender la idea de descubrir o inventar una demostraci´on y tener la certeza y claridad
acerca de cu´ando se ha logrado una demostraci´on y cu´ando no. Distinguir entre los elemen-
tos heur´ısticos y formales que intervienen en la actividad matem´atica; es decir, distinguir
entre una demostraci´on y el proceso de su descubrimiento.
Preparar al alumno para que adquiera pr´actica en c´omo hacer demostraciones, siguiendo
el proceso heur´ıstico de algunos ejemplos de demostraciones particulares. Asimismo, lograr
que el alumno adquiera habilidad para encontrar contraejemplos para enunciados falsos.
En ambos casos, mostrar que “l´ogica” e “intuici´on com´ un” no siempre coinciden.

1

composici´on de funciones.6 Funciones.2 Relaciones entre conjuntos: ∪. El conjunto cociente m´odulo una relaci´on de equivalencia. 1. Principio del no descenso infinito. Noci´on de pertenencia a un conjunto.5 Relaciones de equivalencia y particiones. Conjunto Densamente Ordenado (CODO). ∩. . 1.7 Cardinalidad. Principio del Buen Or- den. maximales. 1. Uni´on e intersecci´on ge- neralizadas. . Q. Nota- ci´on.). Conjunto Totalmente Ordenado (COTO). funciones invertibles. conjuntos finitos y conjuntos infinitos.4 Relaciones: pares ordenados y productos cartesianos. funci´on constante. Inversa de una funci´on. m´ınimo. composici´on de relaciones. Equipotencia de dos conjuntos. suprayectivas y biyectivas. Conjuntos 1. Dominio y Codominio. 2 . Teorema de Cantor. Funciones inyec- tivas. . gr´afica de una funci´on. Z. Relaciones de orden sobre un conjunto: Conjunto Parcialmente Ordenado (COPO). Rango o Imagen. Operaciones con relacio- nes: inversa de una relaci´on. Conjunto Bien Ordenado (COBO). 1. Igualdad de funciones. imagen o rango de una relaci´on. Representaci´on de operaciones. \. Cotas (m´aximo.3 Diagramas de Venn y diagramas de Euler. dominio y codominio.NUM. Qu´e afirma el Lema de Zorn. 1. HORAS UNIDADES TEMATICAS ´ 25 1. Inducci´on finita y segundo principio de Inducci´on. 1.1 Noci´on de conjunto. Conjuntos numerables y no numerables (N. 1. ⊂. R).8 Inducci´on y Recursi´on.

4 Simbolizaci´on de enunciados tomando en consideraci´on la estruc- tura sujeto-predicado: predicados.2 Simbolizaci´on de enunciados simples. . 2. / para cada uno . A a menos que B. por reducci´on al absurdo. A o B o ambos. Elementos de l´ ogica 2. no. Letras proposicionales y conectivos l´ogicos.1 Relaci´on entre las premisas y la conclusi´on de un argumento. . Ejemplos y m´as ejemplos de traducciones de enunciados (de conteni- do matem´atico y de contenido no matem´atico). A o B. . universal y existencial. Combinaci´on de los distintos m´etodos. Hn ”? 3. Negaci´on de cuantificadores universales y existenciales. . An´alisis de argumentos y m´ etodos de prueba 3. 3. 20 3. 3. . A s´olo si B. . . Sinonimia de conectivos: 1. Prueba por casos. A. de una disyunci´on. . 2. Existe . 2. . por vacuidad. constantes. si A. de una implicaci´on. Leyes distributivas. /. 2.3 Prueba de una equivalencia m´ ultiple por implicaciones simples. Distinci´on entre verdad de proposiciones y validez de argumentos. Pruebas indirectas: por contraposici´on. Negaci´on de una conjunci´on. de un bicondicional. B. Pruebas por inducci´on. .3 Simbolizaci´on de argumentos simples. Para todos . / hay al menos un .5 Criterios de verdad: criterios de verdad de conectivos.1 Forma l´ogica de un enunciado. ¿Qu´e quiere decir que “A se sigue de H1 . A implica B. cuantifica- dores e igualdad y analizar a partir de ellos la verdad de cualquier enunciado m´as complejo. 3 . 2. . B es necesaria para A. .25 2. / para cualquiera. 4. . A y B. Rec´ıproca y contrapuesta de una implicaci´on. 2. ambos: A y B. si A entonces B. . A pero B.2 M´etodos de prueba directos: especialmente de condicionales y de disyunciones. / para alg´ un .6 Equivalencias l´ogicas elementales. variables y cuantifica- ciones: 1. . no es el caso que A. . A es suficiente para B. no A. . . / hay un . Optativo: uso de reglas de instanciaci´on y generalizaci´on. / 2.

. Jansana.. 12. Revista Ciencias. D. 1996... Teor´ıa de Conjuntos y Temas Afines. 1977... M´exico: Limusa. Y.. BIBLIOGRAF´IA BASICA: ´ 1. 4 . “Paradojas. Manual de L´ogica para Estudiantes de Matem´aticas. Zubieta. M´exico: McGraw-Hill. L´ogica Elemental. M´exico: Tesis UNAM. El Juego de la L´ogica y otros Escritos. G. Taller de L´ogica Matem´atica. La idea de representaci´on de un ´area de conocimiento en otra. Facultad de Ciencias. El m´etodo progresivo-regresivo. 7. M´exico: Limu- sa. UNAM. 4. El M´etodo de la Inducci´on Matem´atica. M´exico: Universidad Aut´onoma Metropolitana.. Introducci´on al An´alisis L´ogico: del Lenguaje Natural al Len- guaje Anal´ıtico. J. intuici´on y l´ogica”. Grupo Editorial Iberoam´erica. 29. Fern´andez. A. Zubieta.1 Algunas ideas acerca del proceso de descubrimiento o heur´ıstica de una demostraci´on: La idea de reducci´on de un problema a otro. R. National Council of Teachers of Mathematics. L´ogica. Amor. Torres. F. Lipschutz. 1994.. Jan´e I. Ariel 1998.. 2.. BIBLIOGRAF´IA COMPLEMENTARIA: 1. 1993. A. serie Schaums McGraw-Hill. C´omo Entender y Hacer Demostraciones en Matem´aticas. Segura. L. I. Temas de Matem´aticas No. 1987. Badesa. 10 4. M´exico: Trillas.. A. No. Amor J. 4. C. 5. L. Heur´ısticas 4. 6. Madrid: Alianza. M´exico: Trillas 1975. 1993. Solow. Elementos de L´ogica Formal. M´exico: Educaci´on Matem´atica. V. Vol. M.. Sominski. 1987.. 2002. 2. Sobre un Curso de An´alisis L´ogico.. 8. Preisser. 6 No. 1990. 3. S. Carroll. Mart´ınez Gallardo. 2. 3. G.

8. G.. C´omo Plantear y Resolver Problemas. PERFIL PROFESIOGRAFICO: ´ Matem´atico. Polya. Edicio- nes C´atedra. 1978. especialista en el ´area de la asignatura a juicio del comit´e de asignaci´on de cursos. Madrid: Catedra. Smullyan. Temas de Matem´aticas No. Russell’s Paradox and Others. Planteo y Resoluci´on de Problemas. 17. R. 1979. National Council of Teachers of Mathematics. SUGERENCIA PARA LA EVALUACION ´ DE LA ASIGNATURA: Adem´as de las califi- caciones en ex´amenes y tareas se tomar´a en cuenta la participaci´on del alumno. 1941. Madrid: Colecci´on Teorema.. R.. 6. USA: The Technology Review. 5. 10. Smullyan.. M´exico: Trillas 1970. M. f´ısico. 5 . W. 1986. 9. Alicia en el Pa´ıs de las Adivinanzas. 1965. M. 7. Sugerencias para Resolver Problemas. ´ SUGERENCIAS DIDACTICAS: Lograr la participaci´on activa de los alumnos mediante exposiciones. actuario o licenciado en ciencias de la computaci´on. M´exico: Trillas. Torres Torija. M´exico: Trillas. ¿C´omo se Llama este Libro?. Quine.