Syllogism is deductive reasoning — given two or more statements (premises), you figure out which conclusions must be true. The word sounds fancy, but the idea is brutally simple: if the premises guarantee a conclusion, that conclusion follows. If the premises only make a conclusion possible, it does not formally follow.
Here's a quick way to think about it. Imagine you are sorting objects into boxes. "All A are B" means every object in Box A also sits inside Box B — Box A is entirely contained within Box B. "Some A are B" means at least one object appears in both boxes — the two boxes overlap, but neither contains the other completely. "No A are B" means the boxes are completely separate — not a single object shared.
Every syllogism question on RRB NTPC gives you two or three such statements and asks which of the given conclusions is definitely true. The danger zone is conclusions that sound true or seem reasonable in real life but are not guaranteed by the logic alone. Syllogism does not care whether glass is actually a metal in the real world — it only cares what the premises force you to accept.
Think of yourself as a strict judge who only accepts conclusions supported by rock-solid evidence (the premises). Anything beyond what the premises establish — even if it is common knowledge — gets thrown out of court.
That discipline — ignoring your real-world intuition — is the single biggest skill to develop for this topic. Students who struggle with syllogism are almost always losing marks because they allow their general knowledge to contaminate pure logic.
Every statement in a syllogism falls into one of four categories. Know these cold:
| Type | Form | Label | Symbol | |---|---|---|---| | Universal Affirmative | All A are B | A-type | A ⊆ B | | Universal Negative | No A is B | E-type | A ∩ B = ∅ | | Particular Affirmative | Some A are B | I-type | A ∩ B ≠ ∅ | | Particular Negative | Some A are not B | O-type | Part of A is outside B |
The labels A, E, I, O come from traditional logic. You do not need to memorize these labels — but you absolutely must understand what each statement forces in a Venn diagram.
Universal Affirmative — "All A are B" Draw circle A completely inside circle B. Every element of A is guaranteed to be in B. Crucially, B can have elements outside A — the diagram does not force all B to be A.
Universal Negative — "No A is B" Draw circles A and B completely separate, zero overlap. If something is in A, it is outside B, and vice versa.
Particular Affirmative — "Some A are B" Draw two overlapping circles. The overlap region is non-empty. That is all you know — you cannot say how large the overlap is, and you cannot say A ⊆ B or B ⊆ A unless another premise forces it.
Particular Negative — "Some A are not B" Circle A has at least one element that sits outside circle B. The overlap may or may not exist — the statement only guarantees that part of A escapes B.
Most RRB NTPC syllogism questions rely on chaining two premises. Here is how it works:
Chain: "All A are B" + "All B are C" A is inside B, B is inside C — so A is inside C. Conclusion: All A are C. (Strong conclusion.)
Chain: "Some A are B" + "All B are C" Some elements are in both A and B. All of those B-elements are in C. So those same elements are in A and in C. Conclusion: Some A are C. (Valid.)
Chain: "All A are B" + "Some B are C" A is inside B. Some B-elements are in C. But are those some-B-elements the same ones that are in A? Not necessarily. Conclusion: You cannot conclude even "Some A are C." This is a trap question.
Chain: "No A is B" + "Some C are A" Some C are A, and no A is B, so those C-elements (which are also A-elements) are definitely not B. Conclusion: Some C are not B. (Valid.)
Sometimes a premise can be "converted" (flipped) to yield a new valid statement:
Some questions ask about "either-or" conclusions. If neither Conclusion I nor Conclusion II individually follows, but together they form a complementary pair (one being the exact negation of the other), then the "either I or II follows" option is correct. Look for this only when both individual conclusions are uncertain — not when one of them is already valid on its own.
Categorize each premise as A (All), E (No), I (Some), or O (Some...not) before drawing anything. Then apply the rule: if both premises are Universal, the conclusion can be Universal. If at least one premise is Particular, the conclusion must be Particular. If either premise is Negative, the conclusion must be Negative. This 3-step filter eliminates wrong answer options in 8-10 seconds before you even draw a diagram — standard diagram method: 60s; AEIO filter first: 20s.
Visualize "All A are B" as writing A ⊆ B. Chain premises like fractions: if A ⊆ B and B ⊆ C, then A ⊆ C (All A are C). If Some A ∩ B ≠ ∅ and B ⊆ C, then Some A are in C. Stop the chain the moment you hit a "Some" on the left side of the chain going forward — you can only push "Some" conclusions from that point, never "All." This takes the guesswork out of chaining: 4-step chain analysis drops to 2-step with this notation. Standard method: 50s; subset notation: 18s.
If both premises are negative (E-type), no valid conclusion can be drawn about the relationship between the two outer terms. Also: if both premises are particular (I-type or O-type), no valid conclusion follows. Use this as an instant elimination rule — see two negatives or two particulars, immediately mark "neither conclusion follows" unless conversion provides a path. Eliminates wrong-option traps in under 5 seconds versus drawing two full diagrams (30-40s).
When a conclusion looks close but not quite right, quickly test its converse. "All A are B" is NOT the same as "All B are A" — but "Some B are A" IS valid from "All A are B." When answer options include "Some B are A" after a premise "All A are B," mark it valid immediately without re-drawing. This single conversion check handles roughly 30% of RRB NTPC syllogism options. Saves 15-20s per question where re-drawing would otherwise be needed.
Before evaluating which conclusion follows, check if any conclusion is logically impossible given the premises. If a premise says "No A is B" and a conclusion claims "All A are B," eliminate that option in under 3 seconds — it directly contradicts a premise. Screen all conclusions for direct contradictions first, then evaluate the remaining ones. In questions with 4 options, this screen often reduces your analysis to 1-2 options. Standard full-evaluation: 55s; impossibility screen first: 30s.
In the exam hall, use this sequence every time:
Step 1 — Categorize (5 seconds). Label each premise A/E/I/O. Write it literally: "All cats are black" → A. "No snake is bird" → E.
Step 2 — Impossibility Screen (5 seconds). Scan conclusions for any that directly contradict a premise. Eliminate those instantly.
Step 3 — Apply AEIO Rule (8 seconds). Check: are both premises universal? Is either negative? Is either particular? This tells you the strength and polarity of any valid conclusion.
Step 4 — Chain the Middle Term (10 seconds). Identify the term shared between the two premises (the middle term). Draw a quick 2-circle Venn only if the chaining rule alone is not conclusive.
Step 5 — Test Each Remaining Option (10 seconds each). Does the Venn diagram force this conclusion, or only make it possible? "Forces" → valid. "Possible" → invalid (unless the question asks about possibility).
Total time target: 45-60 seconds per question. If you are crossing 90 seconds, move on and return — do not let one syllogism question cost you two easier questions.
Why this question: This tests the fundamental "No A is B, X is B, therefore X is not A" pattern — the most basic syllogism form on RRB NTPC.
Solving path: Premise 1: No metal is transparent (E-type — metals and transparent things are completely separate). Premise 2: Glass is transparent (places Glass inside the "transparent" circle). Since transparent and metal circles do not overlap, Glass cannot be in the metal circle. Conclusion: Glass is not a metal. The other options either reverse the logic or claim something the premises do not support.
Why this question: Identical pattern to the above but with "honest person" and "lies" — tests whether you apply the same logic regardless of real-world content.
Solving path: Premise 1: No honest person tells lies (honest-circle and liar-circle are separate). Premise 2: Ram tells lies (Ram is in the liar-circle). Since honest and liar circles do not intersect, Ram cannot be in the honest circle. Direct conclusion: Ram is not honest. Options A and C contradict the premises outright; Option D goes far beyond what the premises establish.
Why this question: This is the "Some A are B + All B are C → Some A are C" chain — the most frequently tested valid chain type.
Solving path: Premise 1: Some cats are black (cat and black circles overlap — call the overlap region X). Premise 2: All black things are dark (black circle is entirely inside the dark circle). Since X is in the black circle, and the black circle is inside the dark circle, X is also in the dark circle. X is in both cats and dark. So Some cats are dark. "All cats are dark" would require all cats to be black first — not established. Option B is correct.
Why this question: Tests the "Some C are A + No A is B → Some C are not B" chain — a trickier pattern that trips up unprepared candidates.
Solving path: Premise 1: No snake is a bird (snake and bird circles are separate). Premise 2: Some reptiles are snakes (reptile and snake circles overlap). The overlapping elements are in the reptile circle and in the snake circle. Since snake circle is entirely separate from the bird circle, those overlapping elements are definitely not birds. Therefore, some reptiles (specifically, the ones that are snakes) are not birds. Option B follows. "No reptiles are birds" would be too strong — some reptiles might be birds, we just cannot confirm it.
Why this question: This multi-premise question tests whether you can correctly track which conclusion is definite versus which is uncertain — a common trap in harder RRB NTPC sets.
Solving path: Three premises: (1) Some teachers are doctors — I-type, overlap exists. (2) All doctors are educated — A-type, doctors-circle inside educated-circle. (3) No educated person is ignorant — E-type, educated and ignorant circles separate.
Conclusion I: Some teachers are educated. Chain: Some teachers are doctors (overlap = T∩D), all doctors are educated (D ⊆ E), so T∩D ⊆ E, meaning some teachers are in the educated circle. Valid.
Conclusion II: No teacher is ignorant. For this, all teachers would need to be educated. But premise 1 only says some teachers are doctors. The non-doctor teachers have no connection to the educated-ignorant framework. So we cannot rule out that some non-doctor teachers might be ignorant. Conclusion II does not follow.
Answer: Only Conclusion I follows.
Treating "Some A are B" as "Some B are A." Conversion of I-type statements is valid, but students often do this automatically and then accept conclusions they should verify. Always check whether the question's conclusion matches a direct inference or a converted form.
Concluding "All A are C" from "Some A are B + All B are C." The chain gives you "Some A are C" — not "All." This trap appears in almost every RRB NTPC syllogism set. The moment you see "All" in a conclusion when either premise is "Some," be suspicious.
Ignoring the middle term. If the two premises share no common term, no conclusion about the remaining two terms is valid. Students force conclusions when no chain is possible — this is pure guessing disguised as reasoning.
Letting real-world knowledge override logic. "All roses are beautiful, some beautiful things are expensive — so some roses are expensive" sounds right in everyday life, but the premises do not force it. The beautiful things that are expensive might be entirely outside the rose group. This is exactly the trap in the question about roses.
Confusing "follows" with "may follow." Some questions specifically ask what "cannot be concluded" or what "may be true." Read the question stem carefully. A "may follow" conclusion and a "definitely follows" conclusion are evaluated by different standards.
Missing complementary pairs. If a question uses "either conclusion I or II follows" as an option, check whether I and II are exact logical opposites (exhaustive and mutually exclusive). If they are, and neither individually follows from the premises, then the either-or option is the correct answer. Many students skip this check entirely and lose easy marks.