4.1.2 DS/Lógica Básica. (10 horas)

Tópicos

• Lógica proposicional.
• Conectivos lógicos.
• Tablas de verdad.
• Formas normales (conjuntiva y disyuntiva).
• Validación.
• Lógica de predicados.
• Cuantificación universal y existencial.
• Modus ponens y modus tollens.
• Limitaciones de la lógica de predicados.

Objetivos

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