En 1847 Boole publicó "The Mathematical Analysis of Logic", el primero de sus trabajos en lógica simbólica.