Scope (Logic)/Examples/Arbitrary Example 3

Example of Scope in the context of Logic
Consider the statement:
 * $\exists x: \paren {x < y} \lor y = 0$

We have:
 * $(1): \quad$ The scope of $\exists$ is $x$.
 * $(2): \quad$ The scope of $\exists x$ is $\exists x: \paren {x < y}$.
 * $(3): \quad$ The scope of $=$ is $y$ and $0$.
 * $(4): \quad$ The scope of $\lor$ is $\exists x: \paren {x < y}$ and $y = 0$.