Definition
Interpretation (First-Order Logic)
For a language
and a non-empty set serving as the universe, an interpretation assigns meanings to the non-logical symbols: Together,
and form the structure . Variables receive values separately through a variable assignment .