Este documento presenta un resumen de los conceptos básicos de lógica y conjuntos. Introduce la lógica simbólica como un lenguaje preciso para analizar argumentos lógicos. Explica las definiciones de proposición, valor de verdad, tabla de verdad y los operadores lógicos como la negación, conjunción, disyunción y condicional. Finalmente, introduce los conceptos de razonamiento lógico y su validez.