\begin{definition}[Definition:Scope (Logic)/Connective]
Let $\LL_0$ be the language of propositional logic.
Let $\circ$ be a connective of $\LL_0$.
Let $\mathbf W$ be a well-formed formula of $\LL_0$.
The '''scope''' of an occurrence of $\circ$ in $\mathbf W$ is the smallest well-formed part of $\mathbf W$ containing this occurrence of $\circ$.
\end{definition}