Este documento describe los conceptos básicos del cálculo proposicional. Explica que una proposición puede ser verdadera o falsa, y que los conectivos lógicos como la negación, disyunción, conjunción e implicación se usan para formar proposiciones compuestas a partir de proposiciones simples. También define términos como tautología, contradicción, equivalencia lógica y reglas de inferencia lógica.