Este documento presenta conceptos básicos de lógica proposicional para apoyar a estudiantes de ingeniería civil. Define proposiciones, funciones proposicionales, operaciones lógicas como negación, conjunción, disyunción, implicación y doble implicación. Explica sus tablas de verdad y provee ejemplos para ilustrar cada concepto. El objetivo es integrar estas herramientas lógicas en la resolución de problemas matemáticos relevantes para la carrera.