UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN

SYLLABUS
2016

1. INFORMACIN GENERAL DEL CURSO

ESCUELA O UNIDAD:
SIGLA:
Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

ECBTI

NIVEL:
Profesional

CAMPO DE FORMACIN:
Interdisciplinar bsico comn (Componente de formacin en Ciencias Bsicas)

CURSO:

CODIGO:

Lgica matemtica

90004

TIPO DE CURSO:
Terico

N DE CREDITOS:
2

N DE SEMANAS:
16 semanas

CONOCIMIENTOS PREVIOS:
Los contenidos del curso se abordan desde el conocimiento bsico de las matemticas propias de la enseanza media (Teora de conjuntos, Lgica Proposicional, etc.). Entre los conocimientos
previos se destacan las competencias lectoescritoras.

DIRECTOR DEL CURSO:

Javier Ernesto Rodrguez Hernndez. javier.rodriguez@unad.edu.co

FECHA DE ELABORACIN:
Diciembre 2015

DESCRIPCIN DEL CURSO:

El curso Lgica Matemtica, forma parte del Componente de Formacin en Ciencias Bsicas del Campo de Formacin Interdisciplinar Bsico Comn, el cual es significativamente importante
en la formacin de cualquier profesional, desde la ptica de la necesidad de la apropiacin de una fundamentacin conceptual mnima exigible para fortalecer la destreza en la formulacin de
argumentos e hiptesis que den validez lgica a nuevas concepciones o actualizaciones cognitivas.
En las formas de comunicacin cotidiana utilizamos expresiones del lenguaje natural que en el fondo responden a estructuras de inferencia lgica, o por induccin o por deduccin y que en la
medida que se comprenda este proceso de pensamiento complejo se mejoran los procesos de interaccin comunicativa y de resignificacin cognitiva.
El curso de Lgica Matemtica es desde su estructura un curso de fundamentacin terica, que intenta generar en el estudiante competencias comunicativas y cognitivas a travs del desarrollo
de habilidades de pensamiento, como: anlisis, sntesis, comparacin, abstraccin, etc.; aspectos fundamentales para un ptimo desempeo en lo acadmico, disciplinar y profesional. Por ello,
el curso permite al estudiante proponer y resolver situaciones de razonamiento lgico presentes tanto en la vida cotidiana, como en los cursos del programa de estudio. Los ejercicios

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016
desarrollan competencias para afianzar la toma de decisiones con nivel de certeza. Esta puesta en prctica requiere el desarrollo de competencias, propias del saber matemtico.
El contenido de este curso se desarrollar a lo largo de 16 semanas y est distribuido en 2 unidades: en primer lugar se inicia con Principios de Lgica donde se forma al estudiante en la
comprensin de las definiciones de la lgica formal; uso de conectores lgicos y las leyes de las proposiciones, lo cual, le dar las bases para formalizar su conocimiento; y finalmente, se aborda
la temtica de Razonamientos Deductivos e Inductivos, donde llevan al estudiante a desplegar toda su capacidad interpretativa, propositiva y de sntesis, a la par que se logra la transferencia del
conocimiento de contextos para encontrar el sentido, fundamento y trascendencia del saber que se imparte para su formacin integral.

2. INTENCIONALIDADES FORMATIVAS

PROPSITO:
Desarrollar en el estudiante habilidades de comunicacin en contextos diversos mediante la articulacin de lenguajes icnicos, simblicos o artificiales como el de la lgica proposicional para
dinamizar procesos de aprendizaje en diferentes campos del saber.

COMPETENCIAS GENERALES DEL CURSO

El estudiante comprende y aplica de manera suficiente nociones, conceptos, definiciones, axiomas y leyes que fundamentan la teora general de conjuntos en el estudio y anlisis de las fuentes
documentales referenciadas para dinamizar el proceso de aprendizaje y en situaciones especficas donde es pertinente su aplicabilidad.
El estudiante relaciona e interpreta expresiones del lenguaje simblico y del lenguaje natural en la formulacin y representacin de estructuras semnticas lgicas en trminos de variables y
conectores lgicos como elementos estructurales de la lgica proposicional articularles a diferentes formas de comunicacin en diversos contextos.
El estudiante interpreta e identifica en forma clara la estructura y fundamento conceptual que tipifica los mtodos de inferencia lgica por induccin y deduccin en formulaciones y
demostraciones de razonamientos vlidos en situaciones especficas derivadas del estudio de contextos donde es pertinente su aplicabilidad.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016
3. CONTENIDOS DEL CURSO
Esquema del contenido del curso:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016

NOMBRE DE LA UNIDAD

CONTENIDOS DE
APRENDIZAJE
* Teora de Conjuntos
1. Introduccin a la lgica
1.1 Introduccin a la lgica
1.2 Proposiciones
1.3 Conectivos lgicos
fundamentales
1.4 Condicional y Bicondicional
1.5 Tablas de verdad

UNIDAD 1:
Principios de Lgica

2. Tautologa.
2.1 Tautologa
2.2 Proposiciones equivalentes
2.3 Tautologa trivial y doble
negacin
2.4 Implicacin directa, contraria,
recproca y contra recproca
2.5 Leyes de la lgica

Referencias Bibliogrficas Requeridas

(Incluye: Libros Textos, Revistas Cientficas, Cibergrafa y Web Grafa)

Lpez, L.J. Lgica para todos (2 Edicin). Recuperado de: http://www.slideshare.net/luisjorgel63/lgicapara-todos-3053431?next_slideshow=2

Gaitn, M.P. (2014). Introduccin a la lgica. Cali, Valle. Recuperado de:
http://www.slideshare.net/MariaGaitan2/introduccin-a-la-lgica-42022687
Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia Recuperado de:
http://www.slideshare.net/patricialeguizamon397/teoria-de-conjuntosyproposiciones

Gaitn, M.P. (2014). Lgica proposicional. Cali, Valle. Recuperado de:

http://www.slideshare.net/MariaGaitan2/lgica-proposicional-42022784
Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia Recuperado de:
http://www.slideshare.net/patricialeguizamon397/teoria-de-conjuntosyproposiciones

3. Cuantificadores y Proposiciones
categricas
3.1 Cuantificadores
3.2 Proposiciones categricas
3.3 Representacin de las
proposiciones categricas
3.4 Clasificacin de las proposiciones
categricas

Rodrguez B, G. Predicados y cuantificadores (2014). Recuperado de:

https://www.youtube.com/watch?v=gVzEIUBetWM

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016
3.5 Proposiciones contrarias, de
contingencia y subcontrarias

4.

Razonamientos lgicos
4.1. Razonamiento lgico
4.2. El mtodo cientfico
4.3. Silogismos categricos
4.4. Validez de un argumento
4.5. Prueba formal de validez

UNIDAD 2:
Razonamientos de la Lgica

5. Inferencias Lgicas
5.1. Inferencia Lgica
5.2 Leyes de Inferencia
5.3 Aplicacin de las leyes de
inferencia
5.4 Demostracin directa e indirecta
5.5 La refutacin

6. Argumentos Inductivos
6.1 Argumento Inductivo
6.2 El problema de la induccin
6.3 La analoga
6.4 La fuerza de los argumentos
6.5 Analoga refutadora

Tipos de Razonamiento-Filosofa. [Educatina]. (2011, 12, 19). Recuperado de: URL

https://www.youtube.com/watch?v=eNCCUhCAcIU

Gaitn, M.P. (2014). Leyes de inferencia. Cali, Valle. Recuperado de:

http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias
Rubio, A. Inferencias Lgicas, (2014). Ibagu, Tolima. Recuperado de:
https://docs.google.com/a/unad.edu.co/file/d/0B4iHOdwk51OYSVdjQjNzOVVsLTA/edit

Compilado por; Fuentes, R, docente CUN.. Deduccin Proposicional. Recuperado de:

http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicional.pdf
Bustamante, A. De los argumentos inductivos a las algebras de Boole. Pearson, Prentice Hall, Colombia.
2009. Recuperado de: http://es.slideshare.net/pepesdb/5-razonamiento-inductivo
Razonamiento inductivo y deductivo. [Academiamatematica]. (2013, 02, 18). Recuperado de: URL
http://es.slideshare.net/Academiamatematica/razonamiento-inductivo-y-deductivo?next_slideshow=1

UNIDADES 1 y 2

Referencias bibliogrficas
complementarias

Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de: http://www.slideshare.net/patricialeguizamon397/modulologica-matematica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016

UNIDAD

Actividad de
Reconocimiento

Contenido de
Aprendizaje

- Conocimien
tos previos y
acceso
Entornos del
curso

- Teora de
conjuntos
UNIDAD 1:
Principios de Lgica

- Proposiciones
simples y
compuestas
-Tablas de
verdad

Recuperado de: http://www.monografias.com/trabajos/iartificial/pagina4_1.htm

Competencia

El estudiante identifica
los Entornos del curso
con sus respectividades
actividades

El estudiante utiliza los

principios bsicos de la
lgica para analizar
situaciones de la vida
cotidiana por medio de
un lenguaje simblico,
que permite interpretar
la veracidad de los
resultados presentados

Indicadores de
desempeo

Registra evidencia
de cada uno de los
entornos y de los
elementos
evaluativos
ubicados en cada
uno de ellos

Identifica las
diferentes clases de
proposiciones
Construye las
tablas de verdad
usando las reglas
que rigen el uso de
los conectivos
proposicionales.
Clasifica y relaciona
las proposiciones

Estrategia de
Aprendizaje
Enfoque Basado
en Tareas donde
los estudiantes
debern explorar
links y entornos
para el
reconocimiento
de la plataforma y
adems resolver
preguntas
relacionadas a su
vida acadmica

N
de
Sem

Propsito

Criterios de evaluacin

Ponderacin

Momento 1:

Aprendizaje
basado en
problemas: el
estudiante
desarrollar en la
primera Unidad,
en 2 momentos el
problema
formulado

Reconocer los
entornos del curso,
para su correcto uso
y conocimiento de las
actividades
propuestas del curso.

- Contextualizacin del
estudiante en los entornos
del curso y sus actividades

Actividad en
lnea
5%

Momento 2:
- Identifica el problema.

6
Momento 2
Contextualizacin
, identificacin y
definicin del
problema:
- Identifica el
problema

Evaluacin

El estudiante
desarrolla las
habilidades
procedimentales
desde los
conceptos y
procesos
operativos propios
de la teora de
conjuntos para
plantear y
estructurar
soluciones a

- Analiza las causas y

consecuencias del
problema.
- Describe el contexto en el
cual se presenta el
problema.
- Hace su aporte individual
y participa en la
consolidacin del producto
final, basado en el material

Trabajo
colaborativo
2O%

Actividad en
lnea

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016
- Cuantificadores

con cuantificadores
a travs de la
simbologa de un
conjunto dado.

- Contextualiza el
problema.
- Relaciona el
problema con los
sistemas de
comunicacin.
- Define el
problema.

situaciones
problmicas desde
un contexto bien
formulado

de lectura como en otros

recursos bibliogrficos de
manera responsable.
- Informe escrito acorde a
los requerimientos de la
gua.

Momento 3
Anlisis de
recursos:
- Analiza la
informacin y
enlaces sugeridos
en el entorno de
conocimiento.
- Investiga
experiencias
similares a las del
problema
previamente
definido.
Este momento se
desarrollar en el
entorno de
evaluacin y
seguimiento.

El estudiante
propone soluciones
a ejercicios y
problemas en el
contexto de su
formacin
profesional donde
intervengan los
conceptos de la
Teora de
Conjuntos y Tablas
de verdad.

Momento 3:
- Respuesta a las
preguntas detonantes
planteadas

15%

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016

UNIDAD

Contenido de
Aprendizaje

Competencia

Indicadores de
desempeo

Estrategia de
Aprendizaje

N de
Sem

Evaluacin
Propsito

Criterios de
evaluacin

Ponderacin

Momento 4:

ABP (Aprendizaje
basado en
problemas).

- Reglas de
inferencia.

UNIDAD 2
Razonamientos
Lgicos

- Anlisis de
argumentos por
medio de reglas
de inferencia.

El estudiante
identifica y utiliza en
forma clara las reglas
de inferencia lgica
por induccin y
deduccin en
formulaciones y
demostraciones de
razonamientos
vlidos en situaciones
especficas.

Interpreta e
identifica en
forma clara, la
estructura y
fundamento
conceptual que
tipifica los
mtodos de
inferencia lgica
por induccin y
deduccin, por
medio de
demostraciones y
razonamientos
vlidos

- Lectura y anlisis
del escenario.
- Clarificacin de
los trminos y
conceptos
confusos.

- Determinacin
del problema.

- Anlisis del
problema: producir
tantas ideas como
sea posible

- Presentacin de
resultados.
Su estructura se
desarrolla en
Momentos 2 y 3
(similar Unidad 1)

El estudiante
formula
soluciones a
problemas
planteados como
estudio de caso
mediante la
aplicacin de las
reglas de
inferencia como
tcnicas de
demostracin
directa e
indirecta.

- Interpreta e
identifica en forma
clara, la estructura y
fundamento
conceptual que
tipifica los mtodos
de inferencia lgica
por induccin y
deduccin, por
medio de
demostraciones y
razonamientos
vlidos
- Hace su aporte
individual y participa
en la consolidacin
del producto final,
basado en el material
de lectura como en
otros recursos
bibliogrficos de
manera responsable.
Momento 5:
- Respuesta a las
preguntas
detonantes
planteadas

Trabajo
colaborativo
20%

Actividad en lnea
15%

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VICERRECTORIA ACADEMICA Y DE INVESTIGACIN
SYLLABUS
2016

Momento 6

UNIDAD 1 y 2

1. Principios de
Lgica
2. Razonamientos
Lgicos

El estudiante resuelve
problemas de
aplicacin e
interpreta las
soluciones mediante
las temticas
desarrolladas durante
todo el curso.

Resuelve de
manera correcta
cada tem
propuesto en la
evaluacin final.

Momento 6

Evaluacin de los
conocimientos
adquiridos durante
el desarrollo de las
actividades
propuestas

2
Semanas

Evaluar el grado de
conocimiento
adquirido durante
el proceso de
aprendizaje.

Prueba Objetiva
Cerrada (POC)

4.

ESTRUCTURA DE EVALUACIN DEL CURSO

Tipo de Evaluacin
Autoevaluacin
Coevaluacin
Actividad de Reconocimiento
Trabajo Colaborativo 1
Evaluacin Unidad 1
Trabajo Colaborativo 2
Evaluacin Unidad 2
Prueba Nacional
Total

Ubicacin dentro del AVA

E - Portafolio
Entorno de aprendizaje prctico
Entorno de evaluacin y seguimiento
Entorno de aprendizaje colaborativo
Entorno de evaluacin y seguimiento
Entorno de aprendizaje colaborativo
Entorno de evaluacin y seguimiento
Prueba Objetiva Cerrada (POC)

Ponderacin
Puntaje mximo
Formativa
Formativa
5%
25
20%
100
15%
75
20%
100
15%
75
25%
125
100%

500

Emplea los conceptos

bsicos de la lgica y
aplica los
conocimientos
adquiridos en la
resolucin de
problemas prcticos.

Actividad
25%