El documento presenta una unidad sobre estructuras discretas en la que se definen y explican conceptos básicos de lógica proposicional como proposiciones, conectivos lógicos, tablas de verdad, formas proposicionales (tautologías, contradicciones), leyes del álgebra proposicional y métodos de demostración como directo, contrarreciproco y reducción al absurdo. Se pide identificar estas nociones y aplicarlos a ejemplos matemáticos e ingenieriles.