Este documento presenta información sobre proposiciones, conectivos lógicos, formas proposicionales y leyes del álgebra proposicional. También describe métodos de demostración como la demostración directa y la demostración por contradicción. Finalmente, muestra cómo construir una red de circuitos lógicos y representarla en forma proposicional.