Stylistický pojem pro nadbytečné vyjadřování, kdy se jedna myšlenka nebo vlastnost sdělí dvakrát, a to stejnými či téměř totožnými slovy, takže se význam v podstatě jen opakuje. Etymologicky se uvádí původ z ř. tauto ve významu totéž a z ř. logos ve významu slovo nebo výrok.
V logice a matematice jde o výrok nebo formuli, která je pravdivá bez ohledu na to, jaké pravdivostní hodnoty přiřadíme jejím částem. Takový vztah se využívá například při formálním dokazování a při ověřování správnosti argumentů.