Anotaciones históricas sobre los orígenes del simbolismo de la lógica matemática: George Boole, uno de sus precursores modernos