Every compound proposition has exactly one main connective — the connective that governs the formula as a whole. Identifying it tells you what kind of statement you're dealing with, and is the first step in building a truth table.
What is it?
The main connective is the connective with the widest scope — the last one applied when the formula is built up, and the one that connects the largest parts of the formula.
A formula is named after its main connective: a formula whose main connective is → is called a conditional; one whose main connective is ∧ is a conjunction; and so on.
1
Three Rules for Finding It
Work from the outside in. Parentheses narrow scope — connectives inside parentheses are subordinate to connectives outside them.
1
If the formula has no parentheses, the main connective is the only connective — or the one with the widest reach.
Example: P ∧ Q — the ∧ is the main connective. ~P — the ~ is the main connective.
2
A connective outside all parentheses is always the main connective.
Example: (P ∧ Q) → R — the → sits outside the parentheses, so it governs the whole formula. The ∧ is inside and subordinate.
3
If the entire formula is wrapped in one set of parentheses, remove them and apply rules 1 and 2 again.
Example: ((P ∨ Q) ∧ R) — strip the outer parens → (P ∨ Q) ∧ R → the ∧ is now outside all remaining parentheses. That's the main connective.
2
Worked Examples
Example 1 · Simple
P → (Q ∧ R)
1
Look for any connective sitting outside all parentheses.
2
The ∧ is inside parentheses. The → is outside. Done.
P →(Q ∧ R)
→
Main connective: → · This formula is a conditional.
Example 2 · Negation of a group
~(P ∨ Q)
1
The ∨ is inside parentheses.
2
The ~ sits outside all parentheses — it negates the entire group (P ∨ Q), not just P.
~(P ∨ Q)
→
Main connective: ~ · This formula is a negation.
Example 3 · Nested parentheses
(P ∧ Q) ↔ (~P ∨ R)
1
Identify what's inside each set of parentheses: (P ∧ Q) and (~P ∨ R).
2
The ↔ connects those two groups from outside both sets of parentheses.
3
The ∧, ~, and ∨ are all inside parentheses — subordinate.
(P ∧ Q)↔(~P ∨ R)
→
Main connective: ↔ · This formula is a biconditional.
Example 4 · Easy to mix up
~P ∧ Q vs ~(P ∧ Q)
!
These two look similar but are completely different formulas with different main connectives.
~P ∧ Q
~P ∧ Q
~ only negates P. Main connective: ∧ (conjunction)
~(P ∧ Q)
~(P ∧ Q)
~ negates the whole group. Main connective: ~ (negation)
The key insight: Parentheses create scope. A connective can only be the main connective if it isn't trapped inside someone else's parentheses. When in doubt, ask: what is this connective connecting? The one connecting the biggest pieces is the main connective.
?
Challenge Problems
For each formula below, identify the main connective and name the type of statement it is.