Definition:Scope


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