2.4.2 DS/Lógica básica

Temas:
Core Tier1

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

Objetivos de Aprendizaje (Learning Outcomes):
Core-Tier1:

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 [Usar]
5. Aplicar demostraciones de lógica formal y/o informal, pero rigurosa, razonamiento lógico para problemas reales, como la predicción del comportamiento de software o solución de problemas tales como rompecabezas [Usar]
6. Describir las fortalezas y limitaciones de la lógica proposicional y de predicados [Familiarizarse]