Scope

Definition

Scope is the part of an expression controlled by a symbol, operator, or quantifier.

Example:

NOT (P AND Q)

The scope of NOT is:

(P AND Q)

That means NOT applies to the whole compound expression, not just P.

Scope tells what a symbol or operator applies to.

---

Scope Of NOT

Compare:

NOT (P AND Q)

with:

(NOT P) AND Q

These are different.

In the first expression, NOT applies to the whole AND statement.

In the second expression, NOT applies only to P.

Changing scope changes meaning.

---

Scope Of Quantifiers

Quantifiers also have scope.

Example:

For every x, P(x) AND Q(x)

This can mean:

For every x, both P(x) and Q(x)

The quantifier controls both predicates if both are inside its scope.

Parentheses make this clear:

For every x, (P(x) AND Q(x))

Quantifier scope tells which expression uses the quantified variable.

---

Ambiguous Scope

Without clear grouping, expressions can become ambiguous.

Example:

NOT P AND Q

Does this mean:

(NOT P) AND Q

or:

NOT (P AND Q)

Those have different meanings.

Parentheses remove ambiguity.

Clear scope prevents misreading.

---

Why Scope Matters

Reasoning depends on applying rules to the right part of an expression.

If scope is wrong, the transformation can be wrong.

Example:

NOT (P AND Q)

is not the same as:

(NOT P) AND Q

The difference matters for truth value.

Correct reasoning requires correct scope.

---

Final Summary

• Scope is the part of an expression controlled by a symbol, operator, or quantifier.
• NOT can apply to one proposition or a whole compound expression.
• Quantifiers have scope over expressions containing their variables.
• Ambiguous scope can change meaning.
• Parentheses make scope explicit.
• Correct scope is required for valid symbolic reasoning.