Este documento describe la lógica proposicional, incluyendo las proposiciones compuestas moleculares como la conjunción, disyunción débil, condicional y negación. Explica las reglas de cada una y provee un ejemplo numérico para ilustrar sus valores de verdad.