Definition:Scope (Logic)/Quantifier

From ProofWiki
Jump to navigation Jump to search


Let $\mathbf A$ be a WFF of the language of predicate logic.

Let $Q$ be an occurrence of a quantifier in $\mathbf A$.

Let $\mathbf B$ be a well-formed part of $\mathbf A$ such that $\mathbf B$ begins (omitting outer parentheses) with $Q x$.

That is, such that $\mathbf B = \paren {Q x: \mathbf C}$ for some WFF $\mathbf C$.

$\mathbf B$ is called the scope of the quantifier $Q$.

Also see