Hay sesenta y tres series de combinaciones derivadas de premisas contradictorias en sí mismas, las cuales con 192, la suma de los números de variaciones lógicas distintas establecidas en la tercera columna de la tabla, y con el único caso en el que no hay condiciones ni leyes en absoluto, componen el número total concebible de 256 series.
De esta tabla aprendemos, por ejemplo, que dos proposiciones de la forma A = AB, B = BC, tales que constituyen las premisas del antiguo silogismo Barbara, excluyen como imposibles cuatro de las ocho combinaciones en las que tres términos pueden unirse, y que estas proposiciones son capaces de adoptar veinticuatro variaciones mediante transposiciones de los términos o la introducción de negativas.
Esta tabla presenta entonces los resultados de un análisis completo de todas las relaciones lógicas posibles que surgen en el caso de tres términos, y el viejo silogismo forma tan solo una de entre quince formas típicas. En términos generales, cada forma puede convertirse en proposiciones aparentemente diferentes; así, el cuarto tipo A = B, B = BC puede aparecer bajo la forma A = ABC, a = ab, o bien bajo la forma de tres proposiciones A = AB, B = BC, aB = aBc; pero todos estos conjuntos de premisas producen idénticamente la misma serie de combinaciones y, por tanto, poseen un significado lógico equivalente. El quinto tipo, o Barbara, también puede expresarse en las formas equivalentes A = ABC, aB = aBC y A = AC, B = A ꖌ aBC.
En otros casos he obtenido exactamente las mismas condiciones lógicas en cuatro modos de formulación. En lo que respecta a la mera apariencia y a la forma de enunciación, el número de premisas posibles sería muy grande y difícil de exponer de manera exhaustiva.
El más notable de todos los tipos de condición lógica es el decimocuarto, a saber, A = BC ꖌ bc. Es el que expresa la división de un género en dos especies doblemente marcadas, y podría ilustrarse con el ejemplo: «Componente del universo físico = materia, con gravitación, o no-materia (éter), sin gravitación».
Solo es capaz de dos variaciones lógicas distintas, a saber, A = BC ꖌ bc y A = Bc ꖌ bC. Mediante la transposición o el cambio negativo de las letras podemos obtener en efecto seis expresiones diferentes de cada una de estas proposiciones; pero cuando se analizan sus significados, desarrollando las combinaciones, se descubre que son lógicamente equivalentes a una u otra de las dos anteriores.
Así, la proposición A = BC ꖌ bc puede escribirse en cualquiera de los siguientes otros cinco modos,
No creo necesario publicar por el momento la tabla completa de 193 series de combinaciones y las premisas