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$.

Scopes for Connectives and Quantifiers in the formula: $\exists x: \paren { x < y} \lor y = 0$

Scope (Logic)/Connective Scope (Logic)/Connective Scope (Logic)/Connective Scope 1 Scope 2 $ = $ $ y=0 $ $ y $ $ 0 $ $ \lor $ $\exists x: \paren { x < y } \lor y=0 $ $\exists x: \paren { x < y } $ $ y=0 $ Quantifier Scope (Logic)/Quantifier Scope $\exists x$ $\exists x: \paren{ x < y } $ $ x < y $

Work In Progress In particular: Sorry, I'm working on this You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{WIP}} from the code.

Sources

• 1972: Patrick Suppes: Axiomatic Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$ Logic and Notation