Syllogism — Study Notes

Overview

Syllogism is one of the most predictable topics in SSC GD reasoning, typically yielding 2–4 questions per paper. It tests your ability to draw logical conclusions from two given statements using categorical quantifiers: "All," "Some," and "No." Unlike other reasoning topics that require spatial or verbal tricks, syllogism follows strict logical rules—master the method once, and you score every time.

In the exam, you will see two statements about categories (e.g., "All cats are animals," "Some animals are dogs") followed by two to four conclusions. Your job is to determine which conclusions definitely follow from the statements, ignoring real-world knowledge. A statement might say "All pens are chairs"—absurd in reality, but you must accept it as true within the problem. Success here depends on understanding Venn diagram representations and recognizing standard valid patterns. Students who skip this topic miss easy marks; those who practice 30–40 problems gain near-perfect accuracy.

The SSC GD syllogism problems are simpler than those in SSC CGL or Bank PO exams—usually two statements and straightforward conclusions. Focus on the core rules, practice drawing quick mental Venn diagrams, and learn to spot "either-or" cases where two conclusions together cover all possibilities.

Key Concepts

• **Categorical statements**: Syllogism uses four types—Universal Affirmative (All A are B), Universal Negative (No A are B), Particular Affirmative (Some A are B), and Particular Negative (Some A are not B). Each has a distinct logical meaning.

• **Venn diagram method**: Represent each statement as overlapping or separate circles. "All A are B" means circle A lies entirely inside B. "No A are B" means circles A and B do not touch. "Some A are B" means circles overlap partially. This visual method eliminates guesswork.

• **Complementary pairs**: "All" and "Some not" are complements; "No" and "Some" are complements. If "All dogs are animals" is false, then "Some dogs are not animals" must be true. Recognizing these pairs helps in either-or conclusions.

• **Follow from statements, not reality**: Even if a statement seems illogical ("All books are trees"), treat it as true for that problem. The exam tests deductive logic, not general knowledge.

• **"Some" means at least one**: In logic, "Some A are B" means one or more A belong to B. It does not mean "only a few" or "not all." This precise interpretation is crucial.

• **Either-or cases**: When two conclusions cannot both be true but one must be true, the answer is "Either conclusion I or II follows." This happens with complementary statements like "Some A are B" and "Some A are not B" when only partial overlap is possible.

• **Possibility vs. certainty**: A conclusion follows only if it is definitely true in all valid Venn arrangements of the statements. If a conclusion might be true but could also be false, it does not follow.

• **Middle term distribution**: In classical logic, the middle term (the category common to both statements) must be "distributed" (refer to all members) at least once. For SSC GD, you don't need formal rules—Venn diagrams handle this automatically—but understanding helps avoid errors.

Formulas / Key Facts

1. **All A are B** — A is a subset of B; circle A inside circle B. 2. **No A are B** — A and B are disjoint; circles A and B do not overlap. 3. **Some A are B** — At least one A is in B; circles A and B overlap. 4. **Some A are not B** — At least one A is outside B; part of circle A lies outside B. 5. **Converse of "All A are B"** — Does NOT imply "All B are A." Only "Some B are A" follows. 6. **From "No A are B"** — Automatically, "No B are A" also follows (conversion rule). 7. **From "Some A are B"** — Automatically, "Some B are A" also follows (conversion rule). 8. **Either-or rule** — Use when two conclusions are complementary pairs and cannot both be true, but one must be true given the statements.

Worked Examples

**Example 1: Standard All-Some case**

*Statements:* I. All mangoes are fruits. II. Some fruits are sweet.

*Conclusions:* I. Some mangoes are sweet. II. All sweet things are mangoes.

*Solution:* Draw two circles: "Mangoes" fully inside "Fruits" (from statement I). "Sweet" overlaps "Fruits" partially (from statement II). The overlap of "Sweet" and "Fruits" may or may not touch "Mangoes"—we cannot be certain. So conclusion I does not definitely follow. Conclusion II ("All sweet things are mangoes") is absurd and clearly does not follow from the diagrams. **Answer: Neither conclusion follows.**

---

**Example 2: Either-or case**

*Statements:* I. Some books are novels. II. All novels are stories.

*Conclusions:* I. Some stories are books. II. No story is a book.

*Solution:* From statement II, "Novels" circle is inside "Stories" circle. From statement I, "Books" overlaps "Novels." Therefore, part of "Books" must overlap "Stories." Conclusion I ("Some stories are books") definitely follows. Conclusion II ("No story is a book") contradicts this and is false. **Answer: Only conclusion I follows.**

---

**Example 3: Complementary either-or**

*Statements:* I. Some trains are buses. II. No bus is a car.

*Conclusions:* I. Some trains are cars. II. Some trains are not cars.

*Solution:* "Trains" overlaps "Buses," and "Buses" does not touch "Cars." The overlap of "Trains" and "Buses" is away from "Cars," but the rest of "Trains" could be anywhere—possibly overlapping "Cars" or not. We cannot definitively say conclusion I is true, nor can we definitively say conclusion II is true. However, at least one of them must be true (every train is either a car or not a car). These are complementary statements. **Answer: Either conclusion I or II follows.**

---

Common Mistakes

• **Using real-world logic**: Students reject "All chairs are dogs" as absurd and refuse to draw it. In syllogism, accept every statement as given. Evaluate only logical deduction, not real-world truth.

• **Assuming "Some" means "not all"**: In everyday language, "some" often implies "not all." In formal logic, "Some A are B" allows for the possibility that all A are B. Do not add restrictions the statement does not contain.

• **Ignoring Venn overlaps**: Drawing sloppy or no diagrams leads to guessing. Every "All/No/Some" statement has one correct Venn representation. Skipping this step causes errors in 60% of problems.

• **Confusing converse**: "All A are B" does NOT mean "All B are A." If statements say "All roses are flowers," you cannot conclude "All flowers are roses," but you can conclude "Some flowers are roses."

• **Misapplying either-or rule**: Use either-or only when two conclusions are exact complements (e.g., "Some A are B" vs. "Some A are not B") and the statements leave both possibilities open. Do not use it for any pair of contradictory conclusions without checking the diagram carefully.

Quick Reference

• All A → B: A circle fully inside B circle.
• No A ↔ B: A and B circles separate, no overlap.
• Some A ∩ B: A and B circles overlap partially.
• "All A are B" ⇒ "Some B are A" (but NOT "All B are A").
• "No A are B" ⇔ "No B are A" (symmetric).
• Either-or = both conclusions complementary + both possible.
• Always draw Venn diagrams mentally or on scratch paper—never solve by intuition alone.