Definition:Scope
From ProofWiki
Disambiguation
This page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.
Scope may refer to:
- Scope (Logic): The statements that a logical connective connects, whether this be simple or compound. In the case of a unary connective, there will be only one such statement.
- Scope (Propositional Calculus): The scope of a connective in a well-formed formula is the shortest well-formed part of that well-formed formula containing this connective.
- Scope (Predicate Calculus) The scope of a quantifier in a well-formed formula is a well-formed part of that well-formed formula which begins with that quantifier.
