Syllogism — Study Notes for SSC CHSL

Overview

Syllogism tests your ability to draw logical conclusions from two or three statements containing quantifiers like "all," "some," or "no." In SSC CHSL Tier 1, expect 1–3 questions per paper. These problems follow strict formal logic rules—your everyday intuition can mislead you, so mastering the Venn diagram method and formal validity rules is essential.

The exam typically gives you two premises (sometimes three) about categories (e.g., "All cats are animals; Some animals are dogs") followed by two or four numbered conclusions. You must determine which conclusions logically follow. Common answer formats include "Only I follows," "Only II follows," "Both follow," "Either I or II follows," or "Neither follows." Accuracy here depends on methodical checking rather than speed-reading, so practice drawing quick Venn diagrams mentally or on scrap paper.

Syllogism sits among higher-scoring reasoning topics because it's rule-based—once you internalize the patterns, you rarely make mistakes. Dedicate time to understanding the "Either-Or" case and the "Some not" conversion, as these trip up many students.

Key Concepts

• **Universal affirmative (A)**: "All X are Y" means every member of X is inside Y. Does not mean all Y are X.
• **Universal negative (E)**: "No X are Y" means X and Y share zero members—completely separate circles in a Venn diagram.
• **Particular affirmative (I)**: "Some X are Y" means at least one member is common. "Some" in logic means "at least one," possibly all.
• **Particular negative (O)**: "Some X are not Y" means at least one member of X lies outside Y.
• **Complementary pair (Either-Or)**: If two conclusions form an A–E or I–O pair on the same subjects (e.g., "All X are Y" vs "No X are Y"), and neither follows individually, then "Either I or II follows" is correct.
• **Conversion rules**: "No X are Y" converts to "No Y are X" (always valid). "Some X are Y" converts to "Some Y are X" (always valid). "All X are Y" does NOT convert—"All Y are X" is not logically guaranteed.
• **Mediate term elimination**: Valid syllogisms connect two statements via a common middle term that disappears in the conclusion. The middle term must be distributed (refer to all members) at least once in the premises.

Formulas / Key Facts

1. **All A are B + All B are C → All A are C** (transitive chain; most common inference). 2. **All A are B + No B are C → No A are C** (if B is entirely in C's complement, so is A). 3. **All A are B + Some B are C → No definite conclusion about A and C** (the "some B" might or might not overlap A). 4. **Some A are B + All B are C → Some A are C** (the overlap in B carries into C). 5. **No A are B + No B are C → No conclusion about A and C** (two negatives don't combine). 6. **Some A are B + Some B are C → No definite conclusion about A and C** (two particulars don't yield a universal or even a definite particular). 7. **Possibility conclusions**: If a conclusion is *possible* but not certain, mark it as not following. CHSL asks only for definite logical necessity, not possibility. 8. **Either-Or rule**: Applies only when conclusions are immediate complements (All/No or Some/Some not) and neither follows individually from the premises.

Worked Examples

**Example 1** *Statements:* All books are papers. All papers are notes. *Conclusions:* I. All books are notes. II. Some notes are books.

*Solution:* Draw Venn: Books ⊂ Papers ⊂ Notes (nested circles). Conclusion I: "All books are notes" — since books lie entirely inside papers and papers entirely inside notes, books are entirely inside notes. **Follows**. Conclusion II: "Some notes are books" — equivalent to "Some books are notes" by conversion, which is weaker than "All books are notes." Since the stronger statement is true, the weaker is also true. **Follows**. *Answer:* Both I and II follow.

---

**Example 2** *Statements:* Some pens are pencils. No pencil is eraser. *Conclusions:* I. Some pens are erasers. II. No pen is eraser.

*Solution:* Draw Venn: Pens and Pencils overlap (some members common). Pencils and Erasers are separate (no overlap). The overlapping region (Pens ∩ Pencils) cannot touch Erasers. But the non-overlapping part of Pens is unrestricted—it might or might not overlap Erasers. Conclusion I: "Some pens are erasers" — not necessarily true; the non-overlapping pens could be entirely outside erasers. Conclusion II: "No pen is eraser" — also not necessarily true; some pens (outside the pencil region) could be erasers. Neither conclusion is definite, but they form a complementary E–I pair. Check: "No pen is eraser" (E) vs "Some pens are erasers" (I). Since neither follows individually and they are complements, **Either I or II follows**. *Answer:* Either I or II follows.

---

**Example 3** *Statements:* All managers are leaders. Some leaders are women. *Conclusions:* I. Some managers are women. II. All women are managers.

*Solution:* Managers ⊂ Leaders (all managers inside leaders circle). Some Leaders are Women (overlap between Leaders and Women). The "some leaders" that are women might be entirely outside the Managers subset or might overlap it—no information forces them to overlap. Conclusion I: "Some managers are women" — not guaranteed. **Does not follow**. Conclusion II: "All women are managers" — absurd and unsupported. **Does not follow**. *Answer:* Neither I nor II follows.

Common Mistakes

1. **Assuming "Some" means "only some" or "not all"**: In formal logic, "Some X are Y" allows for the possibility that all X are Y. Students often think "some" excludes "all," leading to wrong negations. *Fix:* Treat "some" as "at least one, possibly more, possibly all."

2. **Illegally converting "All A are B" to "All B are A"**: Conversion of universal affirmatives is invalid. *Fix:* Only "No" and "Some" statements convert. "All A are B" does not imply "All B are A."

3. **Combining two negative premises**: "No A are B" + "No B are C" yields no valid conclusion about A and C. *Fix:* Remember two negatives never produce a positive link. Mark "no conclusion" unless an Either-Or applies.

4. **Confusing "Either-Or" with random guessing**: Students pick "Either I or II" even when conclusions aren't complementary pairs. *Fix:* Either-Or applies only to immediate A–E or I–O pairs on the same two categories where neither follows individually.

5. **Ignoring distribution in three-statement syllogisms**: In longer chains, forgetting which terms are distributed can cause errors. *Fix:* Check that the middle term (linking the premises) is distributed at least once. If not, no valid conclusion can be drawn.

Quick Reference

• **All/No/Some/Some not** — memorise A, E, I, O notation for speed.
• **Valid chains**: All–All, All–No, Some–All yield conclusions; two particulars or two negatives don't.
• **Conversion**: Only E and I statements convert validly.
• **Either-Or**: Use only for complementary pairs when neither follows alone.
• **Draw Venn diagrams** for tricky cases—visual proof beats intuition.
• **"Some" ≥ 1**: Could mean one, many, or even all members—never assume exclusion.