Tautology meaning : Redundant use of words, a pleonasm, an unnecessary and tedious repetition. An expression that features tautology. In propositional logic: a statement that is true for all truth values of its propositional variables. In first-order logic: a statement that is true for all truth values of its Boolean atoms.