A formula is valid or a logical truth if it is truth for every interpretation. I.e. In propositional logic, this is a tautology. Related valid argument