Todas estas premisas admiten variaciones, mayores o menores en número, cuya distinción lógica solo puede determinarse mediante un análisis detallado. También se trataron proposiciones disyuntivas, ya sea de forma individual o en parejas, pero a menudo se encontró que eran equivalentes a otras proposiciones de una forma más simple; así, A = A B C ¦ A bc tiene exactamente el mismo significado que A B = A C .
Este modo de prueba exhaustiva guarda cierta analogía con aquel antiguo proceso matemático llamado la Criba de Eratóstenes. Habiendo tomado una larga serie de números naturales, se dice que Eratóstenes calculó sucesivamente todos los múltiplos de cada número y los fue tachando, de modo que al final solo quedaron los números primos y se descubrieron exhaustivamente los factores de cada número. Mi problema de 256 series de combinaciones es el análogo lógico; los principales puntos de diferencia son que existe un límite en el número de casos y que los números primos no tienen análogo en la lógica, ya que toda serie de combinaciones corresponde a una ley o grupo de condiciones. Pero la analogía es perfecta en el punto de que ambos son procesos inversos. No hay otro