UNIVERSIDAD CENTRAL

FACULTAD DE INGENIERIA Y CIENCIAS BASICAS

2020

PDA: PLAN DE DESARROLLO DE LA ASIGNATURA 2020

Denominación del espacio formativo: Lógica Matemática

Código de la Asignatura: 45190034 Número de Créditos: tres

Naturaleza Académica: Teórica X Teórico-Práctica Práctica

Prerrequisitos Exigidos: Ninguno.

Co-requisitos Exigidos: Ninguno

Dispositivo(s) Pedagógico(s) Requerido(s):

 La Clase expositiva o dialógica

 Talleres
 Talleres temáticos
 Aula virtual.
 Monitorias.

FINALIDAD DEL ESPACIO FORMATIVO

Resolver problemas lógicos en matemáticas, computación e ingeniería, mediante el estudio y aplicación del
razonamiento deductivo para aplicar reglas y técnicas que determinen la validez de argumentos.

PDA
1
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

Trayectos a recorrer en el Finalidades formativas del trayecto: Acciones y producciones de los

tratamiento del problema: estudiantes:
Identificar los elementos de un conjunto. Ejercicios de la bibliografía
SEMANA 1: Conjuntos Realizar operaciones entre conjuntos. sugerida.
Día 1 Relaciones de pertenencia, Simplificar fórmulas conjuntistas. Talleres
contenencia. Operaciones, Identificar el cardinal de un conjunto,
propiedades Propiedades.
Día 2: Cardinalidad. Resolver problemas de aplicaciones a
encuestas

SEMANA 2: Tipos de
razonamiento
. Identificar las características propias de los tipos Ejercicios de la bibliografía
de razonamiento deductivo, argumentativo e sugerida.
Día 1 y 2: Razonamiento inductivo, Inductivo Talleres
deductivo y abductivo
Falacias, paradojas

SEMANA 3: Lógica
proposicional Día 1: Variables Ejercicios de la bibliografía
proposicionales sugerida.
Conectivas lógicas Simbolizar proposiciones y escribir en oraciones
gramaticalmente correctas, enunciados del Talleres
.
lenguaje cotidiano
Día 2: Sintaxis. Gramática. Identificar la representación, interpretación y
Fórmulas bien formadas (fbfs) características de las variables proposicionales.
Fórmulas bien formadas. Tipos de
notación: infija, prefija, postfija

SEMANA 4: Semántica.
Identificar el valor de verdad de las conectivas Ejercicios de la bibliografía
Día1: Tablas de Verdad. lógicas mediante la construcción de tablas de sugerida.
Tablas de verdad para conectivas verdad y la interpretación de sus resultados Talleres
Interpretar el valor de verdad de fórmulas
Valoración de fórmulas
mediante la construcción de tablas de verdad y
Día 2: Validez , Satisfacibilidad la interpretación de sus resultados.
Tautologías, contradicciones,
contingencias

SEMANA 5: Semántica.
Equivalencias lógicas Identificar la estructura de las leyes lógicas: Ejercicios de la bibliografía
conmutativas, asociativas distributivas, doble sugerida.
Día 1: Principios lógicos negación, Teoremas de De Morgan. Talleres

2
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

Leyes lógicas o tautológicas Identificar para fbfs las equivalencias lógicas

Leyes de equivalencia apropiadas que permitan su simplificación
Simplificación

Día 2: las leyes lógicas:

conmutativas, asociativas
distributivas, doble negación,
Teoremas de De Morgan

SEMANA 6

Día 1: Taller pre parcial Que el estudiante realice el taller preparcial

propuesto por el profesor.

Día 2 PARCIAL 1

SEMANA 7: El condicional Ejercicios de la bibliografía

Identificar para fbfs las equivalencias sugerida.
Día 1: Reglas para el condicional correspondientes al condicional y bicondicional Talleres
y el bicondicional. que permitan su simplificación.
Tautologías, contradicciones y
formulas indeterminadas
.

Día 2: Taller: Aplicaciones del

condicional

SEMANA 8: Inferencia lógica Identificar la estructura, características de un

argumento. Ejercicios de la bibliografía
Día 1: Argumentos, argumentos sugerida.
Aplicar las reglas de inferencia para probar la
válidos. validez de argumentos. Talleres
Día 2: Reglas de inferencia

Aplicar las reglas de inferencia para probar la Ejercicios de la bibliografía

SEMANA 9: Inferencia lógica. consistencia de un conjunto de premisas. sugerida.
Día 1 : Consistencia de premisas Talleres
Usar el método de reducción al absurdo para
probar la validez de un argumento
Día 2: Reducción al absurdo

SEMANA 10: Sistema formal Identificar los componentes de un sistema

Día 1: Sistema formal axiomático formal. Ejercicios de la bibliografía
El sistema axiomático PM sugerida.
Identificar variables y expresiones para las Talleres
Día 2: Algebra de Boole. Léxico operaciones booleanas de suma y producto.
y sintaxis

3
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

Operaciones.
Leyes y reglas.

SEMANA 11: Algebra de Boole Identificar diagramas, expresiones booleanas y Taller propuesto por el profesor
tablas de verdad para las compuertas AND,
Día 1 y 2: Circuitos OR, NOT, NAND, NOR, XOR y XNOR
Combinatorios- Algebra de Derivar una expresión booleana desde un
Boole. Léxico, Sintaxis, circuito.
semántica.
Compuertas lógicas.
Expresiones booleanas de circuitos.
Diagramas de circuitos.
Tablas lógicas de circuitos

SEMANA DE RECESO

SEMANA 12 Identificar las reglas básicas del algebra

Día 1 Semántica. Simplificación booleana para la simplificación de expresiones Ejercicios de la bibliografía
algebraica de funciones sugerida.
booleanas Talleres
Leyes y Reglas
Teoremas de De Morgan.

Día 2: PARCIAL 2

SEMANA 13: Circuitos lógicos Ejercicios de la bibliografía

Construir circuitos combinatorios. sugerida.
Simplificar expresiones booleanas en FND Talleres
Día 1 y2: Diseño de circuitos
utilizando mapas de Karnaugh
combinatorios: Conociendo la
función, con la tabla de salida

SEMANA 14: Circuitos lógicos Entrega de proyecto

Día 1 y 2: Mapas de Karnaugh Simular el funcionamiento de un circuito

(Mapas-K).
Circuitos Combinatorios. Diseño. combinatorio mediante la utilización de un
Simulación de un circuito software.
combinatorio

4
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

Simbolizar proposiciones cuantificadas,

SEMANA 15 : Lógica de primer determinando el universo de discurso y su valor Ejercicios de la bibliografía
orden. de verdad. sugerida.
Establecer cuándo una variable es libre o ligada Talleres
Día 1 Cuantificadores: Cuantificador en un enunciado cuantificado.
universal, cuantificador existencial
Día 2: Términos y predicados.
Variables libres y ligadas.
.

Ejercicios de la bibliografía
SEMANAS 16 Identificar los elementos de un silogismo. sugerida.
Día 1 y2 : Silogismos categóricos Probar la validez de un silogismo Talleres
Silogismos y diagramas de Venn en
proposiciones lógicas

Criterios para evaluar la adquisición de Medios (acciones y producciones de los estudiantes a los
competencias de los estudiantes: que se aplicarán los criterios):

Describe y explica las operaciones entre Trabajo presencial:

conjuntos mediante ejemplos Lecturas previas del material bibliográfico referenciado para cada
Finalidad Describe y explica las aplicaciones de módulo y seguimiento continuo de las lecturas establecidas.
1 cardinalidad de un conjunto.
Desarrollo de talleres en equipo con el acompañamiento del
docente, que le permitan al estudiante la discusión de las
soluciones propuestas a problemas planteados.
Comprensión de los tipos de
razonamiento Trabajo presencial:
Lecturas previas del material bibliográfico referenciado para cada
Comprende y explica los procesos propios módulo y seguimiento continuo de las lecturas establecidas.
Finalidad
de los tipos de razonamiento deductivo,
2 argumentativo e inductivo.
Desarrollo de talleres en equipo con el acompañamiento del
docente, que le permitan al estudiante la discusión de las
Plantea ejemplos de aplicación de los tipos
soluciones propuestas a problemas planteados, así como la
de razonamiento deductivo, argumentativo e
socialización de sus puntos de vista.
inductivo.
encontradas en el estudiante.
Describe y explica ejemplos de aplicaciones
de razonamiento argumentativo, deductivo e
inductivo. Examen parcial
.

Planteamiento de fbfs. Participación en las plenarias y correcciones de los ejercicios

Finalidad desarrolladas en cada uno de los trayectos.
Identifica y comprende los componentes
3
léxicos de la lógica proposicional, así sus
reglas gramaticales. Desarrollo de exposiciones en sesiones de seminario en el
curso, donde el estudiante expositor plantee y debata sobre los

5
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

conceptos, problemas y soluciones halladas a problemas y/o

proyectos y/o investigaciones planteados.
.

Finalidad Evaluación de validez y satisfacibilidad de Efectúa en forma autónoma lectura de textos guía y material
4 una fbf usando tablas de verdad. recomendado, para la interpretación y adquisición y/o
Identificación de tautologías, contingencias complemento y/o refuerzo de conocimientos, así como la
y contradicciones, mediante tablas de
aplicación de los mismos a la resolución de problemas prácticos.
verdad.

Finalidad Aplicación de equivalencias lógicas para la Evaluación del aprendizaje. Tipos de Prueba:
5 simplificación de fbfs y planteamiento de Examen escrito individual que evidencie el grado de dominio de
cláusulas. los conceptos del estudiante, así como su capacidad de
Plantea axiomas y teorema a demostrar
argumentación, reportes escritos de talleres en equipo,
como fbfs a partir de las sentencias de la
descripción de un problema en lenguaje laboratorios, proyectos, exposiciones en seminario e
natural. investigaciones asignadas.

Finalidad Prueba de teoremas por resolución. Efectúa en forma autónoma lectura de textos guía y material
6 Identifica y comprende la estructura y recomendado, para la interpretación y adquisición y/o
propiedades de un argumento, resolución, complemento y/o refuerzo de conocimientos, así como la
axiomas y procedimientos de demostración
aplicación de los mismos a la resolución de problemas prácticos
por refutación.
Plantea axiomas y teorema a demostrar
como cláusulas derivadas de fbfs
correspondientes a sentencias en lenguaje
natural.

Finalidad Planteamiento de funciones booleanas. Entregas de circuitos integrados que involucren la

7 Identifica y comprende los componentes implementación funciones booleanas.
léxicos de la lógica booleana, así como las
leyes y reglas básicas.

Identifica de enunciados en lenguaje

natural, frases que pueden modelarse como
variables y operaciones booleanas de suma
y producto.
Identifica, comprende y evalúa el
funcionamiento de las compuertas lógicas
mediante su diagrama, representación
booleana y tabla de verdad.

6
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

EVALUACIÓN DEL CURSO

Para el curso de matemáticas II la evaluación estará dada de la siguiente forma:

Tres cortes que tienen los siguientes porcentajes:

 Primer corte 30%

 Segundo corte 30%
 Tercer corte 40%

En cada corte se evaluará:

 Parcial: 60% del respectivo corte

 Aula virtual: 15% del respectivo corte
 Otras actividades (quices, talleres, actividades en clase y las demás que disponga el profesor) 25%.
En el corte se realizarán mínimo 3 actividades.
 Las evaluaciones se deben realizar en la SEGUNDA SESIÓN de PRIMERA SEMANA de la fecha
de parciales.

Recuerde que:

 Las notas se calculan de 0.0 hasta 5.0, en múltiplos de 0.1.

 La asignatura se pierde con trece (13) fallas.

7
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

ESPACIOS DE APOYO ACADÉMICO

AULA VIRTUAL
El aula virtual es un espacio formativo de apoyo que contiene contenidos creados para nuestros estudiantes,
material de evaluación, autoevaluación y espacios para la adquisición de competencias como foros y proyectos
colaborativos. Nuestros estudiantes pueden acceder a las actividades en cualquier momento y en cualquier
lugar para complementar el proceso de aprendizaje, organizar de grupos de estudio o resolver dudas e
inquietudes con docentes y monitores. En cada uno de los cortes los estudiantes deben presentar una serie de
evaluaciones en la plataforma virtual, que tendrán una ponderación del 15% de la nota en cada uno de los
cortes académicos.

TALLERES TEMÁTICOS:

Como estrategia para reforzar las competencias en temas que, por experiencia, requieren una mayor atención
en cada una de las asignaturas, el Departamento de Matemáticas realiza semanalmente sesiones de ejercicios
orientados por un profesor de tiempo completo del mismo. Adicionalmente, y si los estudiantes, así lo
requieren, pueden solicitar al Departamento de Matemáticas ([email protected]) la realización de
un taller con una temática particular.

Es importante tener presente que, en este espacio de apoyo académico se registrará la asistencia de los
participantes por parte del Departamento de Matemáticas. De tal forma que, si un estudiante asiste al menos a
tres sesiones en cada uno de los cortes académicos, se dará una nota adicional de 5 décimas (+0.5) en la
nota del examen parcial. El reporte de asistencia al profesor estará a cargo del Departamento de Matemáticas.

Las temáticas centrales que se abordan en estos talleres temáticas serán publicadas por el Departamento de
Matemáticas.

TUTORIAS (ATENCIÓN A ESTUDIANTES)

8
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

De forma individual o en grupos, los estudiantes hacen consultas a los profesores de planta del Departamento
de Matemáticas sobre los temas que sean de su interés, bien por su utilidad, importancia o dificultad. Este es un
espacio propicio en el que el profesor o monitor son un soporte en la resolución de dudas relacionadas con las
matemáticas y la estadística. El profesor guarda registro de los estudiantes que asisten para hacer seguimiento
de los procesos de aprendizaje.

MONITORIAS ACADÉMICAS

El Programa de Monitorias Académicas es una estrategia pedagógica que fomenta el desempeño académico de
los estudiantes de pregrado con miras a propiciar trabajo en equipo, solidaridad y comunicación entre ellos y los
profesores. Para la Universidad Central la monitoria es considerada como un estímulo, distinción, y
reconocimiento académico que se concede a los estudiantes por sus altas calidades personales y desempeño
académico.

En este sentido, los estudiantes que son seleccionados como monitores son un apoyo académico para sus
compañeros de semestres inferiores. Este apoyo puede ser de carácter presencial en los espacios de
monitorias, o virtual, como soporte en las aulas virtuales de Matemáticas 1, álgebra Lineal y Lógica.

BIBLIOGRAFÍA

Texto Guía:
Mora C., Nieto J. Lógica Matemática, Universidad Central
Aula virtual de Lógica.
Textos de referencia:
1. Galicia M., (1980). Introducción a la Lógica Matemática. México: McGraw-Hill
2. Suppes P., (1982). Introducción a la Lógica Matemática. Editorial Reverté.
3. Páez A., (2007). Introducción a la lógica moderna. Editorial: Universidad de los Andes.

9
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

4. Grassmann W., (1998). Matemática Discreta y Lógica. Madrid: Prentice Hall.

lecturas

Bustamante, Sandra., Cortés, D. Juvenal., et al. (2008). Razonamiento Lógico. Razono y actúo con
lógica. Universidad de Antioquia. Medellín, Colombia.
Webgrafia

http://proyectoafri.es/ffia1/cd23logicasimplex/aprenlogicamadrid/index.html

Revisado por: Director del Programa: Fecha

29 de julio de 2019

10
 UNIVERSIDAD CENTRAL
FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
2020

11