Definition:Main Connective/Propositional Logic/Definition 1
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 if and only if the scope of $\circ$ is $\mathbf C$.
Also see
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $1$ Formation Rules