7.2.4.2 DS/Lógica Básica. (14 horas) [Nivel Bloom 4]

Referencias Bibliográficas: [,,,]

Tópicos

1. Lógica proposicional.
2. Conectivos lógicos.
3. Tablas de verdad.
4. Formas normales (conjuntiva y disyuntiva).
5. Validación.
6. Lógica de predicados.
7. Cuantificación universal y existencial.
8. Modus ponens y modus tollens.
9. Limitaciones de la lógica de predicados.

Objetivos

1. Aplicar métodos formales de lógica simbólica proposicional y de predicados.
2. Describir como las herramientas formales de lógica simbólica son utilizadas para modelar algoritmos en situaciones reales.
3. Usar demostraciones lógico-formales y razonamiento lógico para solucionar problemas tales como rompecabezas (puzzles).
4. Describir la importancia y limitaciones de la lógica de predicados.