Syllogisms and Statement-Based Questions for CSAT

Syllogism is the art of testing whether a conclusion really follows from its premises: two or three statements are given as true, and you must decide which of the conclusions is forced by them. Statement-based questions are the wider family UPSC draws from, including ordering and ranking puzzles, truth-value puzzles, and the two-statement sufficiency format. Because Paper II is qualifying at 33 percent, these logic questions are among the cheapest marks in the paper: they need no formula, only disciplined reading.

Categorical propositions: the four forms

A categorical proposition is a statement that relates two classes, such as 'All cats are animals'. Logicians sort them into four forms. 'All S are P' is the universal affirmative (A): every member of S lies inside P. 'No S is P' is the universal negative (E): the two classes do not overlap at all. 'Some S are P' is the particular affirmative (I): at least one S is a P, possibly all. 'Some S are not P' is the particular negative (O): at least one S lies outside P. Nearly every UPSC syllogism is built from these four bricks.

The Venn diagram method

The most reliable solving tool is the Venn diagram method: draw a circle for each class and place them exactly as the statements demand. The golden rule is that a conclusion follows only if it is true in every diagram the statements allow, not just in the one you happened to draw first. Worked example: Statements: 'All cups are plates. No plate is a spoon.' Draw the cup-circle inside the plate-circle, and the spoon-circle completely separate from plates. In every valid diagram, no cup can touch the spoon-circle, so the conclusion 'No cup is a spoon' follows, while 'Some spoons are cups' contradicts the diagram and fails.

Valid and invalid argument forms

With practice you will recognise the classic valid argument forms on sight. 'All A are B; All B are C; therefore All A are C' is valid by transitivity: the A-circle sits inside B, which sits inside C. 'All A are B; No B is C; therefore No A is C' is valid: A lives inside B, and B avoids C entirely. 'Some A are B; All B are C; therefore Some A are C' is valid: the overlapping part of A and B sits inside C. Equally important are the forms that are never valid: 'All A are B; All C are B' tells you nothing about A and C (the undistributed middle trap); 'Some A are B; Some B are C' tells you nothing, because the two 'some' parts of B may be different parts.

The 'disregarding commonly known facts' rule

UPSC instructions say to take the statements as true even if they seem at variance with commonly known facts. This is a deliberate trap: your real-world knowledge must be switched off. If the statements say 'All pens are books', you must reason with pens inside the book-circle even though real pens are not books. The conclusion is tested against the statements alone, and importing outside facts is the single biggest source of wrong answers in this topic.

Statement-based questions: the wider family

Beyond pure syllogisms, UPSC asks ordering and ranking questions ('A is taller than B; B is taller than C'), truth-value puzzles ('two statements are true and one is false'), and the sufficiency format ('is statement 1 alone enough to answer?'). All of them reward the same discipline: use only what is given, chain the information step by step, and never assume what is not stated. The sufficiency format is covered in depth in the Data Sufficiency article; the logic here is identical.

Worked examples

Example 1 [UPSC CSE 2022]. Statements: 'All pens are books. No chair is a pen.' Conclusions: I. All chairs are books. II. Some chairs are pens. III. All books are chairs. IV. No chair is a book. The pen-circle sits inside the book-circle, and the chair-circle avoids pens. Conclusion I fails: imagine a chair outside the book-circle. Conclusion II contradicts 'no chair is a pen'. Conclusion III fails: a pen is a book but not a chair. Conclusion IV fails: a chair could still be a book that is not a pen. So none of the conclusions follows.

Example 2 [UPSC CSE 2022]. Statements: 'Some doctors are teachers. All teachers are engineers. All engineers are scientists.' Conclusions: I. Some scientists are doctors. II. All engineers are doctors. III. Some engineers are doctors. The doctors-teachers overlap sits inside engineers, which sit inside scientists, so some doctors are scientists (I follows), and some engineers are doctors (III follows). But II claims all engineers are doctors, which reverses the inclusion, so it fails. Conclusions I and III follow.

Example 3 [UPSC CSE]. Statements: 'Only those who have a pair of binoculars can become members of the birdwatcher's club. Some members have cameras.' Conclusion: 'All members of the birdwatcher's club have a pair of binoculars' follows, because 'only binocular-holders can become members' makes binoculars a necessary condition for membership. Note the direction: it does not follow that all binocular-holders are members.

Example 4 [UPSC CSE]. Statements: 'All X-brand cars parked here are white. Some of them have radial tyres.' Conclusion: 'Some white X-brand cars with radial tyres are parked here' follows: 'them' refers to the X-brand cars parked here, which are white, and some of those white cars have radial tyres.

Common traps

Five traps recur. One, treating 'some' as 'some but not all': in logic, 'some' means 'at least one', possibly all. Two, reversing 'only' statements: 'Only A are B' means all B are A, not all A are B. Three, the undistributed middle: two statements sharing a term prove nothing unless the shared term is distributed in at least one. Four, answering from real-world truth instead of the given statements. Five, in sufficiency-format items, assuming a statement is insufficient just because you cannot compute the final number: sufficiency means the answer is determined, not that you worked it out.

Speed tips

Three habits buy speed. First, hunt for a counterexample: if you can imagine one diagram where the statements hold and the conclusion fails, the conclusion does not follow. Second, convert 'only' and 'none but' sentences into 'All' form immediately ('None but students are members' becomes 'All members are students'). Third, in ordering chains, write the chain as a single line (A > B > C) before looking at the options; most ranking questions collapse to reading the line.

Key Terms

• Syllogism: a deductive argument, usually with two premises and one conclusion, testing whether the conclusion is forced by the premises.
• Premise: a statement assumed true for the argument; in these questions the numbered statements play this role.
• Conclusion: the claim tested against the premises; it 'follows' only if the premises make it unavoidable.
• Categorical proposition: a statement relating two classes in one of the four forms: All S are P (A), No S is P (E), Some S are P (I), Some S are not P (O).
• Middle term: the term appearing in both premises but not in the conclusion; it is the bridge the argument stands on.
• Distributed term: a term the statement speaks about in full ('all' of it); a valid syllogism must distribute its middle term at least once.
• Venn diagram: overlapping circles representing classes; the standard tool for testing whether a conclusion holds in all allowed diagrams.
• Validity: the property of an argument whose conclusion cannot be false when its premises are true; validity is about form, not about real-world truth.
• Statement-based question: UPSC's wider family of logic items, including syllogisms, ordering, truth-value and sufficiency-format questions.

Practice questions