Este documento presenta el segundo fascículo de un curso de Álgebra Abstracta. Cubre temas clave de lógica proposicional como proposiciones condicionales, bicondicionales, negaciones y compuestas, incluyendo tablas de verdad. Explica conceptos como antecedente, consecuente, equivalencia lógica y reglas de prioridad para proposiciones compuestas. También incluye indicadores de logro y ejemplos para ilustrar los conceptos.