  In the case of a first-order language, such a well-formed formula \(A\) counts as valid under an interpretation \(\alpha\) of the language iff it has a designated truth degree under this interpretation and all assignments of objects from the universe of discourse of this interpretation to the object variables. \(A\) counts as logically valid iff it is valid under all interpretations.