  A well-formed formula \(A\) of a propositional language counts as valid under some valuation \(\alpha\) (which maps the set of propositional variables into the set of truth degrees) iff it has a designated truth degree under \(\alpha\). And \(A\) is logically valid or a tautology iff it is valid under all valuations.