Logique mathématique

Recours à la contraposée

Considérons deux propositions \(A\) et \(B\).

Le modus tollens est un raisonnement qui utilise la contraposée de l'implication :

Si \(A\), alors \(B\).
Or non \(B\).
Donc non \(A\).

De [la vérité de] l'implication Si \(A\), alors \(B\) et de la fausseté de \(B\), on déduit la fausseté de \(A\).

Dans ce raisonnement, \(A\) et \(B\) sont infirmés.

Lionel Avon