definición correcta tiene la forma A = B, y a menudo puede requerir ser aplicada en su forma negativa
Tomemos como ilustración del modo de usar este resultado el siguiente argumento:
| Las vocales son letras que se pueden pronunciar solas, | (1) |
|---|---|
| La letra w no se puede pronunciar sola; | (2) |
| Por lo tanto, la letra w no es una vocal. | (3) |
Aquí tenemos una definición (1), y una comparación de una cosa con esa definición (2), lo que lleva a la exclusión de la cosa de la clase definida.
Tomando los términos, las premisas son claramente de las formas
| A = B, | (1) |
|---|---|
| C = b C. | (2) |
Ahora, por el método indirecto, obtenemos de (1) la contrapositiva y, al insertar en (2) el equivalente para b, tenemos
C = a C, (3)
o “la letra w no es una vocal.”
Ejemplos misceláneos del método.
Podemos aplicar el Método Indirecto de Inferencia cualquiera que sea el número de términos implicados o de premisas que contengan dichos términos. Como el funcionamiento del método se aprende mejor con ejemplos, tomaré un caso de dos premisas que forman el silogismo Bárbara: así
| El hierro es metal | (1) |
|---|---|
| El metal es un elemento. | (2) |
Si queremos averiguar qué inferencia es posible en relación con el término Hierro, desarrollamos el término mediante la Ley de la Dualidad. El hierro debe ser metal o no-metal; el hierro que es metal debe ser elemento o no-elemento; y de manera similar el hierro que no es metal debe ser elemento o no-elemento. Hay entonces en total cuatro alternativas entre las cuales debe estar contenida la descripción del hierro; por lo tanto
| Hierro, metal, elemento, | (α) |
|---|---|
| Hierro, metal, no-elemento, | (β) |
| Hierro, no-metal, elemento, | (γ) |
| Hierro, no-metal, no-elemento. | (δ) |
Nuestra primera premisa nos informa que el hierro es un metal, y si sustituimos esta descripción en (γ) y (δ) tendremos combinaciones contradictorias en sí mismas. Nuestra segunda premisa asimismo nos informa que el metal es un elemento, y al aplicar esta descripción a (β) tenemos de nuevo una contradicción interna, de modo que solo queda (α) como descripción del hierro—nuestra inferencia es
Para representar este proceso de razonamiento en símbolos generales,