Definition:Tautology (Predicate Logic)