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).