Liệu đây có phải là một lập luận hợp lệ (tautology)?

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

Đây được gọi là Modus Tollens, một quy tắc suy diễn cơ bản khác.