[nom] Contraposition.
Les premiers à décrire explicitement le modus tollens étaient les stoïciens. - La règle d`inférence modus tollens est l`inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l`antécédent P.