'Modus tollens' est une forme de raisonnement élémentaire également utilisé dans les preuves:
Voici son schéma:
P1 ¬ Q
P2 P ⇒ Q
--------
∴  C ¬ P
Si Q est fausse et si P ⇒ Q est vraie alors P est fausse.

Voici un exemple:

S'il y a du feu ici, alors il y a de l'oxygène ici.
Il n'y a pas d'oxygène ici.
Il n'y a donc pas de feu ici.