# Definition:Main Connective/Propositional Logic/Definition 3

Jump to navigation Jump to search

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