noun

• (uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition.
• (countable) An expression that features tautology.
• (countable, logic, propositional logic) A statement that is true for all truth values of its propositional variables.
• (countable, logic, first-order logic) A statement that is true for all truth values of its Boolean atoms.