CÓDIGO: FOR-

DO-020
VERSION: 01
FECHA:
06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO
Septiembre
Facultad Ciencias de la Educación Fecha de Actualización
de 2016
Programa Licenciatura en Matemáticas Semestre Segundo
Nombre Lógica y teoría de conjuntos Código 22462
Prerrequisitos Ninguno Créditos 2
Nivel de Técnico Profesional X Maestría
Formación Tecnológico Especialización Doctorado
Área de Profesional o
Básica X Electiva
Formación Disciplinar
Tipo de Curso Teórico X Práctico Teórico-práctico
Modalidad Presencial X Virtual Mixta
Horas de Horas de Trabajo
Acompañamiento Presencial 2 Virtual 4
Independiente
Directo
1. INFORMACIÓN GENERAL DEL CURSO

2. DESCRIPCIÓN:

Al finalizar el curso los estudiantes deberán haber desarrollado las competencias de

argumentación, análisis, demostración y comprobación de resultados relacionados con el
cálculo proposicional y el cálculo de predicados. En cuanto a la teoría de conjuntos, estarán
en capacidad de: aplicar los conceptos básicos de la Lógica, el cálculo de proposiciones, el
cálculo de predicados y la teoría de conjuntos a la solución de situaciones problémicas del
contexto del matemático, razonando de manera formal, rigurosa y consistente que permita al
estudiante de matemáticas construir su propio conocimiento de manera autónoma; construir
teorías, representaciones y símbolos que ayuden a la comprensión de los distintos temas
tratados en cada unidad, reconociendo problemas complejos y reformularlos a las estructuras
lógicas comprendidas para poder obtener su solución o su demostración, las relaciones y
funciones, conjuntos ordenados y clasificaciones, cardinalidad, conjuntos infinitos, el axioma
de escogencia y sus equivalentes. Todos estos temas refuerzan las bases para el recorrido en
las áreas de matemática del programa.

3. JUSTIFICACIÓN
 CÓDIGO: FOR-
DO-020
VERSION: 01
FECHA:
06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

Esta asignatura es de mucha importancia para los estudiantes de licenciatura en Matemáticas,

pues le permite conocer y estudiar de manera rigurosa los conceptos fundamentales de la
Lógica, empezando por los conocimientos básicos del cálculo proposicional axiomático, el
cálculo de predicados y la teoría de conjuntos, pasando por la deducción formal y la
simbolización haciendo uso de los cuantificadores universal y existencial. La Lógica es muy
importante, pues es la clave para entender muchas etapas de las matemáticas y su aplicación
a otras ramas de la Ciencia, sus conceptos son fáciles de asimilar y un estudio a fondo de los
mismos revela una estrecha relación con la deducción formal y rigurosa y muestra como a
partir de ella se puede construir todas las matemáticas. La Teoría de Conjuntos constituye un
marco de referencia básico para toda la matemática en la actualidad. Para el matemático es
indispensable el manejo de este lenguaje, pese a que en las diferentes escuelas de
pensamiento matemático se presenten algunas alternativas que desconocen ciertos aspectos
de la Teoría Clásica de Conjuntos, hoy día es innegable que disciplinas como el Álgebra, el
Análisis y la Teoría de Modelos, entre otras, fundamentan su desarrollo en el uso del lenguaje
conjuntista.

4. PROPÓSITO GENERAL DEL CURSO

El curso de Lógica Matemática y Teoría de Conjuntos tiene como propósito el de comunicar al

estudiante en matemáticas, los hechos básicos en la vida acerca de la lógica y la teoría de los
conjuntos y hacerlo con el mínimo formalismo. Desde este punto de vista los conceptos y
métodos de este curso son tan sólo algunas de las herramientas usuales de las matemáticas.

5. COMPETENCIA GENERAL DEL CURSO

 Analizar situaciones problema en contextos de la lógica y la teoría de conjuntos y de

áreas interrelacionadas y establecer posibles soluciones.
 Aplicar los conceptos básicos de Lógica, el cálculo de proposiciones, el cálculo de
predicados y la teoría de conjuntos a la solución de situaciones problémicas del
contexto del matemático, razonando de manera rigurosa y consistente, que permita
al estudiante de matemáticas construir su propio conocimiento de manera autónoma.
 Construir teorías, representaciones y símbolos que ayuden a la comprensión de los
distintos temas tratados en la asignatura, reconociendo problemas complejos y
reformularlos a las estructuras lógicas comprendidas para poder obtener su solución o
su demostración.
 Diseñar y presentar un proyecto de investigación de una situación problémicas
relacionada con la asignatura y a fines que permitan afianzar los conocimientos y
fomentar la cultura de la investigación formativa en los estudiantes de matemáticas.
 CÓDIGO: FOR-
DO-020
VERSION: 01
FECHA:
06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

 Formular procedimientos para las demostraciones y soluciones de problemas

relacionados con la teoría de conjuntos.

6. PLANEACIÓN DE LAS UNIDADES DE FORMACIÓN

 Clases magistrales.
 Talleres asistidos.
 Presentación y análisis del tema.
 Discusiones grupales sobre el tema.
 Exposiciones sobre temas asignados.
 Asignación de tareas.
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

Aplicar los conceptos básicos de Lógica a

Introducción a la lógica y reglas de la solución de situaciones problémicas
UNIDAD 1. COMPETENCIA
inferencia del contexto del matemático, razonando
de manera rigurosa y consistente.
INDICADORES DE CRITERIOS DE
CONTENIDOS ESTRATEGIA DIDÁCTICA SEMANA
LOGROS EVALUACIÓN
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

1. Proposiciones  Aplicar los conceptos

Se propone la siguiente básicos de Lógica, el
2. Conectivos lógicos metodología: cálculo de
fundamentales proposiciones, el
 Trabajo individual
cálculo de predicados Para la evaluación de la
3. Condicional y previo de consulta. y la teoría de unidad se tendrá en
Bicondicional conjuntos a la cuenta:
 Trabajo en grupo de
4. Tablas de Verdad solución de
5 estudiantes para
Condición suficiente y situaciones  Consulta
socializar los problémicas del
necesaria bibliográfica
conceptos y contexto del
individual.
5. Tautologia escoger 3 de ellos. matemático,
razonando de  Participación en el 1 a la 4
 Plenaria. manera rigurosa y
6. Implicación Lógica y grupo de trabajo.
consistente, que
Leyes de la Implicación  Aclaraciones y
permita al estudiante  Participación y
complementacione de matemáticas
7. Modus Ponems, sustentación en
s. construir su propio
Tollendo Tollens y plenaria.
conocimiento de
Tollendo Ponems  Consulta de
manera autónoma.  Evaluaciones
asignación de  Construye teorías,
8. Silogismo Hipotético escritas.
actividades representaciones y
9. Ley de Adición y Ley de extraclases en el símbolos que ayuden
Simplificación SICVI a la comprensión de
los distintos temas
10. Equivalencia tratados en la
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

asignatura,
11. Ley asociativa y Ley reconociendo
conmutativa problemas complejos
y reformularlos a las
12. Ley del Contra estructuras lógicas
recíproco, Ley de comprendidas para
Idempotencia y Ley de poder obtener su
Identidad solución o su
demostración.
13. Ley del Condicional
Bicondicional

14. Ley del Condicional

Disyunción Lógica

15. Leyes de Equivalencia

Métodos de Demostración Utilizar diferentes métodos para

UNIDAD 2. COMPETENCIA
elaborar demostraciones.
INDICADORES DE CRITERIOS DE
CONTENIDOS ESTRATEGIA DIDÁCTICA SEMANA
LOGROS EVALUACIÓN
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

Se propone la siguiente
metodología:
 Trabajo individual
Para la evaluación de la
previo de consulta. unidad se tendrá en
 Trabajo en grupo de cuenta:
5 estudiantes para
 Consulta
1. Argumento Lógico y socializar los
bibliográfica
deducción conceptos y  Demuestra
individual.
escoger 3 de ellos. utilizando los
2. Método Directo
diferentes  Participación en el 5
 Plenaria.
3. Método Indirecto métodos vistos en grupo de trabajo.
 Aclaraciones y clases.  Participación y
4. Reducción al absurdo complementacione
por el contra recíproco sustentación en
s.
plenaria.
 Consulta de
 Evaluaciones
asignación de
escritas.
actividades
extraclases en el
SICVI

UNIDAD 3. Cuantificadores y funciones COMPETENCIA Dominar la definición de funciones

 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

proposicionales proposicionales e identificar los

diferentes cuantificadores que existen.
INDICADORES DE CRITERIOS DE
CONTENIDOS ESTRATEGIA DIDÁCTICA SEMANA
LOGROS EVALUACIÓN
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

1. Funciones
proposicionales Se propone la siguiente
metodología:
2. Conjunto solución de
una función  Trabajo individual
Para la evaluación de la
proposicional previo de consulta.
 Maneja con unidad se tendrá en
3. Cuantificador Universal  Trabajo en grupo de cuenta:
criterio la
5 estudiantes para definición de una
4. Interpretación del  Consulta
cuantificador universal socializar los función bibliográfica
a partir de la conceptos y proposicional. individual.
conjunción escoger 3 de ellos.
 Participación en el 6 a la 8
5. Cuantificador  Plenaria.
 Identifica e grupo de trabajo.
Existencial
 Aclaraciones y interpreta  Participación y
6. Interpretación del complementacione correctamente los
cuantificador universal sustentación en
s. diferentes
a partir de la plenaria.
Disyunción  Consulta de cuantificadores
que existen.  Evaluaciones
asignación de
7. Negación de un escritas.
cuantificador actividades
extraclases en el
8. Lógica de la Teoría
SICVI
conjuntos

9. Ley de Simplificación
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

Universal

10. Ley de Generalización

Existencial

Desarrollo intuitivo y axiomático de la Manejar propiedades elementales de los

UNIDAD 4. COMPETENCIA
Teoría de Conjuntos conjuntos y operarlos entre sí.
INDICADORES DE CRITERIOS DE
CONTENIDOS ESTRATEGIA DIDÁCTICA SEMANA
LOGROS EVALUACIÓN
1. Conceptos básicos Se propone la siguiente  Reconoce los Para la evaluación de la
de la Teoría metodología: conceptos básicos unidad se tendrá en
Cantoriana. de la teoría de cuenta:
 Trabajo individual
Cantor.
2. Paradojas y su previo de consulta.  Consulta
 Sabe cuáles son
impacto en los  Trabajo en grupo de bibliográfica
las paradojas y su
fundamentos de individual.
5 estudiantes para impacto en los
Matemática.
fundamentos 9 a la 10
socializar los  Participación en el
matemáticos.
3. Soluciones a la conceptos y grupo de trabajo.
Crisis de los escoger 3 de ellos.  Maneja las
Fundamentos: las propiedades  Participación y
Teorías axiomáticas  Plenaria. elementales de los sustentación en
y la construcción conjuntos. plenaria.
 Aclaraciones y
de los lenguajes.  Sabe demostrar
complementacione  Evaluaciones
igualdad entre
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

4. Clases y conjuntos. s. conjuntos y escritas.

contenencia.
5. Álgebra de clases.  Consulta de  Sabe calcular
asignación de uniones e
actividades intercesiones
6. Pares ordenados y extraclases en el generalizadas
Producto
SICVI
Cartesiano.

7. Gráficos.

8. Uniones
generalizadas e
intersecciones.

Diferenciar relaciones de funciones y

Relaciones, funciones y clases
UNIDAD 5. COMPETENCIA reconocer cuando un conjunto es
parcialmente ordenadas
parcialmente ordenado.
INDICADORES DE CRITERIOS DE
CONTENIDOS ESTRATEGIA DIDÁCTICA SEMANA
LOGROS EVALUACIÓN
1. Relaciones de Se propone la siguiente Para la evaluación de la
equivalencia y metodología: unidad se tendrá en
particiones.  Sabe comprobar cuenta:
11 a la 14
 Trabajo individual cuando una
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

2. Composición de previo de consulta. relación es de  Consulta

funciones y función equivalencia. bibliográfica
inversa.  Trabajo en grupo de
5 estudiantes para  Sabe la diferencia individual.
entre relación y
3. Imagen y pre- socializar los función.  Participación en el
imagen de un conceptos y grupo de trabajo.
conjunto bajo una  Sabe calcular la
escoger 3 de ellos.
función. composición de  Participación y
 Plenaria. funciones e sustentación en
4. Producto de una inversa
plenaria.
familia de clases.  Aclaraciones y
 Reconoce cuando
complementacione un conjunto es  Evaluaciones
5. Relaciones de s. parcialmente escritas.
equivalencia y ordenado
funciones.  Consulta de
asignación de
6. Clases ordenadas. actividades
Isomorfismo entre
extraclases en el
clases ordenadas.
SICVI
7. Elementos
distinguidos en un
conjunto
ordenado.
Retículos.

8. Clases totalmente
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

ordenadas y clases
bien ordenadas.

9. Isomorfismo entre
clases bien
ordenadas.

Calcular maximales de un conjunto y

UNIDAD 6. Maximales y conjuntos finitos e infinitos COMPETENCIA
verificar que un conjunto es o no infinito.
INDICADORES DE CRITERIOS DE
CONTENIDOS ESTRATEGIA DIDÁCTICA SEMANA
LOGROS EVALUACIÓN
1. El axioma de Se propone la siguiente  Sabe calcular Para la evaluación de la
escogencia y sus metodología: elementos unidad se tendrá en
aplicaciones. maximales de un cuenta:
 Trabajo individual conjunto.
2. Principios de buena previo de consulta.  Consulta
ordenación.  Reconoce cuando bibliográfica
 Trabajo en grupo de 15 y 16
un conjunto es individual.
3. El Lema de Zorn. 5 estudiantes para infinito y sus
4. Principios socializar los propiedades.  Participación en el
maximales. conceptos y grupo de trabajo.
5. Equipotencial de escoger 3 de ellos.  Sabe demostrar
conjuntos. utilizando el  Participación y
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

 Plenaria. método de sustentación en

6. Propiedades de los inducción plenaria.
conjuntos infinitos.  Aclaraciones y matemática.
complementacione  Evaluaciones
7. Números s. escritas.
Naturales.
 Consulta de
8. Principio de asignación de
Inducción. actividades
extraclases en el
9. Conjuntos
SICVI
enumerables y no
enumerables.
Propiedades.
 CÓDIGO: FOR-DO-
020
VERSION: 01
FECHA: 06/09/2016
FORMATO CONTENIDO DE CURSO O SÍLABO

7. BIBLIOGRAFÍA BÁSICA DEL CURSO

SUPPES, Patrick e HILL, Shirley. Primer curso de Lógica Matemática.

Editorial Reverté, S. A., 1988.
CAICEDO, Xavier. Elementos de lógica y calculabilidad. Una empresa
docente. Universidad de los Andes, 1990.
GRASSMANN Winfried Karl y TREMBLAY, Jean-Paul. Matemáticas discreta y
lógica una perspectiva desde la ciencia de la computación. PRENTICE HALL.
1997.
MUÑOZ J.M. Introducción a la Teoría de Conjuntos, U. Nal. De Colombia. Bogotá 1983.

SUPPES, P. Teoría axiomática de conjuntos. Norma. Cali. 1968.

PINTER, Ch. Set Theory. Addison-Wesley, P.C, Reading, Massachusets. 1971.

KAMKE. E. Theory Sets. Dover Publications. New York. 1974.

LIPSCHUPZ S. Teoría de conjuntos y temas afines. Shaum. 1966.

STOLYAR, A. A., Introduction to elementary mathematical logic, 1971.

8. BIBLIOGRAFÍA COMPLEMENTARIA DEL CURSO

VAN DALEN, Dirk. Logic and Structure. Springer Verlag, 1983.

CARNAP RUDOLF, Introduction to symbolic logic and its applications, 2003.

Lewin, R. (2011). La teoría de conjuntos y los fundamentos de la matemática. Chile:

Editorial ebooks Patagonia - J.C. Sáez Editor. Retrieved from http://www.ebrary.com