La palabra contraposicin puede emplearse para dar cuenta de la comparacin que se efecta de

una cosa respecto de otra contraria; y tambin el trmino es usado para referir la oposicin de una
cosa con otra cosa.
... via Definicion ABC http://www.definicionabc.com/general/contraposicion.php`

Contraposicin Inferencias Proceso lgico por el cual remplazamos el sujeto por el complemento
del predicado, y el predicado por el complemento del sujeto, modificando la calidad de la
proposicin dada.
Se hace un intercambio de sujeto y predicado, y se niegan ambos. La contraposicin opera en las
proposiciones de juicios, tipos A y O, de ah el nombre, pues establece entre juicios contradictorios.
Es una de las operaciones correspondientes a la lgica tradicional Se antepone una negacin,
conservndose la cantidad. Todo NO animal, es NO hombre Todo A es B Todo no B es no A
Algn A no es B entonces algn no-B es no-A; y viceversa.
Es falso que todo A es B entonces es falso que todo no-B es no-A; y viceversa.
Es falso que algn A no es B entonces es falso que algn no-B es no-A; y viceversa Reglas de
la Contraposicin:
Las proposiciones positivas.- la A tiene contrapuesta: se mutan las posiciones del sujeto y del
predicado poniendo el complemento de ambos, se cambia la cualidad, ni la cantidad. La I no tiene
contrapuesta. No forma ley universal la contraposicin realizada sobre la proposicin particular
afirmativa.

Las proposiciones negativas.- La E tiene contrapuesta por limitacin: Se muta el sujeto donde est
el sujeto y se pone el complemento de ambos, no se cambia la cualidad de la proposicin dad, pero
se limita la extensin de la proposicin original.
La O tiene contraposicin simple.
En lgica, la contraposicin lgica es una ley que dice que, para cada sentencia condicional,
hay una equivalencia lgica entre la misma y su contraposicin. En la contraposicin de una
sentencia, el antecedente y consecuente son invertidos y negados: por lo tanto, la
contraposicin de

es, por lo tanto,

. Por ejemplo, la proposicin

"Todos los murcilagos son mamferos" puede ser reescrita en su forma condicional "Si algo
es murcilago, entonces es mamfero." Por ltimo, la ley dice que la sentencia es idntica a su
contrapositiva "Si algo no es mamfero, entonces no es murcilago."
La contrapositiva puede ser comparada con otras tres relaciones entre sentencias
condicionales:

Inversin (la inversa):

"Si algo no es murcilago, entonces no es mamfero." A diferencia de la contrapositiva,

el valor-verdad de la inversa no depende del todo del valor de verdad de la sentencia original.
La inversa, aqu, claramente no es verdadera.

Conversin (la recrpoca):

"Si algo es mamfero, por lo que es murcilago." Lo contrario es, de hecho, la contrapositiva
de la inversa, por lo tanto, siempre posee el mismo valor-verdad de inversa, por lo tanto, no es
necesariamente el mismo que el de la proposicin original.

Negacin:

"Existe un murcilago que no es mamfero." Si la negacin es verdadera, la proposicin

original (y, consecuentemente, la contrapositiva) es falsa. En el ejemplo mostrado, la negacin
es claramente falsa.
Note que si

es verdadera y nos es informado de que Q falsa,

lgicamente inferido que P debe ser falso,

, puede ser

. Esto es, normalmente, llamado ley de la

contrapositiva, o de regla de inferencia modus tollens.

Explicacin intuitiva[editar]

Considere el diagrama de Venn de la derecha. Est claro que, si algo est en A, tambin debe
estar en B. Podemos reescribir "Todo A est en B", como

Tambin est claro que cualquier cosa que no est en B, tambin no puede estar en A.
Esa sentencia,

es la contrapositiva. As, podemos decir que

En la prctica, esto puede facilitar bastante al intentar probar algo. Por ejemplo, si
queremos demostrar que todas las chicas de Estados Unidos (A) son rubias (B),
podemos o bien tratar de probar

, revisando cada una de las chicas

de Estados Unidos para ver si son todas rubias. O, alternativamente, podemos

tratar de probar (\neg B \to \ neg A), comprobando que todas las chicas que no
son rubias para ver si todas estn fuera de EE.UU.. Esto significa que si
encontramos al menos una chica no rubia en Estados Unidos, hemos
refutado

, lo que equivale a

En sntesis, para cualquier juicio que A implica B, entonces no B siempre

implica no A. Probar o refutar cualquiera de las dos sentencias automticamente
prueba o refuta la otra. Son completamente equivalentes.

Definicin formal[editar]
La proposicin Q est implcita en la proposicin P cuando la siguiente relacin es verdadera:

En trminos coloquiales, esto significa que "si P, entonces Q", o, "si Scrates es hombre,
entonces Scrates es humano." En un condicional como ese, P es el antecedente, y Q es
el consecuente. Una sentencia es contrapositiva de otra solamente cuando su
antecedente es la negacin del consecuente de la otra, y viceversa. La contrapositiva del
ejemplo es
.
Esto es, "Si no Q, entonces no P", o ms precisamente "Si Q no es el caso,
entonces P no es el caso." Usando nuestro ejemplo, "Si Scrates no es humano,
entonces Scrates no es un hombre." Esta sentencia se dice que es contrapuesta con
relacin a la original y las dos son lgicamente equivalentes. Debido a la equivalencia
lgica, afirmar una afirma automticamente la otra: cuando una es verdadero, la otra
tambin. Lo mismo ocurre para la falsedad.
Rigurosamente, la oposicin solo puede existir en dos condicionales simples. Sin
embargo, la oposicin tambin puede existir en dos condicionales complejos, si los
mismos son semejantes. Por lo tanto,
tiene como contrapositiva

, o "Todos los Ps son Qs,"

, o "Todo no Q es no P."

Una proposicin universal afirmativa, o proposicin de tipo A segn la denominacin

corriente, implica varias proposiciones adicionales segn los manuales de lgica formal.
Por ejemplo, de "Todo X es Y" podemos inferir inmediatamente (es decir, sin la mediacin
de informacin nueva) que "Algn Y es X" (la conversa), "Algn X es Y" (la subalterna),
etc. Estas reglas son aceptadas universalmente, aunque como suele pasar, no hay unidad
completa de terminologa. P. ej. JEVONS1 no incluye "subalternacin" en su seccin que

trata de las inferencias inmediatas, aunque cuando reproduce el cuadro tradicional de

oposicin, menciona la subalternacin. COPI 2 dice que la conversa de "Todo X es Y" es
"Todo Y es X" ; por tanto, de una proposicin de tipo A, no se sigue su conversa sino su
"conversa por limitacin" ("Algn Y es X"). Se suele decir, tambin, que "Todo X es Y"
implica la contrapuesta "Todo no-Y es no-X". Finalmente, se cuenta la regla de que "Todo
X es Y" implica la proposicin inversa, o "Algn no-X es no-Y". Curiosamente, la regla de
subalternacin ha sido objeto de ataque, pero en mi opinin son ms bien las reglas de
contraposicin y de inversin las que merecen ponerse

Transcripcin de Contraposicin
Contraposicin Inferencias Proceso lgico por el cual remplazamos el sujeto por el complemento
del predicado, y el predicado por el complemento del sujeto, modificando la calidad de la
proposicin dada.
Se hace un intercambio de sujeto y predicado, y se niegan ambos. La contraposicin opera en las
proposiciones de juicios, tipos A y O, de ah el nombre, pues establece entre juicios contradictorios.
Es una de las operaciones correspondientes a la lgica tradicional Se antepone una negacin ,
conservndose la cantidad. Todo NO animal, es NO hombre Todo A es B Todo no B es no A
Algn A no es B entonces algn no-B es no-A; y viceversa.
Es falso que todo A es B entonces es falso que todo no-B es no-A; y viceversa.
Es falso que algn A no es B entonces es falso que alg no-B es no-A; y viceversa Reglas de la
Contraposicin:
Las proposiciones positivas.- la A tiene contrapuesta: se mutan las posiciones del sujeto y del
predicado poniendo el complemento de ambos, se se cambia la cualidad, ni la cantidad. La I no
tiene contrapuesta. No forma ley universal la contraposicin realizada sobre la proposicin
particular afirmativa.

Las proposiciones negativas.- La E tiene contrapuesta por limitacin: Se muta el sujeto donde est
el sujeto y se pone el complemento de ambos, no se cambia la cualidad de la proposicin dad, pero
se limita la extensin de la proposicin original.
La O tiene contraposicin simple.
Una proposicin universal afirmativa, o proposicin de tipo A segn la denominacin corriente,
implica varias proposiciones adicionales segn los manuales de lgica formal. Por ejemplo, de
"Todo X es Y" podemos inferir inmediatamente (es decir, sin la mediacin de informacin nueva)
que "Algn Y es X" (la conversa), "Algn X es Y" (la subalterna), etc. Estas reglas son aceptadas
universalmente, aunque como suele pasar, no hay unidad completa de terminologa. P. ej.
JEVONS1 no incluye "subalternacin" en su seccin que trata de las inferencias inmediatas,
aunque cuando reproduce el cuadro tradicional de oposicin, menciona la subalternacin. COPI 2

dice que la conversa de "Todo X es Y" es "Todo Y es X" ; por tanto, de una proposicin de tipo A,
no se sigue su conversa sino su "conversa por limitacin" ("Algn Y es X"). Se suele decir, tambin,
que "Todo X es Y" implica la contrapuesta "Todo no-Y es no-X". Finalmente, se cuenta la regla de
que "Todo X es Y" implica la proposicin inversa, o "Algn no-X es no-Y". Curiosamente, la regla de
subalternacin ha sido objeto de ataque, pero en mi opinin son ms bien las reglas de
contraposicin y de inversin las que merecen ponerse
en tela de juicio. Es decir, me parece que es preciso preguntar si la proposicin A implica tanto su
contrapuesta como su inversa, y sobre todo si las implica en el sentido de dar la razn de su
verdad. En otras palabras, la inversa y contrapuesta de una proposicin universal verdadera son
generalmente verdaderas de jacto, pero esto no depende precisamente del anlisis de la verdad
de la proposicin A en cuestin. Estudiemos algunos ejemplos. Encontramos que si "Todos los
canguros son mamferos" la inversa "Algn nocanguro es no-mamfero" y la contrapuesta "Todo
no-mamfero es un no-canguro" son verdaderas. No parece, sin embargo, que el hecho de que las
gaviotas no sean ni canguros ni mamferos dependa de algn modo de que los canguros sean lo
que son. Adems, si con el metafsico decimos que todo es de algn modo bueno, querramos
admitir que "Algunos no-seres son no-buenos"? Doy por supuesto que diramos que "Todo lo nobueno es un no-ser". Parecera, sin embargo, que sta proposicin no tiene valor existencial; es
decir, el valor ontolgico de "es" vara de la proposicin A original a su contrapuesta, aunque sta
tambin es de tipo A. Para aclarar la naturaleza de la relacin en cuestin, echamos mano del
concepto escolstico de suppositio, aunque no pretendemos que nuestro empleo corresponda a la
definicin histrica exacta, que incidentalmente vari a travs de los siglos3 . Se considera
normalmente a la suppositio entre las propiedades de los trminos. GEACH define la suppositio,
como "el punto de referencia"4 . El tomista riguroso Josephus GREDT la define como la "acepcin
de un trmino por algo de lo cual se verifica segn las exigencias de la cpula"5 .