Category:Definitions/Scope

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Scope in the context of Logic.
Related results can be found in Category: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$.