Este documento introduce las tablas de verdad y los operadores lógicos fundamentales como la negación, conjunción, disyunción, implicación y bicondicional. Explica que una tabla de verdad muestra todos los valores de verdad posibles para una proposición compuesta. Luego define cada operador lógico y proporciona ejemplos de su uso.