Libro 1: Lógica proposicional y Conjuntos