Email Record: Introducción a la lógica formal :