Definition:Scope


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