নিচের যুক্তিটি কি বৈধ (tautology)?

((A → B) ∧ A) → B

এটি Modus Ponens নামে পরিচিত, যা অনুমানের একটি মৌলিক নিয়ম।