0
0

Complementary Pair / Possibility Logic

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

  1. Step 1: Restate premises

    All Teachers ⊂ Readers (universal affirmative). Some Readers are not Writers (particular negative).
  2. 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.
  3. 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.
  4. 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.
  5. Final Answer:

    Neither I nor II follows. → Option D
  6. Quick 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. ✅

Practice

(1/5)
1. Statements: 1️⃣ All apples are fruits. 2️⃣ Some fruits are not sweet. Conclusions: I. Some apples are sweet. II. Some apples are not sweet.
easy
A. Only Conclusion I follows
B. Only Conclusion II follows
C. Either I or II follows
D. Neither I nor II follows

Solution

  1. Step 1: Restate premises

    All Apples ⊂ Fruits; Some Fruits are not Sweet ⇒ the apple-sweet relation is uncertain.
  2. Step 2: Test conclusions

    ‘Some apples are sweet’ ❌ (not guaranteed); ‘Some apples are not sweet’ ❌ (also not guaranteed).
  3. Step 3: Apply complementary logic

    Both statements are opposite particular forms (Some / Some not) about the same subject-predicate pair, and the premises leave uncertainty → they act as a complementary pair.
  4. Final Answer:

    Either I or II follows. → Option C
  5. Quick Check:

    Uncertain relation + opposite conclusions ⇒ Either-Or (Complementary). ✅
Hint: When the link between sets is undefined, 'Some' and 'Some not' form a valid complementary pair.
Common Mistakes: Treating one conclusion as definite without checking uncertainty.
2. Statements: 1️⃣ No pen is a pencil. 2️⃣ All pencils are stationery. Conclusions: I. Some pens are stationery. II. Some pens are not stationery.
easy
A. Only Conclusion I follows
B. Either I or II follows
C. Only Conclusion II follows
D. Neither I nor II follows

Solution

  1. Step 1: Connect sets

    No Pen ↔ Pencil; All Pencils ⊂ Stationery. So, Stationery includes Pencils; Pens are outside Pencils but may or may not overlap with Stationery.
  2. Step 2: Evaluate conclusions

    ‘Some pens are stationery’ ❌ (not known). ‘Some pens are not stationery’ ❌ (also not known).
  3. Step 3: Apply complementary rule

    Both conclusions are opposite and uncertain → form a complementary (Either-Or) pair.
  4. Final Answer:

    Either I or II follows. → Option B
  5. Quick Check:

    When disjoint data doesn’t define overlap, opposite particulars (Some/Some not) act as Either-Or. ✅
Hint: No + All setup often leaves the third term’s relation undefined → Complementary pair applies.
Common Mistakes: Assuming 'No Pen ↔ Pencil' means 'No Pen ↔ Stationery' directly.
3. Statements: 1️⃣ All cars are vehicles. 2️⃣ Some vehicles are not bikes. Conclusions: I. Some cars are bikes. II. Some cars are not bikes.
medium
A. Either I or II follows
B. Only Conclusion II follows
C. Only Conclusion I follows
D. Neither I nor II follows

Solution

  1. Step 1: Restate premises

    All Cars ⊂ Vehicles; Some Vehicles are not Bikes.
  2. Step 2: Check overlap

    Cars are part of Vehicles; the vehicle portion not being bikes could include or exclude Cars - uncertainty remains.
  3. Step 3: Apply complementary logic

    Since relation between Cars and Bikes is uncertain, ‘Some cars are bikes’ and ‘Some cars are not bikes’ form a complementary (Either-Or) pair.
  4. Final Answer:

    Either I or II follows. → Option A
  5. Quick Check:

    ‘All + Some not’ → Uncertain relation for subset → Complementary. ✅
Hint: ‘All + Some not’ leaves subset ambiguous; opposite conclusions form Either-Or.
Common Mistakes: Inferring ‘Some cars are not bikes’ as definite without reasoning ambiguity.
4. Statements: 1️⃣ All books are pages. 2️⃣ No page is plastic. Conclusions: I. Some books are plastic. II. Some books are not plastic.
medium
A. Only Conclusion II follows
B. Either I or II follows
C. Only Conclusion I follows
D. Both I and II follow

Solution

  1. Step 1: Analyze premises

    All Books ⊂ Pages; No Page ↔ Plastic ⇒ No Book ↔ Plastic.
  2. Step 2: Evaluate conclusions

    ‘Some books are plastic’ contradicts the universal negative. ❌ ‘Some books are not plastic’ directly follows from ‘No Book ↔ Plastic’. ✅
  3. Final Answer:

    Only Conclusion II follows. → Option A
  4. Quick Check:

    Universal negative implies the particular negative always follows. ✅
Hint: ‘No’ statement always validates ‘Some not’.
Common Mistakes: Choosing Either-Or even when one conclusion is clearly false by premise.
5. Statements: 1️⃣ No engineer is a doctor. 2️⃣ Some doctors are artists. Conclusions: I. Some engineers are artists. II. Some engineers are not artists.
medium
A. Only Conclusion I follows
B. Only Conclusion II follows
C. Either I or II follows
D. Neither I nor II follows

Solution

  1. Step 1: Restate premises

    No Engineer ↔ Doctor; Some Doctors ↔ Artists.
  2. Step 2: Evaluate link

    Engineers are fully outside Doctors; Doctors overlap Artists - hence Engineers’ relation to Artists is unknown.
  3. Step 3: Apply complementary logic

    ‘Some engineers are artists’ and ‘Some engineers are not artists’ are opposite possibilities, and both can’t be true together - one must be true logically. Hence, Either-Or follows.
  4. Final Answer:

    Either I or II follows. → Option C
  5. Quick Check:

    Disjoint first premise + partial overlap second premise = Uncertainty ⇒ Complementary (Either-Or). ✅
Hint: When first premise disconnects A from middle term, second premise’s partial overlap causes ambiguity → Complementary pair applies.
Common Mistakes: Declaring ‘Neither’ without recognizing uncertainty supports Either-Or.

Mock Test

Ready for a challenge?

Take a 10-minute AI-powered test with 10 questions (Easy-Medium-Hard mix) and get instant SWOT analysis of your performance!

10 Questions
5 Minutes