SMS dit: Corrección y correcciones de los cálculos lógicos de Leibniz