Enviar registro por correo electrónico: Introducción a la lógica formal /