The claim should be regarded as "necessarily true".
In logic, a tautology which actually originated from the Greek, is a formula that is valid in each conceivable understanding. Ludwig Wittgenstein who was a philosopher initially used the term to redundancies of propositional logic in the year 1921.