Modus ponens et modus tollens

Le modus ponens et le modus tollens sont les deux règles d'inférence fondamentales de la logique classique, toutes deux valides. Le modus ponens énonce que, si l'on admet « si A alors B » et que l'on admet « A », on peut conclure « B ». Le modus tollens énonce que, si l'on admet « si A alors B » et que « B » est faux, on peut conclure que « A » l'est aussi.

Ces deux règles forment l'ossature du raisonnement déductif. Il faut les distinguer de deux erreurs qui leur ressemblent mais sont invalides : affirmer le conséquent (conclure « A » de « B ») et nier l'antécédent (conclure « non B » de « non A »). Confondre les unes avec les autres est une source fréquente de raisonnements fautifs.