Conjuntos, lógica y funciones