Definition:Main Connective (Propositional Logic)
From ProofWiki
Definition
In a compound statement, exactly one of its logical connectives has the largest scope.
That connective is called the main connective.
The scope of the main connective comprises the entire compound statement.
Also see
This definition is consistent with that of the Main Connective in Propositional Calculus, in which the claim to uniqueness can be proved rigorously.
Sources
- D.J. O'Connor and Betty Powell: Elementary Logic (1980): $\S 1.5$
