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

((A → B) ∧ A) → B

هذه القاعدة تُعرف باسم Modus Ponens، وهي قاعدة استنتاج أساسية.