4.7.2.2 Lógica básica (2 horas) [Habilidades a,b,c,h]

Referencias Bibliográficas: [Brookshear, 2015] Temas

1. Lógica proposicional.
2. Conectores lógicos.
3. Tablas de verdad.
4. Forma normal (conjuntiva y disyuntiva)

Objetivos de Aprendizaje

1. Convertir declaraciones lógicas desde el lenguaje informal a expresiones de lógica proposicional y de predicados [Familiarity]
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 [Familiarity]