Unter Kontraposition (von lat. contra – gegen und lat. positio – Position, Stellung, Lage) versteht man in der Logik den Umkehrschluss einer Implikation, d. h. den Schluss von „Wenn A, dann B“ auf „Wenn nicht B, dann nicht A“.

La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l'antécédent (« donc non A »). En d'autres termes, puisque la cause d'une implication engendre la conséquence, alors l'absence de la conséquence implique automatiquement l'absence de la cause (tollens est le participe présent du verbe latin tollere, ôter, enlever).

Kontraposition är en egenskap hos implikationssbegreppet i den klassiska logiken, att A → B är ekvivalent med ¬B → ¬A:
| A || B || A → B || ¬B → ¬A

Зако́н контрапози́ции — закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).