\begin{definition}[Definition:Main Connective/Propositional Logic/Definition 1]
Let $\mathbf C$ be a WFF of propositional logic.
Let $\circ$ be a binary connective.
Then $\circ$ is the '''main connective''' {{iff}} the scope of $\circ$ is $\mathbf C$.
\end{definition}