Este documento presenta una propuesta para estudiar las proposiciones y estructuras discretas. La propuesta incluye objetivos como definir proposiciones, identificar conectivos lógicos y formas proposicionales, conocer leyes del álgebra proposicional, y aplicar métodos de demostración. El documento explica que una proposición es una cadena de signos expresada en un lenguaje que puede representar entidades de la realidad, y que los conectivos lógicos como la negación, disyunción, conjunción, condicionante