Definition:Assignment for Structure/Term
Jump to navigation
Jump to search
Definition
Let $\LL_1$ be language of predicate logic.
Let $\mathrm{VAR}$ be the collection of variables of $\LL_1$.
Let $\AA$ be an $\LL_1$-structure on a set $A$.
Let $\tau$ be a term of $\LL_1$.
Denote with $\map V \tau$ the variables which occur in $\tau$.
An assignment for $\tau$ in $\AA$ is a mapping $\sigma$ with codomain $A$, whose domain is subject to the following condition:
- $\map V \tau \subseteq \Dom \sigma \subseteq \mathrm{VAR}$
That is, the domain of $\sigma$ contains only variables, and at least those which occur in $\tau$.
Also see
Sources
- 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\mathrm{II}.7$ First-Order Logic Semantics: Definition $\mathrm{II}.7.3$