Definition of Tautology (logic)

In propositional logic, a tautology (from the Greek word ταυτολογία) is a sentence that is true in every valuation (also called interpretation) of its propositional variables, independent of the truth values assigned to these variables. For example, is a tautology, because any valuation either makes A and B both true, or makes one or the other false. According to Kleene (1967, p. 12), the term was introduced by Ludwig Wittgenstein (1921).