George Boole: Precursor de la lógica simbolica