Definition:Scope
Jump to navigation
Jump to search
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 of an Occurrence: The smallest well-formed part containing a given occurrence in a well-formed formula
- 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.
This subsumes the definitions:
- Scope of a Connective: The scope of a connective in a well-formed formula of propositional logic is the shortest well-formed part of that well-formed formula containing this connective.
- Scope of a Quantifier The scope of a quantifier in a WFF of predicate logic is a well-formed part of that well-formed formula which begins with that quantifier.
This article is complete as far as it goes, but it could do with expansion. In particular: Other types of "scope", potentially outside the realm of logic You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. 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 {{Expand}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |