Technically, a formula of the propositional calculus that is true whatever the truth-value assigned to its constituent propositional variables. (A tautology is thus valid, or true in all interpretations .) In more informal contexts a tautology is often thought of as a proposition that ‘says nothing’, or merely repeats a definition.
Philosophy dictionary. Academic. 2011.