Definition:Main Connective/Propositional Logic



Also known as
The main connective is sometimes also called the principal operator.

Also see

 * Equivalence of Definitions of Main Connective
 * Unique Readability Theorem of Propositional Logic