Quand on apprend la logique, on apprend la notion de modus tollens, correspondant à une notion de contraposition. Si on a une proposition du genre , alors la proposition contraposée est
. Et on apprend que les deux propositions sont équivalentes (je fais de la logique classique). Par exemple si
correspond à “feu” et
à “fumée“,
signifie que tout feu fait de la fumée. Si cette affirmation est vrai, alors il n’y a pas de fumée sans feu, et donc
, autrement dit, s’il n’y a pas de fumée, c’est qu’il n’y a pas de feu.