4.2.4.1 Lógica básica (14 horas) [Habilidades ABET1,ABET6]

Referencias Bibliográficas: [Rosen, 2007,Grimaldi, 2003,] Temas

1. Lógica proposicional.
2. Conectores lógicos.
3. Tablas de verdad.
4. Forma normal (conjuntiva y disyuntiva)
5. Validación de fórmula bien formada.
6. Reglas de inferencia proposicional (conceptos de modus ponens y modus tollens)
7. Logica de predicados:
   1. Cuantificación universal y existencial
8. Limitaciones de la lógica proposicional y de predicados (ej. problemas de expresividad)

Objetivos de Aprendizaje (Learning Outcomes)

1. Convertir declaraciones lógicas desde el lenguaje informal a expresiones de lógica proposicional y de predicados [Usar ]
2. Aplicar métodos formales de simbolismo proposicional y lógica de predicados, como el cálculo de la validez de formulas y cálculo de formas normales [Usar ]
3. Usar reglas de inferencia para construir demostraciones en lógica proposicional y de predicados [Usar]
4. Describir como la lógica simbólica puede ser usada para modelar situaciones o aplicaciones de la vida real, incluidos aquellos planteados en el contexto computacional como análisis de software (ejm. programas correctores ), consulta de base de datos y algoritmos [Familiarizarse]
5. Aplicar métodos formales de simbolismo proposicional y lógica de predicados, como el cálculo de la validez de formulas y cálculo de formas normales [Usar ]
6. Describir las fortalezas y limitaciones de la lógica proposicional y de predicados [Usar]