UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS

LGICA MATEMTICA

SYLLABUS LGICA MATEMTICA

INFORMACIN GENERAL DEL CURSO
ESCUELA O UNIDAD:
SIGLA:
NIVEL:
CAMPO
DE
FORMACIN:
CURSO:
DURACIN Y DEDICACIN:

CONOCIMIENTOS
PREVIOS:

DIRECTOR DEL CURSO:

FECHA DE ELABORACIN:
DESCRIPCIN
DEL
CURSO

ESCUELA DE CIENCIAS DE LA EDUCACIN

ECEDU
Profesional
Formacin Disciplinar Bsico
Lgica matemtica
18 semanas

Cdigo: 551105
NUMERO DE CREDITOS: 2

El estudiante debe tener nociones generales bsicas de la teora de conjuntos, operaciones entre conjuntos, conocimientos
generales sobre conjuntos numricos y operaciones entre los mismos para poder contribuir con el desarrollo del
pensamiento lgico matemtico.
Pedro Jos Ruiz Prez
2014- I
El curso de Lgica matemtica hace parte del campo de formacin disciplinar de la licenciatura en matemticas. Hace un
recorrido por los principales aspectos dentro del campo de la lgica proposicional y de la lgica como disciplina, los grados
de validez de las proposiciones y los diferentes niveles desarrollo de las matemticas dentro de la humanidad.
El objetivo de este curso, es darle a conocer al estudiante un panorama general del pensamiento matemtico como
ciencia del pensamiento desde la estructura, inferencia, organizacin de los contenidos desde el principio de
racionalidad y sus aplicaciones, las generalidades de las demostraciones matemticas como herramientas de ayuda en su
contexto profesional dentro del campo de las matemticas.
Este curso consta de dos crditos, los cuales relacionan aspectos generales y especficos dentro del campo de la lgica
matemtica.

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

INTENCIONALIDADES FORMATIVAS
PROPSITO:
A travs del curso de lgica matemtica como campo de formacin disciplinar se busca que el estudiante este en capacidad de verificar los grados de
validez de razonamientos lgicos por intermedio de procesos deductivos apoyado en conectivos lgicos, reglas de inferencia y diferentes mtodos de
demostracin como herramientas importantes dentro de su campo de formacin y futuro desempeo profesional.

COMPETENCIAS GENERALES DEL CURSO:

El estudiante Contextualiza los conceptos que permiten potenciar la capacidad analtica, lgica, interpretativa y creativa en la solucin
de aplicaciones y problemas matemticos tendientes a la construccin y desarrollo del pensamiento lgico matemtico los cuales
deben proporcionar la formacin profesional adecuada acorde con las necesidades del mundo laboral dentro del contexto real.

El estudiante Contextualiza trminos, predicados, razonamientos y demostraciones en la solucin de situaciones reales que contribuyen
con su desarrollo dentro del campo de formacin profesional y laboral, donde se provea de las herramientas necesarias que
fortalezcan su quehacer docente.

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

CONTENIDOS DEL CURSO

LGICA MATEMTICA

Unidad 1

Unidad 2

Clculo proposicional e inferencia Lgica

Teora de Conjuntos y Algebra de Boole

Lgica Proposicional:
Proposiciones lgicas
Enunciados y conectivos
Reglas de inferencia
Otras reglas de inferencia
Tablas de verdad

Tautologas

Reglas de inferencia y demostraciones:

Modus Ponendo Ponens
Modus Tollendo Tollens
Regla de doble negacin
Ley de adjuncin y simplificacin
Ley de adicin ,silogismo hipottico
Leyes de De Morgan

Teora de conjuntos:
Contexto histrico
Caractersticas
Operaciones
Representaciones graficas
Propiedades

Problemas aplicados

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 3

Algebra de Boole:
Contexto histrico
Caractersticas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

Nombre
unidad

de

la

Contenidos de aprendizaje

Referencias Bibliogrficas requeridas (Incluye: Libros textos, web links, revistas cientficas)

Lgica Proposicional:
Proposiciones lgicas
Enunciados y conectivos
Reglas de inferencia
Otras reglas de inferencia
Tablas de verdad
Tautologas

Clculo
proposicional e
inferencia Lgica

Reglas de inferencia y
demostraciones:
Modus Ponendo Ponens
Modus Tollendo Tollens
Regla de doble negacin
Ley de adjuncin y simplificacin
Ley de adicin ,silogismo
hipottico
silogismo disyuntivo ,leyes
conmutativas
leyes de De Morgan
Teora de conjuntos:

Teora de
Conjuntos y
Algebra de Boole

Contexto histrico
Caractersticas
Operaciones
Representaciones graficas
Propiedades
Relacin con la lgica clsica

- Fuentes R ( ). Resumen de las leyes de inferencia. Recuperado Junio 13 de 2014

http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicion
al.pdf

- Garca I ( ). Introduccin a la lgica y mtodos de demostracin cap. 2.

- Domingo A. ( ). Lgica matemtica. Recuperado Junio 14 de 2014

http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

- Tecnolgico de monterrey (2006). Teora de Conjuntos. Recuperado Junio 06 de 2014

http://www.mty.itesm.mx/dmti/materias/ma2006-1/recursos/Teoria_Conjuntos.pdf
- Universidad de Palmira (2007). Teora de conjuntos. Recuperado Junio 06 de 2014
http://cursomatematicasunalpalmira.wikispaces.com/file/view/TEORIA+DE+CONJUNTOS.pdf

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 4

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA
Algebra de Boole:

- Almendros N. (2009).Algebra de Boole. Recuperado Junio 06 de 2014

http://vinuar75tecnologia.pbworks.com/f/Algebra+de+Boole+2.pdf

Contexto histrico
Caractersticas
Operaciones

Referencias bibliogrficas complementarias

Clculo proposicional e inferencia Teora de Conjuntos y Algebra de Boole

Lgica
- Acevedo G (2008).Lgica matemtica - Araya R (2006 ). Algebra de Boole. Recuperado Junio
13 de 2014, a partir de:
UNAD, recuperado Junio 12, a partir
http://www.alumnos.inf.utfsm.cl/~raraya/arq/mater
de:
ial/Capitulo_3.pdf
http://eduminlya.wikispaces.com/file/view/Logica+
Diagrama de flujo
Matematica-1.pdf
Fundacin Iberoamericana para la gestin
de la calidad
(2011). Diagramas de flujo .
recuperado Junio 16 de 2014
http://www.fundibeq.org/opencms/export/sites/de
fault/PWF/downloads/gallery/methodology/tools/di
agrama_de_flujo.pdf
Ejemplo de un diagrama de flujo (2010).
(Youtube,
2010)
disponible
en
https://www.youtube.com/watch?v=hNpLN2TcPQ8

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

ACTIVIDADES DE APRENDIZAJE

CONTENIDO DE
UNIDAD

APRENDIZAJE

EVALUACIN
COMPETENCIA

INDICADORES DE

Contextualizacin

DESEMPEO

Todos los temas

del curso de
lgica.

Relaciona
conceptos y los
expresa de forma
grafica mostrando
las
relaciones
existentes y as
poderlo aplicar en
la
cotidianidad
matemtica.

Identifica
los
elementos de un mapa
conceptual.
Aplica
las
caractersticas de los
mapas conceptuales en
la realizacin de uno
en lgica matemtica.

ESTRATEGIA

DE

APRENDIZAJE

La
estrategia
aprendizaje
Enseanza para
comprensin.

N DE
SEM

de
es
la

Realiza la actividad de
contextualizacin
planteada en la gua de
actividades.

1
y
2
Del 5 al
26 de
Agosto

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 6

PONDER
ACIN

PROPSITO

CRITERIOS DE EVALUACIN

Realizar un
mapa
conceptual con
cada uno de
los temas del
curso para as
activar los
conocimientos
previos.

Realiza el mapa conceptual

con los temas del curso, se
evidencia

coherencia

relacin en cada rama del

mapa.

5%

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

Clculo proposicional e inferencia Lgica

El

Lgica
Proposicional:
Proposiciones
lgicas
Enunciados y
conectivos
Reglas de
inferencia
Tablas de verdad
Tautologas

estudiante

Contextualiza

los

conceptos

que

permiten potenciar
la

capacidad

analtica,

lgica,

interpretativa

creativa

la

en

solucin

de

aplicaciones

problemas

Reglas de
inferencia y
demostraciones:
Modus Ponendo
Ponens
Modus tollendo
tollens
Regla de doble
negacin
Ley de adjuncin
y simplificacin
leyes de De
Morgan

matemticos
tendientes
construccin
desarrollo

la
y
del

pensamiento lgico
matemtico
cuales
proporcionar

Aplica los conceptos

de proposiciones, la
simbolizacin
de
proposiciones
y las
reglas de inferencia en
la
solucin
de
situaciones
problemicas es que se
plantean

La
estrategia
de
aprendizaje
es
Enseanza para la
comprensin.
La
Enseanza para la
comprensin, es un
enfoque
de
tipo
constructivista
que
incentiva la capacidad
de pensar y actuar
flexiblemente
aplicando
los
conocimientos a un
contexto.

a
la
9

Realiza la actividad
momento I planteada
en
la
gua
de
actividades.

Del 27

Agosto

deben

al 05 de

la

oct.

profesional
acorde

con las necesidades

del mundo laboral
dentro del contexto

Syllabus Lgica Matemtica real.

Diseador: Pedro Jos Ruiz Prez
Pgina 7

-Demuestra que una

tabla de verdad es una
tautologa o una
contradiccin utilizando
las propiedades dadas. .
-Aplica las reglas de
inferencia en la
demostracin de valor
de verdad .
-Hace uso adecuado de
los foro

de

los

formacin

adecuada

Medir el nivel
de apropiacin
de los
fundamentos
tericos de la
lgica
matemtica en
el empleo del
clculo
proposicional y
en
la
inferencia
lgica.

25 %

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

Teora de Conjuntos y Algebra de Boole

Teora de
conjuntos:
Contexto
histrico
Caractersticas
Operaciones
Representaciones
graficas
Propiedades
Relacin con la
lgica clsica

El

La
estrategia
aprendizaje
Enseanza para
comprensin.

estudiante

Contextualiza
trminos,
predicados,
razonamientos

demostraciones en
la

solucin

situaciones

de
reales

que contribuyen con

su

desarrollo

dentro del campo de

formacin
profesional

Aplica
trminos,
predicados,
razonamientos
y
demostraciones en
la
solucin
de
situaciones
reales
que contribuyen con
el desarrollo
del
pensamiento lgicomatemtico dentro
de
su prctica
docente

de
es
la

Realiza la actividad
momento II planteada
en
la
gua
de
actividades.

9
Realizar la actividad
momento
III
planteada en la gua de
actividades (quiz).

a
la
15

laboral, donde se

Algebra de Boole:

provea

Contexto
histrico
Caractersticas
Operaciones

herramientas

de

necesarias
fortalezcan

las

Del 06
de oct.

que

al 27 de

su

nov.

quehacer docente.

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 8

Medir el nivel
de apropiacin
de los
fundamentos
tericos de la
Lgica
matemtica en
el empleo de
la teora de
conjuntos y el
lgebra
de
Boole.

-Obtiene rigurosamente
La solucin a un
problema de teora de
conjuntos con dos o ms
variables.
-Aplica el algebra de
Boole en la solucin de
problemas con
compuertas lgicas.
-Hace uso adecuado de
los foros.
-Realiza el quiz de forma
individual en los tiempos
dados para ello. .

45 %

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

N DE
UNIDAD

CONTENIDO DE

COMPETENCIA

APRENDIZAJE

Evaluacin final

Diseo
algoritmos

INDICADORES DE
DESEMPEO

de

Resuelve
problemas de su
entorno
social
utilizando
inferencias lgicas
como parte de su
formacin
docente.

Plantear
y
dar
solucin a un problema
de su entorno social

ESTRATEGIA

DE

SEM
PROPSITO

APRENDIZAJE
La
estrategia
aprendizaje
Enseanza para
comprensin.

de
es
la

Cada
grupo
debe
investigar un problema
relacionado
a
su
entorno
y
darle
solucin
con
un
diagrama de flujo
(algoritmo)
segn
indicaciones dadas en
la gua integradora.

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 9

EVALUACIN

17
y
18
Del 28 de
nov. Al
14 de dic.

Plantear y resolver
un problema
social utilizando
algoritmos y
diagramas de flujo
verificando que lo
hecho d solucin
real al problema
dado.

CRITERIOS DE
EVALUACIN
Grado de
apropiacin de los
fundamentos
tericos, con el
objetivo de
transmitir sus
conocimientos en
su
quehacer
de
docente
y su
capacidad de trabajo
en equipo.

PONDE
RACIN

25 %

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA CIENCIAS DE LA EDUCACIN ECEDU PROGRAMA LICENCIATURA EN MATEMTICAS
LGICA MATEMTICA

ESTRUCTURA DE EVALUACIN DEL CURSO

Fase de
Evaluacin

Qu se
evala.

Semana

Tipo de actividad
Individual

Inicial

Actividad
inicial

12

Formativa

Sumativa

Ponderacin

Colaborativa
Formativa

Sumativa

Puntos

Porcentaje

25

del curso

Intermedia

Final

Momento I

3-9

125

25

Momento II

10 15

125

25

Momento III
Quiz

14

100

20

Actividad
final

16 -18

125

25

500

100

X
Total

Syllabus Lgica Matemtica

Diseador: Pedro Jos Ruiz Prez
Pgina 10