Introduction
Complementary Pair / Possibility Logic covers questions where two opposite conclusions compete to cover all logical outcomes. In formal logic a complementary (Either-Or) relation arises from contradictory conclusions (one must be true, the other false). In competitive exam practice you’ll also see an applied form: when information is weak the pair Some A are B / Some A are not B behaves like an Either-Or - not because it is a formal contradiction, but because uncertainty makes one of them necessarily true in the question’s context.
Mastering this distinction stops two common errors: treating subcontraries (I/O) as formal contradictions, and missing true contradictory pairs (A-O, E-I) that force Either-Or conclusions.
Pattern: Complementary Pair / Possibility Logic
Pattern
The key idea: Complementary (Either-Or) pairs are built on contradiction - formally A vs O or E vs I - but in exam settings I vs O is often treated as complementary when premises leave the relation between extremes uncertain.
Rules to apply:
- Formal contradictory pairs: A-O (All A are B ⇄ Some A are not B) and E-I (No A is B ⇄ Some A are B). These are true logical contradictions: one must be true, the other false.
- Applied exam pair (I-O): Some A are B vs Some A are not B - technically subcontrary (both can be true), but when premises give no universal information the question-writer treats them as an Either-Or covering the remaining possibilities. Always state this explicitly in your reasoning.
- Check whether premises permit a universal deduction; if a universal follows, complementary nature collapses (one side becomes provably true, the other false).
- When uncertain, prefer an Either-Or answer only after verifying no premise forces either side.
Step-by-Step Example
Question
Statements:
1️⃣ All teachers are readers.
2️⃣ Some readers are not writers.
Conclusions:
I. Some teachers are writers.
II. Some teachers are not writers.
Options:
A. Only Conclusion I follows.
B. Only Conclusion II follows.
C. Either I or II follows.
D. Neither I nor II follows.
Solution
Step 1: Restate premises
All Teachers ⊂ Readers (universal affirmative). Some Readers are not Writers (particular negative).Step 2: Consider possibility where Conclusion I is true and II false
If all Teachers lie inside the Readers → Writers region, then Some Teachers are Writers is true and Some Teachers are not Writers is false.Step 3: Consider possibility where Conclusion II is true and I false
If all Teachers lie inside the Readers → non-Writers region, then Some Teachers are not Writers is true and Some Teachers are Writers is false.Step 4: Conclude
Because both opposite outcomes are logically possible under the given premises, neither conclusion is forced by the premises - they are both only possible, not necessary.Final Answer:
Neither I nor II follows. → Option DQuick Check:
Some Readers are not Writers does not distribute Readers in a way that compels any information about the Teachers subset; therefore neither particular conclusion is guaranteed. ✅
Quick Variations
1. A-O (All vs Some-not): formal contradiction - one true, one false.
2. E-I (No vs Some): formal contradiction - one true, one false.
3. I-O (Some vs Some-not): subcontrary - both can be true; treat as Either-Or in exam questions only when premises are explicitly ambiguous.
4. When a universal is provable (All/No), the complementary option that contradicts it is immediately falsified.
Trick to Always Use
- Identify if conclusions form a formal contradictory pair (A-O or E-I). If so, one must follow.
- If the pair is I-O, check premises carefully - use a Venn diagram to see whether either side is forced; if neither is forced, treat as Either-Or only as an exam convention.
- Prefer explicit wording in your answer: state why the pair is complementary (formal contradiction vs. contextual uncertainty).
- Never assume I-O is a formal contradiction - call it a practical Either-Or and justify why it applies in the given problem.
Summary
Summary
- Formal contradictory pairs: A-O (All / Some not) and E-I (No / Some) - one must be true, the other false.
- The I-O pair (Some / Some not) is a subcontrary; it is only treated as Either-Or in exams when premises leave the relation between terms ambiguous.
- Always check for universals in premises; a provable All/No will remove complementary ambiguity.
- When uncertain, draw a quick Venn and explicitly state whether complementarity is formal (contradiction) or contextual (possibility-based).
Example to remember:
All A are B; Some B are not C ⇒ “Some A are C” and “Some A are not C” act as a Complementary (Either-Or) pair under uncertainty - but this is an applied exam convention, not a formal contradiction. ✅
