Este documento presenta los principales conectores lógicos y sus tablas de verdad. Define la negación, conjunción, disyunción débil y fuerte, condicional, condicional inversa y bicondicional. Explica cómo evaluar proposiciones usando el método de tablas de verdad y el método abreviado.