Syllogism — Study Notes

Overview

Syllogism is a critical reasoning topic in the Railway Group D exam where you draw logical conclusions from two or three given statements using quantifiers like "All," "Some" or "No." Each question typically gives 2–3 statements about categories (e.g., "All books are pens" and "Some pens are pencils") followed by 2–4 possible conclusions. Your job is to determine which conclusion(s) logically follow from the given statements — regardless of whether they match real-world facts.

Expect 3–5 syllogism questions in the General Intelligence and Reasoning section. Mastering syllogism is about applying strict logical rules, not common sense or general knowledge. Many students lose marks by mixing real-world assumptions with logical rules. The key is to use Venn diagrams or standard distribution rules to test each conclusion systematically. Once you learn the patterns, these questions become quick scoring opportunities because the logic is mechanical and repeatable.

Key Concepts

• **Quantifiers**: The words "All," "Some" and "No" define the relationship between two categories. "All A are B" means every member of A is also in B. "Some A are B" means at least one A is B (possibly more, possibly all). "No A are B" means A and B have zero overlap.

• **Subject and Predicate**: In "All cats are animals," "cats" is the subject and "animals" is the predicate. The logical rules depend on whether terms are distributed (cover the entire category) or undistributed. "All" distributes the subject; "No" distributes both; "Some" distributes neither.

• **Venn Diagram Method**: Draw overlapping circles for each category. Shade or mark regions according to the statements, then check if the conclusion's diagram must be true based on your sketch. This visual method is foolproof for two-statement problems.

• **Complementary Pairs**: Two conclusions can form a complementary pair if exactly one must be true when neither can be proven individually. The standard pairs are: (1) "Some A are B" and "No A are B," and (2) "Some A are not B" and "All A are B." If statements allow both possibilities, mark "Either I or II follows."

• **Possibility vs. Definiteness**: A conclusion follows only if it is *definitely* true in every scenario allowed by the statements. If a conclusion is *possible* but not certain, it does not follow. For example, from "All A are B" and "All B are C," you can conclude "All A are C" (definite), but you cannot conclude "Some C are A" (possible but not certain unless there's at least one A).

• **Chain Rule**: When three terms link in a chain (A→B, B→C), you can often derive a conclusion about A and C. The middle term (B) must be distributed at least once for a valid chain. For instance, "All A are B" + "All B are C" gives "All A are C," but "Some A are B" + "All B are C" does not guarantee any definite A–C conclusion.

• **Conversion Rules**: "Some A are B" converts to "Some B are A" (always valid). "No A are B" converts to "No B are A" (always valid). "All A are B" does *not* convert to "All B are A." Use conversions to test conclusions phrased in reverse order.

• **Ignore Real-World Truth**: If the statement says "All pens are chairs," accept it for the logic exercise even though it's factually absurd. Your reasoning must be based solely on the given statements, not on what you know about pens and chairs.

Formulas / Key Facts

1. **All A are B**: Subject A is distributed; predicate B is undistributed. Venn: Circle A lies entirely inside circle B.

2. **No A are B**: Both A and B are distributed. Venn: Circles A and B do not overlap at all.

3. **Some A are B**: Neither A nor B is distributed. Venn: Circles A and B overlap; at least one element is in the intersection.

4. **Some A are not B**: Subject A is undistributed; predicate B is distributed. Venn: At least one part of A is outside B.

5. **Complementary Pair I**: "Some X are Y" and "No X are Y" — exactly one must be true if neither is individually proven.

6. **Complementary Pair II**: "Some X are not Y" and "All X are Y" — exactly one must be true if neither is individually proven.

7. **Mediate Inference (chain)**: "All A are B" + "All B are C" → "All A are C" is valid. "Some A are B" + "All B are C" → no definite A–C conclusion.

8. **Conversion validity**: I-type ("Some A are B") and E-type ("No A are B") convert freely. A-type ("All A are B") does not convert to "All B are A."

Worked Examples

**Example 1:** *Statements:* All flowers are leaves. Some leaves are branches. *Conclusions:* I. Some flowers are branches. II. Some branches are flowers.

**Solution:** Draw two circles: Flowers inside Leaves (All flowers are leaves). Some part of Leaves overlaps with Branches. The flower circle might or might not touch the branches region — the statements do not force an overlap. Conclusion I (Some flowers are branches) is *possible* but not *certain*. Conclusion II is just a restatement of I by conversion. **Answer:** Neither I nor II follows.

---

**Example 2:** *Statements:* All books are novels. No novel is a magazine. *Conclusions:* I. No book is a magazine. II. Some magazines are books.

**Solution:** All books lie inside novels (circle Books inside Novels). Novels and magazines do not overlap (No novel is a magazine). Therefore, books and magazines cannot overlap either. Conclusion I (No book is a magazine) is definitely true. Conclusion II contradicts conclusion I. **Answer:** Only conclusion I follows.

---

**Example 3:** *Statements:* Some cats are dogs. All dogs are animals. *Conclusions:* I. Some cats are animals. II. All cats are animals.

**Solution:** Some cats overlap with dogs. All dogs lie inside animals. Therefore, the overlapping portion (cats that are dogs) must be inside animals. So at least some cats are animals. Conclusion I (Some cats are animals) is definitely true. Conclusion II (All cats are animals) is not guaranteed; some cats might be outside the animal circle if they're not in the dog overlap. **Answer:** Only conclusion I follows.

Common Mistakes

1. **Using real-world logic instead of formal logic**: Students reject "All pens are chairs" because it seems absurd. → Always treat statements as true within the exercise, no matter how unrealistic.

2. **Confusing "possible" with "definite"**: A conclusion that *might* be true is not the same as one that *must* be true. → Mark a conclusion as following only if every allowed Venn diagram scenario supports it.

3. **Forgetting to check complementary pairs**: When both conclusions seem false individually, students pick "Neither follows" without checking if they form a complementary pair. → Always test the two standard pairs if no individual conclusion is valid.

4. **Misapplying conversion rules**: Assuming "All A are B" means "All B are A." → Only I-type and E-type propositions convert validly; A-type does not.

5. **Ignoring the middle term in chains**: Concluding about A and C when the middle term B is undistributed in both statements. → For a valid chain, the middle term must be distributed at least once (usually via "All" or "No").

Quick Reference

• **All A are B**: A entirely inside B; A distributed, B undistributed.
• **No A are B**: A and B separate; both distributed.
• **Some A are B**: A and B overlap; neither distributed; converts to "Some B are A."
• **Complementary pairs**: "Some/No" and "Some not/All" — if neither proven, check if exactly one must be true.
• **Chain deduction**: "All A→B" + "All B→C" gives "All A→C"; "Some" in chain usually yields no definite conclusion.
• **Visual check**: Draw Venn diagrams for foolproof validation — if the conclusion diagram is forced by the statements, it follows.