In logic , a tautology ( from the Greek word ταυτολογία ) is a formula that is true in every possible interpretation .
In propositional logic , a tautology ( from the Greek word ταυτολογία ) is a propositional formula that is always true .