Syllogism
🔒 Log in to trackEither-or (complementary pairs)
🔒 Log in to trackSometimes neither conclusion follows on its own, but they are exact opposites. Then one of them is true in every picture, and the answer is 'Either I or II follows'.
Only two shapes of pairs qualify. Always test each conclusion alone first.
What an either-or pair is
Sometimes neither conclusion follows on its own, but the two conclusions are exact opposites. Then one of them is true in every picture. The answer is Either I or II follows.
This is logic, not luck. If two conclusions are negations of each other, no picture can make both false.
The two legal pairs
Both conclusions must use the same two terms, in either order.
| Pair | Why it covers every case |
|---|---|
| All A are B and Some A are not B | Either every A is inside B, or one A is outside. |
| Some A are B and No A are B | Either A and B meet, or they do not. |
The three-step test
- Check the pair. Same two terms? One of the two legal shapes? If not, there is no either-or.
- Test each conclusion alone. If one follows, the answer is 'Only I' or 'Only II'.
- If neither follows alone, the answer is 'Either I or II follows'.
Rule: Always do step 2 before step 3. A conclusion that follows alone rules out either-or.
Pairs that look right but are not
- Different terms. 'All A are B' and 'Some A are not C' are not opposites.
- No and Some-not. Both can be false. A group inside B has some A in B, but no A outside B.
- All and No. Both can be false when A partly overlaps B.
- Some and Some-not. Both can be true together, so exams do not treat them as a pair.
Watch: Two conclusions that are both false at the same time are never an either-or pair.
Extra statements
With three statements, ignore the extra one while you check the pair shape. It matters only in step 2, where it may prove one conclusion alone.
Where it shows up in the options
The option 'Either I or II follows' appears only when the answer is truly either-or. If you see it, do not pick it by habit.
Check the pair shape and run the alone test before you choose it.
Why the pairs work
Take 'All A are B' and 'Some A are not B'. A is either entirely inside B or not. There is no third case.
Take 'Some A are B' and 'No A are B'. The two groups either share a member or they share none. Again there is no third case.
A worked example
Statements
- All keys are metals.
Conclusions
- I. Some keys are iron.
- II. No keys are iron.
Options
- (A) Either I or II follows
- (B) Neither I nor II follows
- (C) Only I follows
- (D) Only II follows
Solution
- Same two terms: keys and iron. The pair is 'Some' and 'No'.
- The statement does not link keys to iron, so neither follows alone.
- Keys and iron either share a member or do not. One of the two is always true.
Answer: (A) Either I or II follows.
Question types you will see
Each type: how to recognise it, the method step by step, and one question to try.
(All, Some-not) complementary pair
Conclusions 'All A are B' and 'Some A are not B'. The same two terms, and neither follows alone.
Check that the terms match.
Test each conclusion alone.
If neither follows, choose 'Either I or II'.
A is either wholly inside B or partly outside. No third case exists.
Statements
- All rings are metals.
- Some metals are heavy.
Conclusions
- I. All rings are heavy.
- II. Some rings are not heavy.
Options
- (A) Only I follows
- (B) Only II follows
- (C) Either I or II follows
- (D) Neither I nor II follows
Show solutionHide solution
Same two terms: rings and heavy. The pair is 'All' and 'Some-not'.
Test each alone. The statements do not fix how rings relate to heavy. Neither follows alone.
Either every ring is heavy, or some ring is not. Nothing else can happen.
(C) Either I or II follows
(Some, No) complementary pair
Conclusions 'Some A are B' and 'No A are B' on the same two terms.
Check the terms and the pair shape.
Test each alone.
If neither follows, choose either-or.
Two groups either share a member or they do not.
Statements
- All keys are metals.
Conclusions
- I. Some keys are iron.
- II. No keys are iron.
Options
- (A) Either I or II follows
- (B) Neither I nor II follows
- (C) Only I follows
- (D) Only II follows
Show solutionHide solution
Same two terms: keys and iron. The pair is 'Some' and 'No'.
The statement does not link keys to iron, so neither follows alone.
Keys and iron either share a member or do not. One of the two is always true.
(A) Either I or II follows
Fake complementary pair
The conclusions look like a pair but use different terms, or use (No, Some-not), or one follows alone.
Compare the terms word by word.
Reject the (No, Some-not) shape.
If one conclusion follows alone, answer that one.
Both conclusions can be false together, so the either-or argument breaks.
Statements
- All cups are dishes.
- Some dishes are pots.
Conclusions
- I. No cups are pots.
- II. Some cups are not pots.
Options
- (A) Neither I nor II follows
- (B) Only I follows
- (C) Only II follows
- (D) Both I and II follow
Show solutionHide solution
The pair is 'No' and 'Some-not'. That is not a complementary pair.
Draw every cup inside pots. Then I fails, and II fails as well.
Both can be false together, so there is no either-or. The answer is neither.
(A) Neither I nor II follows
Either-or with three statements
Three statements, but the two conclusions only ask about one pair of terms.
Ignore the extra statements while you check the pair shape.
Test each conclusion alone. An extra statement might prove one.
If neither is proved, choose either-or.
The pair argument needs only the two conclusions.
Statements
- All pens are books.
- No books are files.
- Some files are bags.
Conclusions
- I. Some bags are pens.
- II. No bags are pens.
Options
- (A) Only II follows
- (B) Either I or II follows
- (C) Neither I nor II follows
- (D) Only I follows
Show solutionHide solution
The conclusions use bags and pens. They form the pair 'Some' and 'No'.
A bag can be a pen, and a bag can fail to be one. Neither follows alone.
The other statements do not settle the bags-pens link. So the answer is either-or.
(B) Either I or II follows
One of the pair is provable
The conclusions form a legal pair, but the statements give a chain that settles one of them.
Notice the legal pair.
Do not stop there. Test each conclusion alone first.
If one follows, answer 'Only' that one.
A conclusion that follows in every picture makes its opposite false in every picture.
Statements
- All pens are books.
- All books are files.
Conclusions
- I. All pens are files.
- II. Some pens are not files.
Options
- (A) Only I follows
- (B) Only II follows
- (C) Both I and II follow
- (D) Neither I nor II follows
Show solutionHide solution
The pair is 'All' and 'Some-not', so it looks like an either-or.
Test each alone first. Chain the statements: all pens are files. I follows.
Because I follows alone, the answer is 'Only I'. Never choose either-or here.
(A) Only I follows
Shortcuts that save time
Look for (All, Some-not) or (Some, No) on the same two terms. Then test each alone.
I. Some shirts are red. II. No shirts are red. The statements never mention red. Answer?
Show solutionHide solution
Same terms, and the pair is Some and No.
Neither follows alone.
So one of them holds in every picture.
Either I or II follows.
Mistakes to avoid
Where most students lose marks on this subtopic.
Choosing either-or when one conclusion follows alone.
Test each conclusion alone first. If one follows, choose 'Only I' or 'Only II'.
Treating 'No' and 'Some-not' as an opposite pair.
They can both be false. Only (All, Some-not) and (Some, No) are opposites.
Pairing conclusions that use different terms.
Both conclusions must use the same two terms.
Treating 'All' and 'No' as a pair.
Both are false when A only partly overlaps B.
Skipping the pair check because the statements are long.
Extra statements only matter in the alone test. The pair shape decides the rest.
Quick revision
Read this the night before the exam.
Either-or needs neither conclusion alone and an exact opposite pair.
Legal pairs: (All, Some-not) and (Some, No), on the same two terms.
(No, Some-not) and (All, No) can both be false. They are not pairs.
Test each conclusion alone first. One that follows ends the either-or idea.
Extra statements do not change the pair shape.
Practice: 12 questions
Sets of 10, mixed across the question types above. Every answer has a step-by-step explanation.
Topic test · 12 questions
Suggested time 10 min · wrong answers go to your mistake notebook automatically.