contraposición
La contraposición es un concepto que se usa en lógica y, de forma más amplia, en retórica. En lógica, dados dos enunciados P (premisa) y Q (consecuencia), la contraposición de la implicación "Si P, entonces Q" es "Si no Q, entonces no P". En la lógica clásica, estas dos afirmaciones son lógicamente equivalentes: si una es verdadera, la otra también lo es, y si una es falsa, la otra también lo es. Por ello, a menudo se utiliza la contraposición como método de demostración: para demostrar P implica Q, basta demostrar que no Q implica no P.
Un ejemplo simple: si llueve, la calle se moja. Su contraposición es: si la calle no se
La contraposición también se distingue de la conversión y del inverso: la conversión cambia el orden de
En retórica, contraposición se refiere a la presentación de ideas opuestas o contrastantes para enfatizar diferencias,