In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is always true, and is sometimes denoted by the symbol formula_1 (a symbol also reserved for the truth value 'true'). In other words, a tautology cannot be wrong. For example, formulae in maths are tautological, because they always hold true for any values. The philosopher Ludwig Wittgenstein first applied the term to propositional logic in 1921.