How to Solve Syllogism Problems: Venn Diagrams + Rules

Syllogism problems give you two premises and ask which conclusion logically follows, a format that appears in aptitude rounds for TCS NQT, Infosys InfyTQ, AMCAT, and most major placement drives in India.

The traditional syllogism has three components: two premises and a conclusion. Your job is not to check whether the conclusion is true in the real world. Your job is to check whether the conclusion must be true if both premises are accepted as true. That distinction matters on every single question in this section.

The Four Statement Types

Every syllogism statement is one of four forms. These forms determine what you can validly infer.

Form	Example	Subject distributed?	Predicate distributed?
Universal Affirmative: All A are B	All cats are animals	Yes	No
Universal Negative: No A is B	No fish are reptiles	Yes	Yes
Particular Affirmative: Some A are B	Some students are athletes	No	No
Particular Negative: Some A are not B	Some cars are not electric	No	Yes

One error that appears in older prep materials is treating “Some A are B” as a universal statement. It is not. “Some” means at least one, not all. Neither the subject nor the predicate is distributed in a particular affirmative. Treating it as universal leads to conclusions that cannot be drawn.

What “Distributed” Means

A term is distributed when the statement covers every member of that category without exception.

• In “All A are B”: A is distributed (every single A is accounted for), but B is not (only some B are covered by A; other B may exist outside A).
• In “No A is B”: both A and B are fully distributed (the statement speaks about every member of both groups).
• In “Some A are B”: neither term is distributed (we only know about at least one A, not all of them).
• In “Some A are not B”: A is not distributed, but B is distributed (the statement claims that a specific portion of A falls outside the entire category B).

The Venn Diagram Method

Venn diagrams are the standard visual approach for syllogism. Each set becomes a circle, and the diagram shows whether circles overlap, are contained within each other, or are entirely separate.

Drawing the Diagrams

Three steps apply to every syllogism:

• Step 1: Draw two circles for the first premise. “All A are B” means draw A entirely inside B. “No A is B” means draw two non-overlapping circles. “Some A are B” means draw two partially overlapping circles. “Some A are not B” means draw A mostly outside B with only a small overlap permitted.
• Step 2: Add the third term using the second premise, anchored to the shared middle term.
• Step 3: Test each proposed conclusion against the completed diagram. If the conclusion holds in every possible valid diagram, it follows. If even one valid arrangement makes it false, the conclusion does not follow.

When Venn Diagrams Help Most

Venn diagrams work best for straightforward two-premise problems where the relationship is clear from the statement type. They slow you down when a particular premise allows multiple arrangements. For those cases, the rule-based method below is faster.

The Rule-Based (Distribution) Approach

The distribution rules from Aristotle’s syllogistic give a faster checklist for test conditions, especially when a diagram has multiple valid configurations.

The Six Rules

Apply these in order. If any rule is violated, no valid conclusion follows.

• Rule 1 (Distributed Middle): The middle term must be distributed in at least one premise. Violating this is the undistributed middle fallacy.
• Rule 2 (Illicit Major): If the major term is distributed in the conclusion, it must be distributed in the premise where it appears.
• Rule 3 (Illicit Minor): If the minor term is distributed in the conclusion, it must be distributed in the premise where it appears.
• Rule 4 (Two Negatives): Two negative premises yield no valid conclusion.
• Rule 5 (Two Particulars): Two particular premises yield no valid conclusion.
• Rule 6 (Negative and Particular): If one premise is negative, the conclusion must be negative. If one premise is particular, the conclusion must be particular.

Distribution Quick Reference

Statement form	Subject	Predicate
All A are B	Distributed	NOT distributed
No A is B	Distributed	Distributed
Some A are B	NOT distributed	NOT distributed
Some A are not B	NOT distributed	Distributed

Worked Examples

Example 1: Valid Chain (Barbara Form)

• Premises: All birds have feathers. All creatures with feathers are animals.
• Conclusion tested: All birds are animals.
• Verdict: Valid.
• Check: Middle term is “creatures with feathers,” distributed in Premise 2 (subject of a universal affirmative). “Birds” is distributed in Premise 1. No illicit process. The conclusion runs forward: birds inside feathered-creatures inside animals.

Example 2: Valid Partial Conclusion from a Universal Negative

• Premises: No cats are fish. All fish are aquatic.
• Conclusion 1 tested: Some aquatic creatures are not cats.
• Conclusion 2 tested: No cats are aquatic.
• Verdict: Conclusion 1 is valid. Conclusion 2 does not follow.
• Check for C1: Fish are aquatic (P2) and not cats (P1), so some aquatic creatures (namely, fish) are not cats. Valid.
• Check for C2: The premises tell us cats and fish are separate, and fish are aquatic. There is no information about whether cats themselves are or are not aquatic. Conclusion 2 introduces a claim beyond what the premises support.

Example 3: Valid Particular Conclusion from Universal and Particular

• Premises: Some students are engineers. All engineers are logical thinkers.
• Conclusion tested: Some students are logical thinkers.
• Verdict: Valid.
• Check: The students who are engineers (from P1) are also logical thinkers (from P2). The conclusion is particular, which is appropriate since P1 is particular. Rule 6 satisfied.

Example 4: Invalid — Undistributed Middle

• Premises: All cats are mammals. All dogs are mammals.
• Conclusion tested: Some cats are dogs.
• Verdict: Invalid.
• Check: The middle term is “mammals,” which is the predicate of a universal affirmative in both premises. The predicate of a universal affirmative is NOT distributed. The middle term is undistributed in both premises. Rule 1 violated. No valid conclusion can be drawn about cats and dogs from these premises.

Example 5: Invalid — Backward Conversion Error

• Premises: All engineers use computers. All computer users understand technology.
• Conclusion attempted: All people who understand technology are engineers.
• Correct conclusion: All engineers understand technology.
• Verdict: The attempted conclusion is invalid. The correct conclusion is valid.
• Check: The chain runs forward: engineers inside computer-users inside technology-understanders. “All engineers understand technology” follows. “All technology-understanders are engineers” reverses the containment direction. Not every member of the larger set (technology-understanders) needs to be in the smaller set (engineers).

Example 6: Correction of a Legacy WP Error

• Premises: Some books are papers. No papers are pens.
• Conclusion tested: Some books are not pens.
• Verdict: Valid. (An earlier version of this article labelled this “uncertain.” That was incorrect.)
• Check: From P1, some books are papers. From P2, no paper is a pen. Therefore the books that are papers are definitively not pens. “Some books are not pens” must follow. Middle term “papers” is distributed in P2 (subject of a universal negative). No rule is violated.

Example 7: Invalid — Two Particular Premises Trap

• Premises: Some students are athletes. Some athletes are tall.
• Conclusion tested: Some students are tall.
• Verdict: Cannot determine. Conclusion does not follow.
• Check: Rule 5 applies. Two particular premises never yield a valid conclusion. The athletes who are students (P1) and the athletes who are tall (P2) may be entirely different individuals. The overlap is not guaranteed.

Example 8: Invalid — Illicit Major

• Premises: All scholars are readers. No students are scholars.
• Conclusion tested: No students are readers.
• Verdict: Invalid.
• Check: “Readers” is the predicate of a universal negative in the conclusion (distributed). But “readers” is the predicate of a universal affirmative in P1 (NOT distributed). The major term is distributed in the conclusion but not in its premise. Rule 2 (Illicit Major) violated.

Three Patterns to Watch in Practice Tests

Placement aptitude sections repeat three fallacy patterns across almost every set of syllogism questions.

• Undistributed middle: Two premises that share a predicate (not a subject) look connected but are not. “All A are C / All B are C” tells you nothing about the relationship between A and B.
• Backward conversion: “All A are B” never gives you “All B are A.” The conclusion must run forward along the containment chain.
• Two-particulars trap: “Some A are B / Some B are C” is a recurring distractor. Rule 5 applies every time. The conclusion does not follow regardless of how plausible the connection sounds.

Companies that emphasise logical deduction in their aptitude rounds include those with quantitative or analytical assessment components. See the D.E. Shaw recruitment rounds and the Tata Elxsi analytical aptitude section for the specific test formats where syllogism-type questions appear.

The eight worked examples above focus on one skill: determining whether a conclusion must follow or merely sounds plausible. That same discipline applies when reading LLM outputs, where a model’s chain-of-thought can be fluent and still reach an unsupported conclusion. TinkerLLM at ₹299 offers a way to develop that habit through live experiments rather than textbook exercises alone.