>>11636825I think it is a tautology.
A tautology is always true in all cases. You can do the truth table. If a is true, then 'if a then a' is true. If a is false its also true.
Theres also a sense of like a tautology being analytically fundamental, and, 'if a then a' seems like just a fundamental undeniably logically true propositions.
