Scope (Logic)/Examples/Arbitrary Example 2
Jump to navigation
Jump to search
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$.