Definition:Scope (Logic)/Connective

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\LL_0$ be the language of propositional logic.

Let $\circ$ be a connective of $\LL_0$.

Let $\mathbf W$ be a well-formed formula of $\LL_0$.

Definition 1

The scope of an occurrence of $\circ$ in $\mathbf W$ is defined as:

the smallest well-formed part of $\mathbf W$ containing this occurrence of $\circ$.


Definition 2

The scope of an occurrence of $\circ$ in $\mathbf W$ is defined as:

the set of statements that it connects, whether simple or compound.


Non-Equivalence of Definitions

Definition:Scope of Connective/Non-Equivalence

Also see


Sources