Scope (logic)
Range of application for a quantifier or connective in a logical formula / From Wikipedia, the free encyclopedia
In logic, the scope of a quantifier or connective is the shortest formula in which it occurs,[1] determining the range in the formula to which the quantifier or connective is applied.[2][3][4] The notions of a free variable and bound variable are defined in terms of whether that formula is within the scope of a quantifier,[2][5] and the notions of a dominant connective and subordinate connective are defined in terms of whether a connective includes another within its scope.[6][7]