Category:Scope

This category contains results about Scope in the context of Logic.
Definitions specific to this category can be found in Definitions/Scope.

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