Este documento describe los conceptos básicos de las tablas de verdad y el cálculo lógico. Explica que una tabla de verdad muestra el valor de verdad de una proposición compuesta para cada combinación posible de valores de verdad de sus variables componentes. Además, define los operadores lógicos de negación, conjunción, disyunción, implicación, condicional y bicondicional, y cómo estos operadores determinan el valor de verdad resultante en función de los valores de entrada.