Este documento presenta un resumen de los conceptos básicos de lógica y conjuntos. Introduce los conceptos primitivos de lógica como valores de verdad y proposiciones. Explica los conectivos lógicos como negación, conjunción, disyunción, condicional y bicondicional. También cubre cuantificadores lógicos, tablas de verdad, funciones proposicionales, teoremas y demostraciones. Finalmente, define conceptos básicos de conjuntos como elementos, pertenencia, inclusión e