ACTIVIDAD DE APRENDIZAJE 1

.
MATEMATICAS DISCRETA

Innoo

ACTIVIDAD DE APRENDIZAJE No. 1: Programación lineal

Contexto de la importancia del mercado y el consumidor.

Programa académico
INGENIERIA

Asignatura
MATEMATICAS DISCRETAS

Duración estimada
Estrategia didáctica
En aula o en plataforma Trabajo autónomo
Solución de Problemas asistido por
12 horas 24 horas
computador.

CONTEXTUALIZACIÓN

En el desarrollo del pensamiento para afrontar retos en ingeniería es importante presenta herramientas que
permitan afianzar estos elementos, para nuestro caso lo realizamos con el trabajo de inferencias Lógicas y el
desarrollo de simplificaciones en el Algebra Booleana, que nos permiten ver el desempeño de nuestro
pensamiento lógico en la solución de los problemas.
En la primera parte se hace una serie de ejercicios donde se ve la aplicación de las leyes de inferencia de la
Lógica Matemática. En un segundo lugar se presenta unos resultados de una función booleana para que se
reconstruya por unos procesos y mejore su funcionamiento.

Al finalizar esta actividad estará en capacidad de:

RA1. Demuestra en forma correcta las leyes de inferencia lógica, en la solución de ejercicios.

RA2. Aplica leyes del Algebra Booleana para simplificar expresiones y funciones booleanas.

ACTIVIDAD
MATEMATICAS DISCRETAS
DEMOSTRACIONES INFERENCIAS

𝑝 → ~𝑞 ~𝑞˅s
~𝑞 → ~𝑠 ~𝑝˅w
1. { 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑟 (𝑚˄t)→q
~(𝑝˄s)→~t 3. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑢 → ~𝑞
~(𝑚˄t)→u
𝑟→𝑡 ~𝑠
{ ~𝑤

𝑝→q
𝑝˅t ~𝑟˅𝑠
𝑝 → ~(𝑟˅𝑠) 4. {𝑞 → 𝑟 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~(~𝑝 → ~𝑚)
2. { ~t 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑞˄~𝑟 𝑚˅r
~s
𝑞 → (𝑟˅s)
 ~𝑟
𝑚→𝑛
5. { m 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑠 → 𝑝
𝑛 → (𝑟˅~s)

𝑝→~(q˄r)
𝑟˅𝑠
6. ~(~𝑠˄~m) → 𝑡 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑝
𝑚˅q
{ ~t˄~w
~𝑞˅p
𝑞˅r
𝑝→t
7. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑡 → 𝑢
(~𝑤˄s)→u
~𝑟˄s
{ 𝑤 → ~𝑡

𝑞↔r
(𝑛˅u)↔t
𝑡↔q
8. t↔p 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑠
𝑝˄~n
~𝑢 ↔ ~𝑚
{ 𝑠↔𝑚

~𝑟→t
𝑚˄q
~𝑠→u
9. (𝑢˄t)→(w˅x) 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑥˅w
(𝑚˅n)→~𝑟
{ (𝑝˅q) → ~𝑠

𝑧↔q
𝑞↔n
𝑤↔r
t↔s
10. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑝˄m
~r˄~x
𝑤↔𝑡
(𝑠˅p)˄(n˅m)
{ 𝑧↔𝑥

~(𝑝˅q)→r
~(𝑤˅m)
~(𝑧˅n)
11. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~(~𝑟˅~t)
~(𝑚˅n)→t
~(𝑠˅p)
{ ~(𝑢˅q)
 12. Construir la función, el circuito, la simplificación de la función y el nuevo
circuito, desde las siguientes tablas de verdad.

F1 F2 F3 F4
1 0 0 1
1 1 1 1
0 1 0 0
1 0 1 0
0 0 0 1
0 1 1 0
1 0 0 1
0 0 1 0

F5
1
1
0
1
0
0
1
0
1
1
0
0
1
0
1
0

Condiciones básicas para el desarrollo de la actividad:

Se debe presentar un trabajo en Word, con todas las herramientas necesarias. Incjuido fotos.

Entregables:

Documento en Word.

Unipanamericana Fundación Universitaria Panamericana

Av Calle 32 n 17 - 30 Bogotá D.C. Colombia - Teléfono 5558210 - Personería Jurídica 23635/81 del MEN
Elaborado por Formación Virtual
REFERENTES CONCEPTUALES
UNIDAD 1: LÓGICA
1. Inferencia lógica.
a. Reglas de inferencia.
b. Tipos de de mostración.
2. Algebra Boleana.
a. Introducción.
b. Reglas de simplificación.
c. Máxterminos.
d. Minterminos.
3. Teoremas en el conjunto de los enteros
4. Métodos indirectos de demostración.

ROLES Y FUNCIONES
Tiempos estimados para el desarrollo de la
Roles asociados a la Tareas asociadas a tarea
Funciones
actividad las funciones Presencial /
Autónomo
plataforma
Construcción del
Estudiantes
documento
Socialización de
temas y
Docente Guía del proceso
acompañamiento de
la propuesta

ESPACIOS DE SOCIALIZACIÓN

EVALUACIÓN
Evidencias asociadas (desempeño,
Criterios de evaluación
producto y conocimiento)
C.E. 1. Identifica las reglas de inferencias en ejercicios
propuesto
C.E. 2 Aplica las reglas de inferencia en la simplificación de
expresiones.

C.E. 3 Realiza demostraciones sencillas utilizando algunas

leyes de inferencia.
C.E. 4 Identifica métodos de demostración.
C.E. 5 Relaciona las propiedades de las operaciones del Un documento que contenga el trabajo
Algebra Booleana con las reglas de inferencia. desarrollado.
C.E. 6 Simplifica expresiones Booleanas.

C.E. 7 Recompone una función booleana.

C.E. 8 Simplifica una función booleana, con ayuda de las

reglas y minitérminos.
C.E. 9 Construye un circuito asociado a un a función
booleana.

Instrumentos de evaluación

Unipanamericana Fundación Universitaria Panamericana

Av Calle 32 n 17 - 30 Bogotá D.C. Colombia - Teléfono 5558210 - Personería Jurídica 23635/81 del MEN
Elaborado por Formación Virtual
 Confiabilidad de la información recopilada para iniciar las demostraciones
Recursividad y creatividad en la elaboración de las demostraciones.
Aplicación de los elementos básicos presentados en la conceptualización.

RECURSOS NECESARIOS PARA LA ACTIVIDAD

Recursos
Técnicos, tecnológicos y
Computador, consulta de bases de datos.
materiales
Ambientes de aprendizaje Biblioteca, trabajo de campo
Obligatorios
Recursos bibliográficos
Complementarios

CRONOGRAMA DE ACTIVIDADES

Actores
Nombre de la Duración
R.A.1 Evidencia Semana intervinientes en la
Actividad en horas
evaluación
Problemas de
Inferencias
11 Documento en Word 1,2,3 Estudiantes
lógica y Algebra
de Boole
Foro de Escrito de
1 1, 2, 3 Estudiantes
participación comentarios

Unipanamericana Fundación Universitaria Panamericana

Av Calle 32 n 17 - 30 Bogotá D.C. Colombia - Teléfono 5558210 - Personería Jurídica 23635/81 del MEN
Elaborado por Formación Virtual