Sei sulla pagina 1di 5

ACTIVIDAD DE APRENDIZAJE

.
LÓGICA MATEMÁTICA Y DE PROGRAMACIÓN

Innoo

ACTIVIDAD DE APRENDIZAJE No. 2:

Inferencia lógica.

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
Programa académico

Asignatura
Lógica matemática y de programación

Duración estimada
Estrategia didáctica
En aula o en plataforma Trabajo autónomo
Análisis de situación 12 horas 24 horas

CONTEXTUALIZACIÓN

La lógica es el instrumento que ayuda a desarrollar el pensamiento, y se basa en el razonamiento


de las leyes lógicas para demostrar la validez o invalidez de las inferencias.
Conociendo la forma de las proposiciones y los diferentes conectores que se pueden utilizar se
puede tener una de las partes más importante de la lógica que es la inferencia y deducción. Para
llegar a las conclusiones se debe tener en cuenta las diferentes reglas de la inferencia que son las
que rigen el uso de las premisas y las que con llevan a las proposiciones o conclusiones.
En la cotidianidad es habitual el uso de las premisas y de forma mecánica o inconsciente se puede
llegar a una conclusión, por tal motivo es de gran relevancia está parte de la lógica desde donde se
llega al estudio paso a paso de dichas inferencias.

Al finalizar esta actividad estará en capacidad de:


R.A.3 Identificar las diferentes reglas de la inferencia y su utilización con las premisas.
R.A.4 Obtener las inferencias correctas al hacer las premisas con sus respectivos conectores.

ACTIVIDAD

Dadas las premisas presentadas demuestre la conclusión que se requiere.


Utilizar las diferentes reglas de inferencia para llegar a su solución (MPP, MTT, MTP, SH, etc) y
escribiendo las premisas nuevas que aparecen y las leyes aplicadas cada vez.

A. Dadas las siguientes premisas llegar a la conclusión.

Demostrar ~𝑝 (conclusión)

Premisas
1. (𝑝 ∨ 𝑞) → (𝑟 ∨ 𝑠)
2. (𝑟 ∨ 𝑠) → ~𝑡
3. 𝑡

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
B. Dadas las siguientes premisas llegar a la conclusión.

Demostrar 𝑝 → (~𝑞 → ~𝑠) (conclusión)

Premisas
1. 𝑝 → (𝑞 ∨ ~𝑟)
2. ~𝑟 → ~𝑠

C. Dadas las siguientes premisas llegar a la conclusión.

Demostrar ~𝑡 (conclusión)

Premisas
1. (𝑞 ∨ 𝑟) → 𝑝
2. ~𝑝
3. 𝑠 → (𝑞 ∨ 𝑟)
4. ~𝑠 → ~𝑡

D. Dadas las siguientes premisas llegar a la conclusión.

Demostrar 𝑢 (conclusión)

Premisas
1. 𝑝 ∧ 𝑡
2. 𝑝 → 𝑞
3. 𝑞 → (𝑟 ∧ 𝑠)
4. ~𝑟 ∨ ~𝑡 ∨ 𝑢

E. Dadas las siguientes premisas llegar a la conclusión.

Demostrar ~𝑡 (conclusión)

Premisas
1. 𝑝 → ~𝑞
2. 𝑞 ∨ ~𝑟
3. 𝑝 ∧ 𝑠
4. 𝑡 → 𝑟 ∧ 𝑠

Entregables:

Presentar la bitácora correspondiente:


1. Subir la bitácora con la solución de cada uno de los ejercicios propuestos (tener en cuenta
la presentación del documento)

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

ROLES Y FUNCIONES
Tiempos estimados para el
Roles asociados Tareas asociadas desarrollo de la tarea
Funciones
a la actividad a las funciones Presencial /
Autónomo
plataforma
Desarrollo de la
actividad Desarrollo de la
propuesta donde actividad y
Estudiante
se evidencia el bitácora
afianzamiento de
los conceptos
Evaluador de los Socialización de
Docente trabajos temas y solución
presentados de dudas

ESPACIOS DE SOCIALIZACIÓN
¿Cuál es la apropiación de los conceptos y el uso de la inferencia lógica en la cotidianidad?

EVALUACIÓN
Evidencias asociadas (desempeño,
Criterios de evaluación
producto y conocimiento)
C.E.1. Utiliza la terminología básica de inferencia.
C.E.2. Identifica las reglas de la inferencia
C.E.3. Realiza el adecuado uso de las reglas de Un documento que contenga el trabajo
inferencia para la obtención de la conclusión. desarrollado
C.E.4. Realiza de forma efectiva los ejercicios
propuestos

Instrumentos de evaluación
Confiabilidad de la información recopilada
Recursividad y creatividad en la búsqueda de información
Análisis y síntesis de la informació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
Grossman, W. (1998). Matemática discreta
Recursos bibliográficos Obligatorios y lógica: una perspectiva desde la ciencia
de la computación. Prentice-Hall.
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
Disponible biblioteca Unipanamericana.
Arias, L. Julio, C. Actividades matemáticas
para el desarrollo de procesos lógicos:
Complementarios
contar e inducir.
Disponible biblioteca Unipanamericana

CRONOGRAMA DE ACTIVIDADES

Actores
Nombre de la Duración
R.A.1 Evidencia Semana intervinientes en
Actividad en horas
la evaluación
Reconociendo
Presentación de Docente
R.A.3 las reglas de la
resultados Estudiante
inferencia 12 2,3
Obtención de Presentación de Docente
R.A.2
conclusiones resultados Estudiante

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

Potrebbero piacerti anche