Aşağıdaki geçerli bir argüman mıdır (totoloji mi)?

((A → B) ∧ A) → B

Bu, temel bir çıkarım kuralı olan Modus Ponens olarak bilinir.