Definition:Scope (Logic)

Definition
The scope of a logical connective is defined as the statements that it connects, whether this be simple or compound.

In the case of a unary connective, there will be only one such statement.

Examples
Let $\circ$ be a binary logical connective in a compound statement $p \circ q$.

The scope of $\circ$ is $p$ and $q$.

Consider the statement:
 * $\paren {p \land \paren {q \lor r} } \implies \paren {s \iff \neg \, t}$


 * 1) The scope of $\land$ is $p$ and $\paren {q \lor r}$.
 * 2) The scope of $\lor$ is $q$ and $r$.
 * 3) The scope of $\implies$ is $\paren {p \land \paren {q \lor r} }$ and $\paren {s \iff \neg \, t}$.
 * 4) The scope of $\iff$ is $s$ and $\neg \, t$.
 * 5) The scope of $\neg$ is $t$.