La lógica proposicional fue finalmente refinada usando la lógica simbólica, se acreditó ser el fundador de la lógica simbólica el matemático Gottfried Leibniz siglo XVII/XVIII, por su trabajo ratiocinator del cálculo.