Definition:Main Connective/Propositional Logic/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf C$ be a WFF of propositional logic.

Let $\circ$ be a binary connective.


Then $\circ$ is the main connective iff the scope of $\circ$ is $\mathbf C$.


Also see


Sources