Lo básico de lógica proposicional, base fundamental para el razonamiento matemático estructurado.
Definición de verdad, conectivos y sintaxis formal.
Álgebra de proposiciones y simplificación de circuitos.
Lógica de predicados: Universal y Existencial.