\begin{definition}[Definition:Main Connective/Propositional Logic/Definition 3]
Let $T$ be a WFF of propositional logic in the labeled tree specification.
Suppose $T$ has more than one node.
Then the label of the root of $T$ is called the '''main connective''' of $T$.
\end{definition}