以下是一个有效的论证（重言式）吗？

((A → B) ∧ A) → B

这被称为肯定前件，是一条基本推理规则。