Este documento introduce conceptos básicos de teoría de conjuntos, incluyendo definiciones de conjuntos, subconjuntos, uniones, intersecciones y operaciones complementarias. También presenta teoremas clave sobre propiedades de conjuntos y cómo representar conjuntos de validez de funciones proposicionales usando operaciones de conjuntos.