Este documento presenta una introducción a la lógica formal. Explica que la lógica formal estudia la validez de los argumentos mediante el análisis de las relaciones entre las premisas y la conclusión. Describe los componentes básicos de un argumento lógico y los principios lógicos fundamentales como la identidad, la contradicción y el tercero excluido. Finalmente, introduce las tablas de verdad como una herramienta para determinar si un argumento es válido evaluando todas las posibilidades de cómo las propos