La contraposition (ou modus tollens) est un raisonnement logique basé sur la négation du conséquent d'une implication. C’est-à-dire que puisque la cause d'une implication engendre la conséquence, ...