Category:Definitions/Main Connective

This category contains definitions related to Main Connective.
Related results can be found in Category:Main Connective.

Let $\mathbf C$ be a WFF of propositional logic.

Let $\circ$ be a binary connective.

Then $\circ$ is the main connective if and only if the scope of $\circ$ is $\mathbf C$.