Gottfried Wilhelm Leibniz escribió la idea de utilizar símbolos matemáticos en lógica y la construcción de cálculos lógicos.