Definition:Main Connective/Propositional Logic/Definition 3

From ProofWiki
Jump to: navigation, 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$.


Sources