Definition:Assignment for Structure

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\LL_1$ be the 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$.


An assignment for $\AA$ is a mapping $\sigma$ such that:

the codomain of $\sigma$ is $A$
the domain of $\sigma$ is a subset of $\mathrm{VAR}$

That is, the domain of $\sigma$ contains only variables, and maps them to elements of $A$.


Assignment for Term

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$.


Assignment for Formula

Let $\mathbf A$ be a well-formed formula of $\LL_1$.

Denote with $\map V {\mathbf A}$ the variables which occur freely in $\mathbf A$.


An assignment for $\mathbf A$ in $\AA$ is a mapping $\sigma$ with codomain $A$, whose domain is subject to the following condition:

$\map V {\mathbf A} \subseteq \Dom \sigma \subseteq \mathrm{VAR}$

That is, the domain of $\sigma$ contains only variables, and at least those with a free occurrence in $\mathbf A$.


Also see