Email Record: Lógica proposicional