o, en palabras—En cualquier relación que una cosa guarde con una segunda cosa, en esa misma relación guarda con lo semejante o equivalente de esa segunda cosa. La identidad entre A y B nos permite indistintamente colocar a A donde estaba B, o B donde estaba A; y no hay límite para la variedad de significados especiales que podemos conferir a los signos utilizados en esta fórmula de manera consistente con su verdad. Así, si primero especificamos únicamente el significado del signo ᔕ, podemos decir que si C es el peso de B, entonces C es también el peso de A. De manera similar y así sucesivamente ad infinitum.
También podemos dotar de significados especiales a los términos-letra A, B y C, y el proceso de inferencia nunca será falso.
Así, sea el signo ᔕ “es altura de”, y entonces resulta obvio que se sigue, dado que “3590 pies es la altura de Snowdon” y “Snowdon = la montaña más alta de Inglaterra o Gales”, que “3590 pies es la altura de la montaña más alta de Inglaterra o Gales”.
Un resultado de este proceso general de inferencia es que en cualquier agregado o todo complejo podemos sustituir cualquier parte por su equivalente sin alterar el todo. Alterar es hacer una diferencia; pero si al sustituir una parte no hago diferencia alguna, no hay alteración del todo. Muchas inferencias que han sido incluidas muy imperfectamente en las fórmulas lógicas se siguen de inmediato. Recuerdo haber oído al difunto prof. De Morgan señalar que toda la lógica de Aristóteles no podía demostrar que «como un caballo es un animal, la cabeza de un caballo es la cabeza de un animal». Considero que esto equivale meramente a sustituir en la noción completa cabeza de un caballo, el término «caballo» por su equivalente algún animal o un animal. Del mismo modo, puesto que se sigue que y