CDIGO: FOR-DO-020

VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

FACULTAD DE: CIENCIAS DE LA EDUCACIN

PROGRAMA DE: LICENCIATURA EN MATEMTICAS

PLANEACIN DEL CONTENIDO DE CURSO

1. IDENTIFICACIN DEL CURSO

NOMBRE : LGICA MATEMTICA

CDIGO : 22133
SEMESTRE : SEGUNDO
NUMERO DE CRDITOS : CUATRO
PRERREQUISITOS : NINGUNO
HORAS PRESENCIALES DE 4
:
ACOMPAAMIENTO DIRECTO
REA DE FORMACIN : PROFESIONAL
TIPO DE CURSO : PRESENCIAL
FECHA DE ACTUALIZACIN : AGOSTO 2016

2. DESCRIPCIN:
Al finalizar el curso los estudiantes debern haber desarrollado las competencias de
argumentacin, anlisis, demostracin y comprobacin de resultados relacionados con
el clculo proposicional, el clculo de predicados y la teora de conjuntos, estarn en
capacidad de: aplicar los conceptos bsicos de la Lgica, el clculo de proposiciones, el
clculo de predicados y la teora de conjuntos a la solucin de situaciones problmicas
del contexto del matemtico, razonando de manera formal, rigurosa y consistente que
permita al estudiante de matemticas construir su propio conocimiento de manera
autnoma; construir teoras, representaciones y smbolos que ayuden a la comprensin
de los distintos temas tratados en cada unidad, reconociendo problemas complejos y
reformularlos a las estructuras lgicas comprendidas para poder obtener su solucin o
su demostracin.

3. JUSTIFICACIN

________________________________________________________________________________________
Km. 7 Antigua via a Puerto Colombia. PBX 3197010. Educacion@mail.uniatlantico.edu.co. Barranquilla Colombia
 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

Esta asignatura es de mucha importancia para los estudiantes de licenciatura en

Matemticas, pues le permite conocer y estudiar de manera rigurosa los conceptos
fundamentales de la Lgica, empezando por los conocimientos bsicos del clculo
proposicional axiomtico, el clculo de predicados y la teora de conjuntos. Pasando por
la deduccin formal y la simbolizacin haciendo uso de los cuantificadores universal y
existencial. La Lgica es muy importante, pues es la clave para entender muchas etapas
de las matemticas y su aplicacin a otras ramas de la Ciencia, sus conceptos son fciles
de asimilar y un estudio a fondo de los mismos revela una estrecha relacin con la
deduccin formal y rigurosa y muestra como a partir de ella se puede construir todas
las matemticas.

4. PROPSITO GENERAL DEL CURSO

5. COMPETENCIA GENERAL DEL CURSO

Aplicar los conceptos bsicos de Lgica, el clculo de proposiciones, el clculo

de predicados y la teora de conjuntos a la solucin de situaciones problmicas
del contexto del matemtico, razonando de manera rigurosa y consistente, que
permita al estudiante de matemticas construir su propio conocimiento de
manera autnoma.
Construir teoras, representaciones y smbolos que ayuden a la comprensin de
los distintos temas tratados en la asignatura, reconociendo problemas
complejos y reformularlos a las estructuras lgicas comprendidas para poder
obtener su solucin o su demostracin.
Disear y presentar un proyecto de investigacin de una situacin problmicas
relacionada con la asignatura y a fines que permitan afianzar los conocimientos
y fomentar la cultura de la investigacin formativa en los estudiantes de
matemticas.

________________________________________________________________________________________
Km. 7 Antigua via a Puerto Colombia. PBX 3197010. Educacion@mail.uniatlantico.edu.co. Barranquilla Colombia
 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

6. PLANEACIN DE LAS UNIDADES DE FORMACIN

Clases magistrales.
Talleres asistidos para la resolucin de problemas
Presentacin y anlisis del tema.
Discusiones grupales sobre el tema.
Exposiciones sobre temas asignados.
Ejercicios de fijacin y aplicacin.
Asignacin de tareas.

7. BIBLIOGRAFA

7.1. BSICA

CAICEDO, Xavier. Elementos de lgica y calculabilidad. Una

empresa docente. Universidad de los Andes, 1990.
GRASSMANN Winfried Karl y TREMBLAY, Jean-Paul.
Matemticas discreta y lgica una perspectiva desde la ciencia
de la computacin. PRENTICE HALL. 1997.

7.2. COMPLEMENTARIA

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

SUPPES, Patrick. Introduccin a la lgica matemtica. C.E.C.S.A.,

www.matematicas.net/paraso/materia.php?id=ap

________________________________________________________________________________________
Km. 7 Antigua via a Puerto Colombia. PBX 3197010. Educacion@mail.uniatlantico.edu.co. Barranquilla Colombia
 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

UNIDAD 1. Introduccin a la lgica TIEMPO: 3 semanas

COMPETENCIA CONTENIDOS ESTRATEGIAS ESTRATEGIAS
INDICADORES DE
DIDACTICAS EVALUATIVAS
LOGROS
El estudiante Se propone la Aplicar los Para la evaluacin de
desarrollar su 1. Introduccin a la siguiente conceptos bsicos la unidad se tendr
capacidad de : lgica metodologa: de Lgica, el clculo en cuenta:
2. Proposiciones de proposiciones, el
1. Aplicar los Clases dialogadas clculo de
conceptos bsicos 3. Conectivos lgicos a partir del predicados y la Participacin del
de Lgica, el fundamentales planteamiento de teora de conjuntos estudiante. Desarrollo
clculo de situaciones a la solucin de de talleres. Trabajo en
proposiciones, el 4. Condicional y problmicas del situaciones grupos. Desarrollo de
clculo de Bicondicional contexto de las problmicas del evaluaciones
predicados y la 5. Tablas de Verdad matemticas y la contexto del objetivas.
teora de consulta matemtico, Exposiciones de
conjuntos a la 6. Condicin bibliogrfica razonando de temas especficos.
solucin de suficiente y previa, lo que manera rigurosa y Lecturas
situaciones necesaria permite la consistente, que complementarias.
problmicas del participacin permita al
contexto del activa del estudiante de
matemtico, estudiante en el matemticas
razonando de desarrollo de las construir su propio
manera rigurosa y mismas y la conocimiento de
consistente, que realizacin de manera autnoma.
permita al Talleres en clases y
estudiante de solucin de
matemticas problemas

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

construir su propio escogidos con

conocimiento de anticipacin.
manera autnoma. Consulta de
2. Construir teoras, asignacin de
representaciones y actividades
smbolos que extraclases en el
ayuden a la SICVI
comprensin de
los distintos temas
tratados en la
asignatura,
reconociendo
problemas
complejos y
reformularlos a las
estructuras lgicas
comprendidas
para poder
obtener su
solucin o su
demostracin.
3. Disear y
presentar un
proyecto de
investigacin de
una situacin
problmicas
relacionada con la

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

asignatura y a fines
que permitan
afianzar los
conocimientos y
fomentar la cultura
de la investigacin
formativa en los
estudiantes de
matemticas.

UNIDAD 2. Implicacin y Equivalencia TIEMPO: 5 semanas

COMPETENCIA CONTENIDOS ESTRATEGIAS ESTRATEGIAS
INDICADORES DE
DIDACTICAS EVALUATIVAS
LOGROS

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

El estudiante Se propone la Construye teoras, Para la evaluacin de

desarrollar su 1. Tautologia siguiente representaciones y la unidad se tendr
capacidad de : 2. Implicacin metodologa: smbolos que en cuenta:
Lgica ayuden a la
1. Aplicar los Clases dialogadas comprensin de los Participacin del
conceptos bsicos 3. Leyes de la a partir del distintos temas estudiante. Desarrollo
de Lgica, el clculo Implicacin planteamiento de tratados en la de talleres. Trabajo en
de proposiciones, situaciones asignatura, grupos. Desarrollo de
el clculo de 4. Modus Ponems problmicas del reconociendo evaluaciones
predicados y la 5. Tollendo Tollens contexto de las problemas objetivas.
teora de conjuntos matemticas y la complejos y Exposiciones de
a la solucin de 6. Tollendo Ponems consulta reformularlos a las temas especficos.
situaciones bibliogrfica estructuras lgicas Lecturas
problmicas del 7. Silogismo complementarias.
previa, lo que comprendidas para
contexto del Hipottico permite la poder obtener su
matemtico, 8. Ley de Adicin participacin solucin o su
razonando de activa del demostracin.
manera rigurosa y 9. Ley de estudiante en el
consistente, que Simplificacin desarrollo de las
permita al mismas y la
estudiante de 10. Equivalencia
realizacin de
matemticas 11. Ley asociativa Talleres en clases
construir su propio y solucin de
conocimiento de 12. Ley conmutativa problemas
manera autnoma. escogidos con
2. Construir teoras, 13. Ley del Contra
anticipacin.
recproco
representaciones y Consulta de
smbolos que asignacin de

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

ayuden a la actividades
comprensin de los 14. Ley de extraclases en el
distintos temas Idempotencia SICVI
tratados en la 15. Ley de Identidad
asignatura,
reconociendo 16. Ley del
problemas Condicional
complejos y Bicondicional
reformularlos a las
estructuras lgicas 17. Ley del
comprendidas para Condicional
poder obtener su Disyuncin
solucin o su Lgica
demostracin. 18. Leyes de
3. Disear y presentar Equivalencia
un proyecto de
investigacin de
una situacin
problmicas
relacionada con la
asignatura y a fines
que permitan
afianzar los
conocimientos y
fomentar la cultura
de la investigacin
formativa en los

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

estudiantes de
matemticas.

UNIDAD 3. Mtodos de Demostracin TIEMPO: 4 semanas

COMPETENCIA CONTENIDOS ESTRATEGIAS ESTRATEGIAS
INDICADORES DE
DIDACTICAS EVALUATIVAS
LOGROS

El estudiante Se propone la Para la evaluacin de

1. Argumento Construir teoras,
desarrollar su siguiente la unidad se tendr
Lgico y metodologa: representaciones y
capacidad de : en cuenta:
deduccin smbolos que
ayuden a la
1. Aplicar los 2. Mtodo Directo Clases dialogadas comprensin de los
conceptos bsicos a partir del Participacin del
distintos temas
de Lgica, el clculo 3. Mtodo Indirecto planteamiento de estudiante. Desarrollo
tratados en la
de proposiciones, el situaciones de talleres. Trabajo en
asignatura,
clculo de 4. Reduccin al problmicas del grupos. Desarrollo de
absurdo por el reconociendo
predicados y la contexto de las evaluaciones
contrario problemas
teora de conjuntos matemticas y la objetivas.
recproco complejos y
a la solucin de consulta Exposiciones de
reformularlos a las
situaciones bibliogrfica temas especficos.
estructuras lgicas
problmicas del previa, lo que Lecturas
comprendidas para
contexto del permite la complementarias.
poder obtener su
matemtico, participacin solucin o su
razonando de activa del demostracin
manera rigurosa y estudiante en el

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

consistente, que desarrollo de las

permita al mismas y la
estudiante de realizacin de
matemticas Talleres en clases
construir su propio y solucin de
conocimiento de problemas
manera autnoma. escogidos con
2. Construir teoras, anticipacin.
representaciones y Consulta de
smbolos que asignacin de
ayuden a la actividades
comprensin de los extraclases en el
distintos temas SICVI
tratados en la
asignatura,
reconociendo
problemas
complejos y
reformularlos a las
estructuras lgicas
comprendidas para
poder obtener su
solucin o su
demostracin.
3. Disear y presentar
un proyecto de
investigacin de
una situacin

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

problmicas
relacionada con la
asignatura y a fines
que permitan
afianzar los
conocimientos y
fomentar la cultura
de la investigacin
formativa en los
estudiantes de
matemticas.

UNIDAD 4. Cuantificadores y funciones proposicionales TIEMPO: 4 semanas

COMPETENCIA CONTENIDOS ESTRATEGIAS ESTRATEGIAS
INDICADORES DE
DIDACTICAS EVALUATIVAS
LOGROS

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

El estudiante Se propone la Para la evaluacin de

1. Funciones Construir teoras,
desarrollar su siguiente la unidad se tendr
proposicionales representaciones y
capacidad de : metodologa: en cuenta:
smbolos que
2. Conjunto solucin ayuden a la
1. Aplicar los de una funcin Clases dialogadas
comprensin de los
conceptos bsicos proposicional a partir del Participacin del
distintos temas
de Lgica, el clculo planteamiento de estudiante.
tratados en la
de proposiciones, 3. Cuantificador situaciones Desarrollo de talleres.
asignatura,
el clculo de Universal problmicas del Trabajo en grupos.
reconociendo
predicados y la contexto de las Desarrollo de
4. Interpretacin del problemas
teora de conjuntos matemticas y la evaluaciones
cuantificador complejos y
a la solucin de consulta objetivas.
universal a partir reformularlos a las
situaciones bibliogrfica Exposiciones de
de la conjuncin estructuras lgicas
problmicas del previa, lo que temas especficos.
comprendidas para
contexto del 5. Cuantificador permite la Lecturas
poder obtener su
matemtico, Existencial participacin complementarias.
solucin o su
razonando de activa del demostracin
manera rigurosa y 6. Interpretacin del estudiante en el
consistente, que cuantificador desarrollo de las
permita al universal a partir mismas y la
estudiante de de la Disyuncin realizacin de
matemticas Talleres en clases
construir su propio 7. Negacin de un
y solucin de
conocimiento de cuantificador problemas
manera autnoma. 8. Lgica de la Teora escogidos con
2. Construir teoras, conjuntos anticipacin.
representaciones y Consulta de
smbolos que asignacin de

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

ayuden a la actividades
comprensin de los 9. Ley de extraclases en el
distintos temas Simplificacin SICVI
tratados en la Universal
asignatura, 10. Ley de
reconociendo Generalizacin
problemas Existencial
complejos y
reformularlos a las
estructuras lgicas
comprendidas para
poder obtener su
solucin o su
demostracin.
3. Disear y presentar
un proyecto de
investigacin de
una situacin
problmicas
relacionada con la
asignatura y a fines
que permitan
afianzar los
conocimientos y
fomentar la cultura
de la investigacin
formativa en los

Vo. Bo. Comit Curricular Si No

 CDIGO: FOR-DO-020
VERSIN: 0
FECHA: 03/08/2016
FORMATO DE CONTENIDO DE CURSO

estudiantes de
matemticas.

Vo. Bo. Comit Curricular Si No