Definition:Main Connective/Propositional Logic/Definition 3

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