Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
.
LÓGICA MATEMÁTICA Y DE PROGRAMACIÓN
Innoo
Inferencia lógica.
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
ACTIVIDAD
Demostrar ~𝑝 (conclusión)
Premisas
1. (𝑝 ∨ 𝑞) → (𝑟 ∨ 𝑠)
2. (𝑟 ∨ 𝑠) → ~𝑡
3. 𝑡
Premisas
1. 𝑝 → (𝑞 ∨ ~𝑟)
2. ~𝑟 → ~𝑠
Demostrar ~𝑡 (conclusión)
Premisas
1. (𝑞 ∨ 𝑟) → 𝑝
2. ~𝑝
3. 𝑠 → (𝑞 ∨ 𝑟)
4. ~𝑠 → ~𝑡
Demostrar 𝑢 (conclusión)
Premisas
1. 𝑝 ∧ 𝑡
2. 𝑝 → 𝑞
3. 𝑞 → (𝑟 ∧ 𝑠)
4. ~𝑟 ∨ ~𝑡 ∨ 𝑢
Demostrar ~𝑡 (conclusión)
Premisas
1. 𝑝 → ~𝑞
2. 𝑞 ∨ ~𝑟
3. 𝑝 ∧ 𝑠
4. 𝑡 → 𝑟 ∧ 𝑠
Entregables:
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
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