CAPÍTULO VI. EL MÉTODO INDIRECTO DE INFERENCIA.

Tratando la pequeña palabra some como un adjetivo indeterminado de selección, al que le asignamos un símbolo como a cualquier otro adjetivo, dejemos

Las premisas pasan entonces a ser

Ahora de (1) obtenemos por el método indirecto la proposición contrapositiva y si sustituimos esta expresión por c en (2) tenemos que el significado completo de esto es que «algunas nebulosas no dan espectros continuos y no son sólidos incandescentes».

Podríamos aplicar de manera similar la contraposición en muchos otros casos. Tomemos el argumento: «Todas las estrellas fijas son autoluminosas; pero algunos de los cuerpos celestes no son autoluminosos y, por tanto, no son estrellas fijas». Tomando nuestros términos, tenemos las premisas

Ahora de (1) podemos deducir la contraposición y sustituyendo esta expresión por b en (2) obtenemos lo cual expresa la conclusión del argumento de que algunos cuerpos celestes no son estrellas fijas.

# Contrapositiva de una identidad simple.

El lector debe observar cuidadosamente que cuando aplicamos el proceso de Inferencia Indirecta a una identidad simple de la forma podemos obtener resultados adicionales.

Si deseamos saber cuál es el término no-$B$, tenemos como antes, por la Ley de Dualidad, y sustituyendo por $A$ obtenemos

Pero ahora también podemos extraer una segunda contraposición; pues

tenemos y sustituyendo a B por su equivalente A tenemos

Por tanto, a partir de la identidad única A = B podemos extraer las dos proposiciones y observando que estas proposiciones tienen un término común ab, podemos hacer una nueva sustitución, obteniendo

Este resultado está en estricta conformidad con los principios fundamentales de la inferencia, y cabe preguntarse si no es un resultado evidente por sí mismo, independiente de los pasos de deducción mediante los cuales lo hemos alcanzado. Pues donde dos clases son coincidentes como A y B, todo lo que es verdadero de la una lo es de la otra; lo que está excluido de la una debe excluirse de la otra de manera similar. Ahora bien, como a guarda con A exactamente la misma relación que b guarda con B, la identidad de cualquiera de los pares se sigue de la identidad del otro par. En toda identidad, igualdad o similitud, podemos argumentar a partir de la negación de un lado hacia la negación del otro. Así, a temperaturas ordinarias, de ahí se sigue obviamente o puesto que se deduce que cualquier estrella que no sea la más brillante no es Sirio, y viceversa. Toda