Biểu thức sau có phải là một phản đề (tautology) không?

((A → B) → A) → A

Đây được gọi là Định luật Peirce, được đặt theo tên của Charles Sanders Peirce.