Dada una proposición que implique un número cualquiera de términos, Boole demostró cómo, por el tratamiento puramente simbólico de estas premisas, se podía deducir cualquier conclusión lógica contenida en dichas premisas.