Este documento presenta los principales conectores lógicos como la negación, conjunción, disyunción débil, disyunción fuerte y condicional. Define cada uno y ofrece ejemplos de proposiciones que los contienen. También explica los métodos de tablas de verdad y abreviado para evaluar la validez de argumentos lógicos.