Definition:Scope of Occurrence
Jump to navigation Jump to search
Let $\mathbf A$ be a well-formed formula of $\mathcal F$.
Let $a$ be a fixed occurrence of some element of $\mathcal A$ in $\mathbf A$.
Then the scope of $a$ is the smallest well-formed part of $\mathbf A$ that contains $a$.
- Definition:Scope (Logic), highlighting two of the most common usages of scopes