Definition:Main Connective/Propositional Logic

Definition 1
Currently at /Definition 1

Definition 2
Currently at /Definition 2

Definition 3
Currently at /Definition 3

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