Study Notes: Syllogism

Overview

Syllogism is one of the most scoring and predictable topics in SSC MTS reasoning. You'll face 2–4 questions testing your ability to draw valid conclusions from two or three given statements about categories like "All cats are dogs" or "Some books are pens." The beauty of syllogism is that once you master the underlying logic and Venn diagram technique, you can solve any question mechanically in under 60 seconds.

SSC MTS syllogism questions never require real-world knowledge — the statements can be absurd ("All rivers are mountains"). Your job is pure logic: given these premises, which conclusions must be true, might be true, or are definitely false? Master the standard patterns (All-Some-No-None combinations) and the complementary pair rule, and these become free marks. Most errors come from assuming real-world logic or misreading "Some" versus "All."

Understanding syllogism also strengthens your logical reasoning for other topics like statement-conclusion and data sufficiency. Spend 3–4 focused hours on this topic, practice 50–60 questions, and you'll handle anything the exam throws at you.

Key Concepts

• **Statements and conclusions**: You're given 2–3 categorical statements (premises) and 3–4 possible conclusions. Your task is to determine which conclusions logically follow from the statements alone, ignoring real-world facts.

• **Four standard statement types**: (1) Universal affirmative "All A are B" — complete inclusion, (2) Universal negative "No A are B" — complete exclusion, (3) Particular affirmative "Some A are B" — at least partial overlap, (4) Particular negative "Some A are not B" — at least partial non-overlap.

• **Venn diagram method**: Draw circles for each category. "All A are B" means A-circle entirely inside B-circle. "No A are B" means separate circles. "Some A are B" means overlapping circles. This visual technique eliminates guesswork.

• **Complementary pair rule**: In SSC exams, if two conclusions form a complementary pair ("Some A are B" and "Some A are not B" OR "All A are B" and "Some A are not B"), and neither follows individually but together they cover all cases, then "either-or follows" is the answer. This appears frequently.

• **"Some" means at least one**: In logic, "Some A are B" means at least one A is B, possibly all. It does NOT mean "only a few." This misunderstanding causes many wrong answers.

• **Conclusion must be certain, not possible**: A valid conclusion must be true in every scenario consistent with the statements. If a conclusion is only sometimes true, it doesn't follow.

• **Three-statement syllogisms**: SSC sometimes gives three statements. Analyze them pairwise. Check if statement 1+2 yield a conclusion, then combine that with statement 3. The middle term must appear in both premises to link categories.

• **Negative × Negative = No conclusion**: Two negative statements ("No A are B" + "No B are C") never yield a definite conclusion about A and C. Watch for this trap.

Formulas / Key Facts

1. **All A are B + All B are C = All A are C** (transitive chain, definite conclusion). 2. **All A are B + No B are C = No A are C** (exclusion propagates through complete inclusion). 3. **All A are B + Some B are C = No definite conclusion** (Some C might or might not be A). 4. **Some A are B + All B are C = Some A are C** (the overlap with B must be in C). 5. **No A are B + All B are C = No A are C** (if A excludes B, and C is inside B, A excludes C). 6. **Some A are B reversed = Some B are A** (conversion rule for "Some" statements). 7. **Complementary pairs**: (Some are / Some are not) OR (All are / Some are not) — if both individually don't follow but together exhaust possibilities, "Either I or II follows." 8. **Two negative premises = No valid conclusion** (standard logical rule).

Worked Examples

**Example 1: Basic two-statement syllogism**

*Statements*: All books are pens. All pens are erasers.

*Conclusions*: I. All books are erasers. II. Some erasers are books.

*Solution*: Draw three circles. Books ⊂ Pens ⊂ Erasers (nested).

• Conclusion I: "All books are erasers" — since books are inside pens and pens inside erasers, books must be inside erasers. TRUE.
• Conclusion II: "Some erasers are books" — definitely true because all books are erasers, so at least some erasers are books. TRUE.

Both conclusions follow.

---

**Example 2: Complementary pair**

*Statements*: All cats are dogs. All dogs are animals.

*Conclusions*: I. Some animals are cats. II. Some animals are not cats.

*Solution*: Cats ⊂ Dogs ⊂ Animals.

• Conclusion I: "Some animals are cats" — TRUE (all cats are animals, so some animals definitely are cats).
• Conclusion II: "Some animals are not cats" — Cannot be determined. Animals could theoretically be only cats and dogs, or could include other animals. This depends on the size of the animal set.

Only conclusion I follows. (Note: if both conclusions were unable to follow individually but formed a complementary pair, "either-or" would apply, but here I follows definitively.)

---

**Example 3: Negative + Universal**

*Statements*: No flowers are trees. All trees are plants.

*Conclusions*: I. No flowers are plants. II. Some plants are not flowers.

*Solution*: Flowers and Trees are separate circles. Trees ⊂ Plants.

• Conclusion I: "No flowers are plants" — FALSE. Plants include trees (which exclude flowers) but plants could also include flowers in a non-tree part. Not definite.
• Conclusion II: "Some plants are not flowers" — TRUE. Since all trees are plants and no trees are flowers, at least the tree-part of plants are not flowers.

Only conclusion II follows.

---

**Example 4: Three-statement chain**

*Statements*: Some mobiles are tablets. All tablets are gadgets. No gadget is a toy.

*Conclusions*: I. Some mobiles are gadgets. II. No mobile is a toy.

*Solution*:

• From "Some mobiles are tablets" + "All tablets are gadgets" → Some mobiles are gadgets (Conclusion I is TRUE).
• From "Some mobiles are gadgets" + "No gadget is a toy" → Those mobiles that are gadgets cannot be toys. But we don't know about mobiles that aren't tablets. Conclusion II is NOT fully certain for all mobiles.

Only conclusion I follows.

Common Mistakes

1. **Applying real-world logic → Ignore reality**: Students reject "All rivers are mountains" as absurd. Wrong. Treat statements as hypothetical universes. Real-world knowledge must not influence your answer.

2. **Misreading "Some" as "only some, not all" → "Some" includes the possibility of "all"**: In logic, "Some A are B" is true even if all A are B. Don't exclude the universal case.

3. **Assuming possibilities are certainties → Only definite conclusions count**: If a conclusion *might* be true, it doesn't follow. A Venn diagram showing two possible arrangements where one makes the conclusion false means the conclusion doesn't follow.

4. **Forgetting complementary pairs → Check for Either-Or**: When two conclusions seem contradictory or exhaustive, check if they're a complementary pair. If neither follows alone but together they must, mark "Either I or II follows."

5. **Mixing up circle positions in complex diagrams → Draw carefully**: For three categories, label clearly. A common error is putting the wrong circle inside another. Take 10 extra seconds to draw accurately and avoid silly mistakes.

Quick Reference

• Draw Venn diagrams for every syllogism — visual beats mental juggling.
• All + All = definite conclusion; All + Some = usually no conclusion.
• "Some" reverses freely: Some A are B = Some B are A.
• Two negative statements never give a conclusion.
• Complementary pair: Some are / Some are not → Either-or follows if neither alone is certain.
• Ignore real-world facts — treat premises as the only truth in that logical universe.