El curso comienza con la lógica proposicional —abordando tablas de verdad y casos concretos— para luego adentrarse en el lenguaje de la demostración: condiciones, cuantificadores, conjuntos, funciones, relaciones, grafos, técnicas de conteo e inducción. Está diseñado para estudiantes de informática y matemáticas que deseen redactar demostraciones más claras, identificar razonamientos erróneos y justificar afirmaciones mediante ejemplos precisos antes de generalizar. Al finalizar, los conceptos fundamentales de la matemática discreta dejan de ser meras definiciones para convertirse en herramientas prácticas de demostración.
Tablas de verdad para conectivas proposicionales, condiciones necesarias y suficientes, orden de los cuantificadores, operaciones con conjuntos, tipos de funciones, relaciones de equivalencia, conectividad de grafos, crecimiento factorial, triángulo de Pascal e inducción como método de demostración. El curso también aborda hábitos de verificación de demostraciones, tales como la redacción precisa y el etiquetado de casos base y pasos inductivos.