FORMATO DE SYLLABUS

CDIGO: F-8-6-4
VERSIN:

0-06-10-2015

PGINAS:

Pgina 1 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

1. INFORMACIN GENERAL DEL CURSO

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

SIGLA: ECBTI

NIVEL: Profesional
CAMPO DE FORMACIN: Disciplinar comn
CURSO: Lgica Matemtica
CODIGO: 90004
TIPO DE CURSO: Terico.
N DE CREDITOS: 2 (Dos)
N DE SEMANAS: 16
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
FECHA DE ELABORACIN: junio de 2016
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 cognitiva
El curso Lgica Matemtica desde su estructura un curso un curso de fundamentacin terica estn enfocados a comparar y sistematizar
procesos deductivos que lleven a los estudiantes a formas seguras de razonamiento, a fin de garantizar el camino correcto de la bsqueda
de la verdad y en la ampliacin del horizonte cientfico e intelectual, tambin buscan vincular la lgica Matemtica con procesos

FORMATO DE SYLLABUS

CDIGO: F-8-6-4
VERSIN:

0-06-10-2015

PGINAS:

Pgina 2 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

investigativos. La metodologa de la investigacin, ms que rgidos algoritmos, que pretenden encontrar la verdad ciega y acrtica, debe
estar animada por la curiosidad, iluminada por la aplicacin de principios tericos de cada disciplina, regidos en esquemas lgicos del
pensamiento deductivo
El curso tiene como objetivo 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 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 curso De Lgica Matemtica utiliza la estrategia de aprendizaje basada en problemas y 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 Teora entre conjuntos y 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.

FORMATO DE SYLLABUS

CDIGO: F-8-6-4
VERSIN:

0-06-10-2015

PGINAS:

Pgina 3 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

2. INTENCIONALIDADES FORMATIVAS
Propsitos:
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.
Identificar las clases de proposiciones que se pueden encontrar en un enunciado.
Analizar los enunciados para la elaboracin de las tablas de verdad
Traducir proposiciones del lenguaje verbal a variables lgicas y viceversa
Identificar si un argumento es vlido o invalido, as como la demostrar su validez.
Comprender los principios de los operadores del clculo proposicional y sus aplicaciones
Fortalecer en el estudiante la capacidad de trabajar en grupo, al ofrecerle actividades colaborativas que se encuentran dispuestas
en los foros del curso.
Prepara al estudiante en las de pruebas de conocimiento y competencia, como lo son las pruebas Saber-pro, utilizando cuestionarios
que contienen preguntas de las diferentes temticas del curso.
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 en una metodologa basada en problemas.
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..
El estudiante fortalece su capacidad de generar conocimiento de forma grupal, al participar de forma activa con su grupo de trabajo
cuando dan solucin a los problemas planteados dentro del curso.

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 4 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

3. CONTENIDOS DEL CURSO

Esquema del contenido del curso:

Lgica matemtica
Razonamientos
Lgicos

Principios de
Lgica
Proposiciones

Conjuntos

Proposiciones
simples
y
compuestas

*Determinaci
n
de
Conjuntos

*Tablas
verdad

*Clase
de
Conjuntos

de

*Tautologas
*Proposiciones
equivalentes
*Cuantificadores

*Operaciones
entre
Conjuntos

Razonamiento
Lgico

Inferencia
Lgica

*silogismos
categricos

*Leyes
de
inferencia

*Validez de un
argumento

*Aplicacin
de las leyes
de inferencia

*Prueba Formal
de validez
*Razonamiento
deductivo
e
inductivo

*Demostraci
n Directa e
Indirecta

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 5 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

Nombre
unidad

de

la Contenidos
aprendizaje

de

1. Teora
de
Conjuntos:
Determinacin
entre
conjuntos,
clase
de
conjuntos
y
operaciones
entre conjuntos
UNIDAD 1:
Principios de
Lgica

2. Principios de
Lgica:
Introduccin a
la
lgica,
Proposiciones,
conectivos
lgicos, tablas
de verdad

Referencias Bibliogrficas Requeridas

(Incluye: Libros textos, web links, revistas cientficas)

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. : Larousse

- Grupo Editorial Patria. Pginas 19 - 29. Recuperado de:
http://hdl.handle.net/10596/6551
Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas
151- 162. Recuperado de: http://hdl.handle.net/10596/6552
Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la
educacin media. Bogot, CO: Educar Editores S.A. Pginas 151 -162 Recuperado de:
http://hdl.handle.net/10596/6541
Escobar, M. R. (2010). Elementos de matemticas para la administracin. : Elibro.
Pginas 7 87. Recuperado de: http://hdl.handle.net/10596/6545
Snchez, H. R. (2014). lgebra. Mxico, D.F., MX: Larousse - Grupo Editorial Patria.
Pginas 2- 30. Recuperado de: http://hdl.handle.net/10596/6546
Guerrero, S. L. M. (2005). Matemticas. Sus fundamentos en secuencia ptima.

3. Cuantificadores
y Proposiciones
Categricas:

Crdoba,

AR:

El

Cid

Editor.

http://hdl.handle.net/10596/6537

Pginas

24

34.

Recuperado

de:

FORMATO DE SYLLABUS

CDIGO: F-8-6-4
VERSIN:

0-06-10-2015

PGINAS:

Pgina 6 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

Representacin
de
proposiciones
Categricas,
clasificacin de
proposiciones
categricas,
proposiciones
contrarias, de
contingencia y
subcontrarias.

Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la
educacin media. Bogot, CO: Educar Editores S.A. Pginas 20 -24 Recuperado de:
http://hdl.handle.net/10596/6550
Manuel Enrique Wagner Mendivelso. [manuel wagner]. (2016, marzo 9). [Lgica
Proposiciones 1]. Recuperado de: http://hdl.handle.net/10596/6542
Hctor Fabio Amaya Daz .[hector fabio amaya diaz]. (2016, Abril 10). [Tablas de
verdad colaborativo 2]. Recuperado de: http://hdl.handle.net/10596/6547
Rhonal Alonso Delgado Padilla, .[ RHONAL ALONSO DELGADO PADILLA]. (2016, Abril
20). [Tabla de la verdad]. Recuperado de: http://hdl.handle.net/10596/6549
Manuel Enrique Wagner Mendivelso. [manuel wagner]. (2016, marzo 9). [Lgica
conjuntos 1]. Recuperado: http://hdl.handle.net/10596/6558
Juan Manuel Cortes Orozco .[ Juan Manuel Cortes Orozco ]. (2016, Abril 16). [Teora
de conjuntos]. Recuperado de: http://hdl.handle.net/10596/6557
Universidad de Antioquia (2007) Fundamentos de Lgica y Teora de Conjuntos [OVA]
Recuperado de http://docencia.udea.edu.co/cen/logica/

FORMATO DE SYLLABUS

CDIGO: F-8-6-4
VERSIN:

0-06-10-2015

PGINAS:

Pgina 7 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

UNIDAD 2.
Razonamientos
lgicos

4. Razonamientos
Lgicos:
Silogismos
categricos,
Validez de un
argumento,
prueba formal
de validez.
5. Inferencias
Lgicas: Reglas
de inferencia,
Aplicacin
reglas
de
Inferencia,
Demostracin
directa
e
indirecta,
La
refutacin.
6. Argumentos
Inductivos: El
problema de la
induccin, La
analoga
La
fuerza de los
argumentos,
Analoga
refutadora

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. : Larousse

- Grupo Editorial Patria. Pginas 29 38. Recuperado de:
http://hdl.handle.net/10596/6544
Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y fundamentos
de lgebra lineal. Volumen I: conjuntos numricos, complementos. Madrid, ES:
Editorial Tbar Flores. Pginas 17-29. Recuperado de:
http://hdl.handle.net/10596/6534
Prez, A. R. (2013). Una introduccin a las matemticas discretas y teora de grafos.
Crdoba, AR: El Cid Editor. Pginas 1-22. Recuperado de:
http://hdl.handle.net/10596/6535
Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas
163-166. Recuperado de: http://hdl.handle.net/10596/6536
Prez, A. R. (2013). Una introduccin a las matemticas discretas y teora de grafos.
Crdoba, AR: El Cid Editor. Pginas 40-49 Recuperado de:
http://hdl.handle.net/10596/6533
Garcia, G. Y. L. (2010). Introduccin al clculo diferencial. Mxico: Instituto
Politcnico Nacional. Argumentos y reglas de inferencia. Pginas 183 - 192
Recuperado de: http://hdl.handle.net/10596/6538

FORMATO DE SYLLABUS

CDIGO: F-8-6-4
VERSIN:

0-06-10-2015

PGINAS:

Pgina 8 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

Jairo Luis Gutirrez Torres. [ IngGuitierrezTorres ]. (2016, Abril 11). [Tutora Unidad 2
Curso 90004]. Recuperado de: http://hdl.handle.net/10596/6559
Wilmer Hernn Gutirrez Ramos. [Wilmer Hernn Gutirrez Ramos]. (2016, Abril 10
[Validez de un argumento]. Recuperado de: http://hdl.handle.net/10596/6543
Carolina Castao Gutirrez. [Carolina Castao Gutirrez]. (2016, Abril 10
[Razonamientos Lgicos]. Recuperado de: http://hdl.handle.net/10596/6548
Yeimy Julieth Moreno Jimnez. [Yeimy Julieth Moreno Jimnez]. (2016, Abril 11
[Validez de un razonamiento]. Recuperado de: http://hdl.handle.net/10596/6540
Lilia Patricia Leguizamn Palma. [Jeisson Prieto]. (2016, Abril 10 [Video Unidad 2
Lgica Matemtica]. Recuperado de: http://hdl.handle.net/10596/6553
Vivian Yaneth lvarez Altamiranda. [Vivian Yaneth lvarez Altamiranda]. (2016, Abril
08 [Demostracin por Reduccin al Absurdo]. Recuperado de:
http://hdl.handle.net/10596/6539
Universidad de Antioquia (2007) Fundamentos de Lgica y Teora de Conjuntos [OVA]
Recuperado de http://docencia.udea.edu.co/cen/logica/

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 9 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

LIBROS ELECTRNICOS.
Referencias
bibliogrficas
complementarias
(Todas
las
referencias
bibliogrficas, son
libros
de
la
biblioteca de la
universidad)

Wisniewski, P. M., & Gutirrez, B. A. L. (2011). Introduccin a las matemticas universitarias. Mxico: McGraw-Hill
Interamericana. http://www.ebrary.com. recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069

Lewin, R. (2011). La teora de conjuntos y los fundamentos de la matemtica. Chile: Editorial ebooks Patagonia - J.C.
Sez Editor. http://www.ebrary.com. Recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10526962
Cardona, T. S. A. (2010). Lgica matemtica para ingeniera de sistemas y computacin. Madrid, ES: Ediciones Elizcom.
http://www.ebrary.com.Recuperado:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
565960&ppg=76

4. ACTIVIDADES DE APRENDIZAJE
Unidad

Reconocimiento

Contenido de
Aprendizaje

Competencia

Contextualizacin
de los aspectos
nocionales de la
lgica y la teora
de conjuntos
desde la
concepcin
matemtica.

Fortalecer
la
capacidad para
seguir
instrucciones y de
trabajar
en
equipo.

Indicadores de
desempeo

Estrategia
de
Aprendizaje

N
de
Sem

Evaluacin
Propsito
Consolidar
una
estructura
nocional con
relacin al
pensamient
o
formal
desde
la

Criterios de evaluacin

Ponderacin

Paso 1:

-Interpretacin del texto

Introduccin Lgica
Matemtica.

25 puntos
5%

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 10 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

lgica
matemtica.

-Solucin de las
preguntas generadoras
- Participar
activamente, mnimo 3
participaciones
socializando los aportes
de los compaeros en el
foro.
- Informe escrito acorde a
los requerimientos de la
gua

Unidad 1
Principios de
Lgica

Teora
de
conjuntos,
Proposiciones
simples
y
compuestas,
Tablas de verdad,
Cuantificadores

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

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 con
cuantificadores a
travs de la

Aprendizaje
basado en
problemas: el
estudiante
desarrollar en
la primera
Unidad, en 2
momentos el
problema
formulado
Paso 2
Contextualizaci
n,
identificacin y
definicin del
problema:

El estudiante
desarrolla las
habilidades
procedimenta
les desde los
conceptos y
procesos
operativos
propios de la
teora de
conjuntos
para plantear
y estructurar
soluciones a
situaciones
problemitas
desde un

Paso 2:
- Identifica el problema.
- 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

100 puntos
Trabajo
colaborativo
2O%

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 11 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

simbologa de un
conjunto dado.

- Identifica el
problema
- Contextualiza
el problema.
- Relaciona el
problema con
los sistemas de
comunicacin.
- Define el
problema.
Paso 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.

contexto bien
formulado
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.

de lectura como en otros

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

Paso 3:
Respuesta a las preguntas
detonantes planteadas.

75 puntos
Actividad en
lnea
15%

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 12 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

Unidad

Contenido de
Competencia
Aprendizaje

Indicadores de
desempeo

Estrategia
de
Aprendizaje

N
de
Sem

Evaluacin1
Propsito

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

Paso 4:

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

- Determinaci
n del
problema.

- Anlisis del
problema:
producir
tantas ideas
como sea
posible

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

Criterios de evaluacin

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

Ponderacin

100 puntos
Trabajo
colaborativo
20%

- 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.
Paso 5:
- Respuesta a las
preguntas detonantes
planteadas

75 puntos
Actividad en
lnea
15%

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 13 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

Unidad

Contenido de
Competencia
Aprendizaje

Indicadores de
desempeo

Estrategia
de
Aprendizaje

N
de
Sem

Evaluacin1
Propsito

Criterios de evaluacin

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

Paso 6

Ponderacin

Paso 4

1. Principios de
Lgica

UNIDAD1 y 2

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

Evaluacin de
los
conocimientos
adquiridos
durante el
desarrollo de
las actividades
propuestas
Prueba
Objetiva
Cerrada (POC)

2
das

Emplea los conceptos

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

Prueba
nacional
(POC)
125 puntos
25%

CDIGO: F-8-6-4

FORMATO DE SYLLABUS

VERSIN:

0-06-10-2015

PGINAS:

Pgina 14 de 14

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS

5. ESTRUCTURA DE EVALUACION DEL CURSO

Tipo de Evaluacin
Paso-1-Reconocimiento contenidos
del cursos
Paso-2- Conectivos Lgicos y teora
de conjuntos
Paso-3- Evaluacin Principios de
Lgica
Paso-4- Mtodos para probar la
validez de argumentos
Paso-5- Evaluacin Razonamientos
Lgicos
Paso-6 Evaluacin Nacional
POC(Prueba Objetiva Cerrada)
Total

Ubicacin dentro del AVA

Ponderacin

Puntaje mximo

Entorno de evaluacin y seguimiento

5%

25

Entorno de aprendizaje colaborativo

20%

100

Entorno de evaluacin y seguimiento

15%

75

Entorno de aprendizaje colaborativo

20%

100

Entorno de evaluacin y seguimiento

15%

75

Prueba Objetiva Cerrada (POC)

25%

125

100%

500