Definition:Tautology (Formal Semantics)