Syllogisms: Reasoning from Two Statements to a Conclusion

"All public servants must act with integrity. A civil servant is a public servant. Therefore, a civil servant must act with integrity." If that reasoning feels airtight to you, you already grasp the heart of syllogisms — the ancient art of drawing conclusions that are forced by what came before. The Civil Service Exam tests whether you can tell a valid conclusion from one that merely sounds right, and that difference is a learnable, almost mechanical skill. This chapter teaches you to trace logic precisely, using simple overlapping-circle pictures that make validity visible.

1. Lesson Overview

A syllogism is a three-part argument: two premises (given statements) and a conclusion that must logically follow if the premises are true. Syllogism questions give you premises and ask whether a stated conclusion validly follows — testing not cleverness but careful tracing of whether the conclusion is genuinely forced.

On the Civil Service Exam, syllogisms are the core of logical-reasoning items in Analytical Reasoning, and the skill underlies Statement & Conclusion too. Because validity is about structure, you can check it systematically with set diagrams (overlapping circles), turning a fuzzy "does this follow?" into a clear yes or no.

The difficulty is intermediate to advanced. The keys are to identify the three terms, picture each statement as a set relationship, apply a few reliable combination rules, and separate valid structure from mere plausibility. This lesson builds all of that.

2. Learning Objectives

After completing this lesson you will be able to:

• Identify the major, minor, and middle terms of a syllogism.
• Classify statements as universal/particular and affirmative/negative.
• Represent each statement as a set relationship (contained, overlapping, or separate).
• Apply reliable combination rules to check validity.
• Recognize the undistributed-middle fallacy and the some-to-all error.
• Distinguish logical validity from factual truth.
• Avoid accepting a conclusion just because it sounds reasonable.

3. Prerequisites

You should be comfortable with:

• Basic logic — following an "if… then" chain of reasoning.
• Sets and categories — the idea that one group can be inside, overlapping, or separate from another.
• The quantifiers "all," "some," and "no," and what they claim.
• Careful reading — attending to exact wording (see Reading Comprehension).

A quick refresher on the foundation: a syllogism links three ideas. Think of each statement as a claim about sets (groups). "All A are B" says the A-group sits entirely inside the B-group. "Some A are B" says the two groups overlap in at least one member. "No A is B" says the groups are completely separate. Picturing statements this way — as circles that contain, overlap, or avoid each other — is the single most powerful tool in this topic. Keep the circles in mind throughout.

4. Why This Topic Matters

Valid reasoning is a foundational life and work skill:

• Decision-making. Drawing correct conclusions from given facts — in policy, law, and administration — is central to civil-service work.
• Critical thinking. Spotting when an argument's conclusion doesn't actually follow protects you from being misled.
• Law and rules. Applying general rules to specific cases ("all late submissions are rejected; this was late…") is pure syllogistic reasoning.
• Debate and persuasion. Recognizing valid vs. invalid arguments makes you both a clearer thinker and a harder target for faulty logic.
• Everyday judgment. Distinguishing "this must follow" from "this sounds plausible" sharpens all reasoning.

The exam tests syllogisms because valid deduction is the backbone of clear, defensible thinking.

5. Core Concepts

Let's build from the parts of a syllogism to the rules for checking validity.

The three terms

Every standard syllogism has three terms (ideas):

• The major term — the broader idea; it's the predicate of the conclusion.
• The minor term — the narrower idea; it's the subject of the conclusion.
• The middle term — appears in both premises but never in the conclusion; it links the major and minor terms.

All public servants must act with integrity. (major premise) A civil servant is a public servant. (minor premise) Therefore, a civil servant must act with integrity. (conclusion)

Here "must act with integrity" is the major term, "civil servant" is the minor term, and "public servant" is the middle term — it connects the two and then drops out.

Analogy: The middle term is like a mutual friend who introduces two strangers. Once the introduction is made (the two premises share the friend), the strangers have a relationship (the conclusion) — and the mutual friend isn't mentioned in that final relationship.

The four statement types

Statements are classified by scope (universal/particular) and quality (affirmative/negative):

• Universal affirmative — "All A are B." All who pass are eligible.
• Universal negative — "No A is B." No late submissions are accepted.
• Particular affirmative — "Some A are B." Some employees are managers.
• Particular negative — "Some A are not B." Some volunteers are not trained.

Recognizing the type tells you exactly what the statement claims — and what it does not.

Statements as set relationships

Picture each statement as circles:

• "All A are B" → circle A sits entirely inside circle B.
• "Some A are B" → circles A and B overlap (share at least one member).
• "No A is B" → circles A and B are completely separate.

A conclusion is valid only if it's true in every way you could draw the circles consistent with the premises. If you can draw the circles to make the premises true but the conclusion false, the conclusion does not follow.

Reliable combination rules

A few patterns are worth memorizing:

• Universal + universal chains transitively: "All A are B" + "All B are C" ⊢ "All A are C." (A inside B inside C.) This never reverses direction.
• Universal + particular: "All A are B" + "Some A are C" ⊢ "Some C are B." (The shared A members are both B and C.)
• Exclusion: "No A is B" + "All C are B" ⊢ "No A is C." (C is inside B, and A avoids all of B, so A avoids C.)
• Two particulars yield nothing: "Some A are B" + "Some B are C" ⊢ no valid conclusion. Overlaps don't force a connection between A and C.

Two subtle traps

• The undistributed-middle fallacy: "Some A are B" + "All C are B" does not yield "Some C are A." Both premises only touch B (partially or wholly), which doesn't force any link between A and C. Sharing a predicate (B) isn't enough; a valid link needs the middle term to properly connect.
• Existential import / some-to-all: "All A are B" validly implies "Some B are A" (if A isn't empty), but "Some A are B" does not imply "All A are B." You can go from "all" down to "some," never from "some" up to "all."

Valid ≠ true

A syllogism can be logically valid (the conclusion follows the structure) even if a premise is factually false — and it can feel right while being invalid if the middle term doesn't properly connect. Exam traps live in this gap: a conclusion that sounds reasonable but isn't forced, or one that's true in reality but not supported by these premises. Check the structure, not the plausibility.

With the toolkit built, let's picture, tabulate, and drill.

6. Visual Learning Suggestions

• [Illustration Suggestion] Nested circles for "All." Circle A drawn entirely inside circle B, inside circle C — showing "All A are B" + "All B are C" forces "All A are C."
• [Illustration Suggestion] Overlap for "Some." Two partly overlapping circles with a dot in the shared region, representing "Some A are B."
• [Illustration Suggestion] Separate circles for "No." Two circles that don't touch, representing "No A is B," with a third circle (C) inside B to show "No A is C."
• [Illustration Suggestion] The fallacy picture. "Some A are B" + "All C are B" drawn so C sits inside B but A only clips B elsewhere — visibly leaving A and C unconnected, proving the undistributed-middle fallacy.

7. Formula Library

Syllogisms use validity rules, not formulas:

8. Pattern Recognition

9. Problem-Solving Framework

Step 1 — Identify the three terms (major, minor, middle); the middle appears in both premises. ↓ Step 2 — Classify each premise (all/some/no) and picture it as circles. ↓ Step 3 — Combine the circles consistent with both premises. ↓ Step 4 — Test the conclusion: is it true in every consistent drawing? If you can draw the premises true and the conclusion false, it's invalid. ↓ Step 5 — Watch the traps: undistributed middle, some-to-all, and "sounds true but not forced."

Why Step 4 matters most: validity means the conclusion holds in every possible consistent picture. A single counter-drawing where the premises are true but the conclusion false proves the conclusion doesn't follow.

10. Worked Examples

Format: do the premises validly support the conclusion?

Beginner

Example 1. All dogs are animals. All animals need food. Conclusion: All dogs need food. Thinking: Dogs inside animals inside "need food" — a valid "all" chain. Solution: Valid. Difficulty: ★☆☆☆☆

Example 2. No fish are mammals. All whales are mammals. Conclusion: No whales are fish. Thinking: Whales inside mammals; fish separate from mammals → whales separate from fish. Solution: Valid (exclusion pattern). Difficulty: ★★☆☆☆

Intermediate

Example 3 (some). All teachers are graduates. Some teachers are coaches. Conclusion: Some coaches are graduates. Thinking: The teachers who are coaches are also graduates → some coaches are graduates. Solution: Valid. Difficulty: ★★★☆☆

Example 4 (two particulars). Some students are athletes. Some athletes are singers. Conclusion: Some students are singers. Thinking: Two "some" premises don't force a link — the student-athletes and athlete-singers might not overlap. Solution: Invalid (two particulars yield nothing). Difficulty: ★★★☆☆

Advanced

Example 5 (undistributed middle). All squares are rectangles. Some shapes are rectangles. Conclusion: Some shapes are squares. Thinking: Both premises touch "rectangles" (the middle), but that doesn't force shapes to include squares. The "some shapes that are rectangles" might all be non-square rectangles. Solution: Invalid (undistributed middle). Difficulty: ★★★★☆

Example 6 (some-to-all). Some managers are engineers. Conclusion: All managers are engineers. Thinking: "Some" never implies "all." Solution: Invalid. Difficulty: ★★☆☆☆

Example 7 (valid despite odd content). All birds can swim. All sparrows are birds. Conclusion: All sparrows can swim. Thinking: The first premise is factually false, but the structure is a valid "all" chain. Validity is about form. Solution: Valid (logically), though the premise is untrue — a key distinction. Difficulty: ★★★★☆

Civil Service Exam Level

Example 8 (exclusion). No late applications are accepted. All of Ben's applications were late. Conclusion: None of Ben's applications were accepted. Solution: Valid — Ben's applications are inside "late," which is separate from "accepted." Difficulty: ★★★★☆

Example 9 (all + some, direction). All doctors are professionals. Some professionals are wealthy. Conclusion: Some doctors are wealthy. Thinking: The wealthy professionals might be non-doctors; nothing forces doctors to be among them. (The middle "professionals" isn't distributed toward doctors here.) Solution: Invalid. Difficulty: ★★★★★

Example 10 (chained all). All A are B. All B are C. All C are D. Conclusion: All A are D. Thinking: A inside B inside C inside D — the chain extends validly. Solution: Valid. Difficulty: ★★★☆☆

Example 11 (no + some). No cats are dogs. Some pets are cats. Conclusion: Some pets are not dogs. Thinking: The pets that are cats can't be dogs (cats and dogs are separate), so some pets are not dogs. Solution: Valid. Difficulty: ★★★★☆

Example 12 (sounds true but invalid). All criminals break laws. This person broke a law. Conclusion: This person is a criminal. Thinking: Breaking a law puts the person in "law-breakers," but the premise only says criminals are inside law-breakers — not that all law-breakers are criminals. The person might be a non-criminal law-breaker. Solution: Invalid (undistributed middle — a conclusion that sounds right but isn't forced). Difficulty: ★★★★★

11. Exam Tricks

• Sounds-right trap. A conclusion can feel obviously true yet not be forced by the premises (Example 12). Always test the structure with circles.
• Undistributed middle. A shared predicate ("both are B") doesn't connect the other two terms. This is the most common invalid pattern — learn to spot it.
• Some-to-all. "Some A are B" never gives "All A are B." A conclusion that upgrades "some" to "all" is invalid.
• Two particulars. Two "some" premises never force a conclusion. If both premises say "some," be suspicious of any definite conclusion.
• Valid vs. true. A valid argument can have a false premise; a true-sounding conclusion can be invalid. The exam tests validity (structure), not real-world truth.

12. Common Mistakes

• Accepting a conclusion because it sounds reasonable instead of checking the structure.
• Misidentifying the major, minor, and middle terms.
• Forgetting that a valid syllogism can have a factually false premise.
• Falling for the undistributed-middle fallacy (shared predicate ≠ connection).
• Upgrading "some" to "all" (or reversing an "all" chain).
• Drawing a definite conclusion from two particular premises.

13. Shortcuts

• Draw the circles. For any tricky syllogism, sketch the sets — validity becomes visible.
• Counter-drawing test: try to draw the premises true and the conclusion false. If you can, it's invalid.
• Memorize the four valid patterns (all-all chain, all-some, no-all exclusion, no+some) — they cover most valid items.
• Red-flag two-somes and some-to-all conclusions as almost always invalid.
• Spot the middle term: if both premises only share a predicate, suspect the undistributed-middle fallacy.

14. Memory Techniques

• "All = inside, Some = overlap, No = separate." The three circle pictures.
• "The middle introduces, then leaves." The middle term links the premises but not the conclusion.
• "Valid isn't true." Structure, not real-world accuracy, decides validity.
• "Two somes say nothing." Two particular premises yield no conclusion.
• "All down to some, never some up to all." The direction rule for quantifiers.

15. Real Civil Service Exam Strategy

• Time: a syllogism takes 30–60 seconds; drawing quick circles is faster than arguing in your head.
• Sketch the sets for anything beyond an obvious chain — it prevents the sounds-right trap.
• Use the counter-drawing test to disprove invalid conclusions decisively.
• Watch the quantifiers (all/some/no) exactly; a single word changes validity.
• Separate validity from truth — don't reject a valid form because a premise seems false, or accept an invalid one because the conclusion seems true.

16. Practice Questions

Do the premises validly support the conclusion? (Valid / Invalid)

Easy

1. All roses are flowers. All flowers are plants. Conclusion: All roses are plants.
2. No reptiles are birds. All eagles are birds. Conclusion: No eagles are reptiles.

Medium

3. All engineers are graduates. Some engineers are managers. Conclusion: Some managers are graduates.
4. Some books are novels. Some novels are long. Conclusion: Some books are long.

Hard

5. All squares are rectangles. Some rectangles are red. Conclusion: Some squares are red.
6. Some workers are trained. Conclusion: All workers are trained.

Challenge

7. No late entries are accepted. All of Ana's entries were late. Conclusion: None of Ana's entries were accepted.
8. All fish swim. All sharks are fish. Conclusion: All sharks swim.
9. All doctors are graduates. Some graduates are wealthy. Conclusion: Some doctors are wealthy.
10. All criminals break laws. This person broke a law. Conclusion: This person is a criminal.

Answers and Explanations

1. Valid. All-all chain (roses ⊂ flowers ⊂ plants).
2. Valid. Eagles ⊂ birds, separate from reptiles → no eagles are reptiles.
3. Valid. The engineer-managers are also graduates.
4. Invalid. Two "some" premises force nothing.
5. Invalid. The red rectangles might all be non-squares (undistributed middle).
6. Invalid. "Some" never implies "all."
7. Valid. Ana's entries ⊂ late, separate from accepted.
8. Valid. All-all chain (structure valid regardless of real-world truth).
9. Invalid. The wealthy graduates might not include any doctors.
10. Invalid. Being a law-breaker doesn't force being a criminal (undistributed middle) — it only sounds right.

17. Summary

A syllogism draws a conclusion from two premises through a shared middle term (which links the major and minor terms and drops out of the conclusion). Classify each statement as all (one set inside another), some (overlap), or no (separate), and picture the circles. A conclusion is valid only if it holds in every drawing consistent with the premises — test it with a counter-drawing. Memorize the reliable patterns (all-all chains, all-some, no-all exclusion) and the traps (undistributed middle, some-to-all, two particulars yield nothing). Above all, judge validity by structure, not by whether the conclusion sounds true. Draw the sets, test every case, and mind the quantifiers — that's how you master deductive reasoning.

18. Cheat Sheet

19. Frequently Asked Questions

What makes a syllogism valid? Its conclusion must be forced by the premises in every consistent interpretation. If you can picture the premises as true while the conclusion is false, it's invalid — regardless of how reasonable the conclusion sounds.

What is the middle term? The idea that appears in both premises but not the conclusion. It links the other two terms. If both premises only share this term as a predicate ("both are B"), the argument often commits the undistributed-middle fallacy.

Can a valid argument have a false premise? Yes. Validity is about structure, not facts. "All birds swim; all sparrows are birds; therefore all sparrows swim" is valid in form even though the first premise is false.

Why don't two "some" premises give a conclusion? Because two overlaps don't force a shared member. "Some A are B" and "Some B are C" leave open whether A and C connect at all, so no definite conclusion follows.

How do I avoid the "sounds right" trap? Draw the sets as circles and try to make the premises true while the conclusion is false. If you can, the conclusion doesn't follow, no matter how plausible it seems.

20. Mastery Checklist

• ☐ I can identify the major, minor, and middle terms.
• ☐ I can classify statements as all/some/no and affirmative/negative.
• ☐ I picture each statement as a set relationship (inside/overlap/separate).
• ☐ I know the reliable valid patterns.
• ☐ I can spot the undistributed-middle fallacy.
• ☐ I never upgrade "some" to "all" or draw conclusions from two particulars.
• ☐ I judge validity by structure, not plausibility.
• ☐ I use the counter-drawing test to disprove invalid conclusions.

Tick them all and syllogisms become a precise, dependable strength — and you'll reason more clearly and spot faulty arguments everywhere.