هل الحجة التالية صحيحة (تحصيل حاصل)؟

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

هذا يُعرف بـ Modus Tollens، وهي قاعدة استنتاج أساسية أخرى.