5.7.5.1 Lógica básica (14 horas)

Resultados de la carrera Outcomes: 1,6

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 (Usage) ]
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 (Usage) ]
3. Usar reglas de inferencia para construir demostraciones en lógica proposicional y de predicados [Usar (Usage)]
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 (Familiarity)]
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 (Usage) ]
6. Describir las fortalezas y limitaciones de la lógica proposicional y de predicados [Usar (Usage)]

Bibliografía: [Rosen, 2007,Grimaldi, 2003]