Este documento presenta conceptos básicos de lógica, incluyendo definiciones de enunciados, proposiciones lógicas, proposiciones simples y compuestas, y operadores lógicos como conjunción, disyunción y condicional. También explica cómo construir tablas de verdad y cómo representar fórmulas lógicas usando proposiciones y operadores.