A seguinte expressão é uma tautologia?

((A → B) → A) → A

Esta é conhecida como Lei de Peirce, nomeada em homenagem a Charles Sanders Peirce.