Plan de estudios

LOGICA Y TEORIA DE CONJUNTOS

Cdigo: MAB304
Nivel: I
Ciclo lectivo: I
Naturaleza: Terico-prctico
rea: lgebra y Geometra
Requisito: Ingreso a carrera
Crditos: 04
Horas presenciales: 05
Horas docente: 05
Horas de teora: 03
Horas de prctica: 02
Horas de estudio independiente: 06
Total de horas: 11
Unidad acadmica que imparte el curso: Escuela de Matemtica

Descripcin
Este es un primer curso dirigido a estudiantes de la carrera de Enseanza de la
Matemtica. El objetivo general es que el estudiante se familiarice con el lenguaje y
razonamientos caractersticos de esta disciplina.
El curso busca potenciar algunas competencias en el razonamiento y la argumentacin
involucradas en los quehaceres matemticos. Por ello, se dar especial importancia a
algunos mtodos de demostracin matemtica, sobre todo por medio de ejemplos,
ejercicios y problemas tomados de varios campos de las mismas. Se busca que el
estudiante identifique los componentes bsicos presentes en un teorema o una
proposicin matemtica (hiptesis, condiciones, tesis, entre otras), que determine el
mtodo ms conveniente en un proceso de prueba matemtica y que realice los pasos
deductivos con justificacin matemtica.
Se pretende que los estudiantes comprendan que el sistema axiomtico de las
Matemticas es un producto que surge como la solucin a la necesidad de validar
proposiciones y que la teora de conjuntos es un medio valioso en la comunicacin de
conceptos y mtodos matemticos.
Durante este periodo, es conveniente que no slo haga nfasis en los aspectos
49

Bachillerato y Licenciatura en la Enseanza de la Matemtica

procedimentales de los contenidos, sino tambin en aspectos conceptuales, de

lenguaje matemtico y los relacionados con la construccin de argumentos que
justifican tales procedimientos u otras proposiciones.

Objetivos
Que el estudiante:
Obtenga los elementos bsicos de la lgica matemtica que le permita comprender y
fundamentar la veracidad de una proposicin matemtica.
Aplique los mtodos de razonamiento y de demostracin matemtica para construir
argumentos vlidos.
Formalice algunos conceptos del lgebra universitaria que le permitan el uso de los
mtodos de demostracin.
Adquiera los elementos bsicos de la teora de conjuntos que le faciliten la comprensin
de otros conceptos matemticos.

Contenidos
Nociones bsicas de Lgica Matemtica
Fundamentos de un sistema axiomtico. Lgica proposicional. Conectivas lgicas.
Tablas de verdad. Proposiciones condicionales y bicondicionales. La implicacin
lgica. Operadores Lgicos. Proposiciones equivalentes. Tautologas. Cuantificador
universal. Cuantificador existencial.
Mtodos de demostracin
Naturaleza de una demostracin. Los mtodos de demostracin en matemtica:
conjuncin, disyuncin, implicacin, contra-positiva, reduccin al absurdo o
contradiccin. Ejemplos diversos de aplicacin de los mtodos de demostracin
matemtica.
El campo de los nmeros reales
Axiomas de campo para los nmeros reales. Demostracin de las propiedades
algebraicas. Axiomas de orden. Demostracin de las propiedades de orden. Valor
absoluto de un nmero real: definicin y demostracin de las propiedades
fundamentales (desigualdad triangular). Sumatoria y productoria.

50

Plan de estudios

Nmeros naturales, enteros, racionales e irracionales

Nmeros naturales: introduccin con axiomas de Peano. Teorema del principio de
induccin. Definicin de suma y producto en . Demostracin de propiedades: cierre de
la suma y el producto; todo nmero natural es positivo. Definicin de nmeros enteros.
Demostracin de propiedades: cierre para la suma y producto en . Definicin de
nmeros racionales. Definicin de suma y producto en y clausura de estas leyes. El
smbolo factorial y coeficiente binomial. Demostracin del Binomio de Newton.
Existencia de al menos un nmero no racional.
Potenciacin y radicacin en el conjunto de los reales
Definicin de potenciacin en IR: exponente natural y entero. Teorema de la existencia
de la raz n-sima (sin demostracin) y potencia con exponente racional.
Demostraciones de las leyes de potencias (estas incluyen las propiedades de las
races).
Elementos de la Teora de Conjuntos
Generalidades. Notaciones. Descripcin de un conjunto por extensin y por
comprensin. Inclusin. El conjunto vaco. Conjuntos iguales. Teoremas relacionados.
El conjunto de partes. Operaciones entre conjuntos: unin, unin generalizada,
interseccin, interseccin generalizada, conjuntos disjuntos. Distributividad de la unin
con respecto a la interseccin y viceversa. Diferencia de conjuntos y diferencia
simtrica. Complemento de un conjunto. Teoremas relacionados a las operaciones de
conjuntos. Leyes de De Morgan. Definicin de pares ordenados. Teorema de la
igualdad de pares ordenados. Producto cartesiano. Grfico de un producto cartesiano.

Bibliografa
Apuntes del curso Lgica y Teora de Conjuntos.
Chinchilla, E. Elementos de Lgica Matemtica. Sin publicar. Escuela de Matemtica,
Universidad de Costa Rica.
Camacho, L. (1987). Introduccin a la lgica.
Tecnolgica. Segunda edicin.

51

Cartago, Costa Rica:

Editorial

Bachillerato y Licenciatura en la Enseanza de la Matemtica

Camacho, L. (2003). Lgica simblica bsica. San Jos: EUCR.

Duarte A., Cambronero S. (2004). Un poco sobre teora de conjuntos. Sin publicar.
Escuela de Matemtica, Universidad de Costa Rica.
Enderton, A. B. (2004). Una introduccin matemtica a la lgica. Mxico D.F.: UNAM.
Murillo, M. (2007). Introduccin a la Matemtica Discreta. Cartago, Costa Rica: Editorial
Tecnolgica.
Oubia, L. (1976). Introduccin a la teora de conjuntos.
Universitaria de Argentina.

52

Buenos Aires:

Editorial