Scope (Logic)/Examples/Arbitrary Example 2

Example of Scope in the context of Logic

Consider the statement:

$\paren {p \land \paren {q \lor r} } \implies \paren {s \iff \neg \, t}$

We have:

$(1): \quad$ The scope of $\land$ is $p$ and $\paren {q \lor r}$.

$(2): \quad$ The scope of $\lor$ is $q$ and $r$.

$(3): \quad$ The scope of $\implies$ is $\paren {p \land \paren {q \lor r} }$ and $\paren {s \iff \neg \, t}$.

$(4): \quad$ The scope of $\iff$ is $s$ and $\neg \, t$.

$(5): \quad$ The scope of $\neg$ is $t$.