Scope (logic)
Range of application for a quantifier or connective in a logical formula / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Scope (logic)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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]