Este documento presenta un resumen del tema 1 del curso de Álgebra 2019-2020. Introduce conceptos básicos de lógica matemática como proposiciones, conectores lógicos, tablas de verdad, cuantificadores y funciones proposicionales. También explica diferentes tipos de razonamientos matemáticos como demostraciones directas, demostraciones por casos y demostraciones por inducción.