L'argument suivant est-il valide (tautologie) ?

((A → B) ∧ ¬B) → ¬A

Ceci est connu sous le nom de Modus Tollens, une autre règle d'inférence fondamentale.