Il seguente è un argomento valido (tautologia)?

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

Questo è conosciuto come Modus Tollens, un'altra regola fondamentale di inferenza.