John Venn before being elected to the Royal Society in 1883
Credit: Unknown (Maull & Fox. studio) · Public domain · source

1. Meaning, scope and relevance to CSAT

A syllogism is a deductive argument in which a conclusion is evaluated using stated premises. Classical categorical syllogisms contain two premises, a conclusion and three terms. CSAT-style reasoning may extend this format to several statements, multiple conclusions and unfamiliar category names. The task remains the same: identify what must be true, not what seems plausible, usually happens or agrees with general knowledge.

For example, All archivists are readers and All readers are learners establish that All archivists are learners. The first class lies within the second, which lies within the third. Conversely, All archivists are readers and All teachers are readers do not establish any necessary relationship between archivists and teachers. Sharing a larger class does not require two smaller classes to overlap.

Accept even unrealistic premises as given unless the question specifically asks about their truth or consistency. If the statements say All rivers are books, interpret rivers and books as category labels. Bringing geography into the argument changes a test of deduction into a test of factual knowledge. Similarly, separate logical validity from factual truth: validity concerns whether the conclusion follows from the premises.

Identify the exact task: necessary conclusion, possible arrangement, inconsistent claim or additional assumption.
Read the instructions governing the question; do not automatically apply conventions from coaching answer keys.

2. Translating language into categorical statements

All A are B means that every member of A belongs to B. A may occupy only part of B or coincide with B; the statement does not establish either arrangement exclusively. No A is B means that the two classes have no common member. Some A are B establishes at least one member belonging to both classes. Some A are not B establishes at least one A outside B.

The traditional labels are A for universal affirmative, E for universal negative, I for particular affirmative and O for particular negative. These labels help classify sentences, but understanding their content matters more than memorising them. Every, each and any can introduce universal relationships, depending on context. At least one introduces existence. Not all A are B means that at least one A is not B.

Only demands special attention. Only graduates are eligible means All eligible persons are graduates, not All graduates are eligible. Graduation is necessary for eligibility, but the statement does not make it sufficient. A person is eligible only if registered similarly places eligible persons within registered persons. If and only if establishes both directions. Expressions such as only a few are less standardised; translate them according to the wording or explicit definitions supplied rather than assuming a universal examination convention.

Some A are B does not exclude the possibility that all A are B.
Some A are not B does not assert that any A are B.
No A is B is equivalent to No B is A.

Syllogism-solving sequence

1. Identify whether the question asks about necessity or possibility.
2. Translate the premises into class relationships.
3. Draw inclusions and exclusions; mark existential witnesses.
4. Test each conclusion using direct implications.
5. Attempt a counterexample while preserving every premise.
6. Match the results to the exact answer option.

3. Venn diagrams and the counterexample method

Use circles or compact set sketches to represent classes. Place A inside B for All A are B, separate them for No A is B and mark a witness in their overlap for Some A are B. For Some A are not B, mark a witness inside A but outside B. The witness is important: an unmarked overlap may show a possibility without proving that anything actually occupies it.

Combine the premises before checking conclusions. All A are B and No B is C establish No A is C. Some A are B and All B are C establish Some A are C. However, All A are B and Some B are C do not establish Some A are C. The B members that belong to C might all lie outside A.

A single convenient diagram cannot establish necessity unless it captures every relevant arrangement. Instead, try to make the proposed conclusion false while preserving all premises. If this is possible, the conclusion does not necessarily follow. With All poets are readers and Some readers are teachers, place the teachers outside the poets while keeping them inside readers. This defeats Some poets are teachers without violating either premise.

For a possibility question, the test is different: one compatible arrangement is enough. With no relationship specified between two classes, overlap, separation or containment may remain possible, subject to other premises. Distinguish carefully between a conclusion being unsupported and its opposite being proved.

Necessity: every permitted arrangement supports the conclusion.
Possibility: at least one permitted arrangement supports the conclusion.
Contradiction: no permitted arrangement supports the claim.

Four categorical forms under modern logical interpretation
Form	Class relationship	Asserts existence?	Valid simple conversion
All A are B	A is a subset of B	No	None
No A is B	A and B are disjoint	No	No B is A
Some A are B	At least one member lies in both	Yes	Some B are A
Some A are not B	At least one A lies outside B	Yes	None

4. Conversion, existence and common fallacies

Conversion interchanges the subject and predicate. No A is B converts validly to No B is A, and Some A are B converts to Some B are A. All A are B does not convert to All B are A. Some A are not B does not convert to Some B are not A. All A could lie outside B while B is empty, or B could be wholly contained within A.

Existence is a major source of disagreement in practice material. Under modern logic, All A are B restricts membership but does not assert that A has members. Therefore, it does not by itself establish Some A are B or Some B are A. Those conclusions require evidence that A exists. Traditional syllogistic treatments may adopt existential assumptions for certain classes. Use an explicit question convention when provided; otherwise, avoid silently adding existence.

Another common error is merging separate witnesses. Some A are B and Some B are C may refer to different members of B, so Some A are C does not follow. Similarly, No A is B and No B is C establish no definite A–C relationship. Both classes could be inside the region outside B and could overlap or remain separate.

Complementary conclusions require precise reading. Some A are B and No A is B are contradictories: exactly one is true in any interpretation. This does not mean that either individual conclusion is established by unrelated premises. Select an either-or option only when its meaning and the logical relationship justify it.

All A are B contradicts Some A are not B.
Two particular premises generally do not establish a relationship between their non-shared terms.
Avoid turning one-way inclusion into equality.

5. A disciplined examination approach

Begin by replacing lengthy category names with letters while preserving direction and negation. Mark universal inclusions, exclusions and existential witnesses separately. Then check each conclusion independently against the complete premise set. A conclusion may follow from one premise alone; it need not use every statement.

Use direct chains first and counterexamples second. This is usually faster than listing every conceivable diagram. Reserve extra attention for only, not all, possibility and either-or wording. In practice sessions, maintain an error log distinguishing reversed inclusion, assumed existence, merged witnesses and reliance on outside knowledge. Accuracy improves when recurring reasoning errors are corrected rather than when large numbers of questions are attempted mechanically.

Do not add relationships merely because circles appear close together in a sketch.
Treat unfamiliar nouns as neutral labels.
Recheck the option wording after evaluating the conclusions.

Real-world case studies

Constitutional interpretation: citizens and persons

Article 19 of the Constitution guarantees specified freedoms to citizens, while Article 21 protects persons. Citizens form a subset of persons, but the categories are not interchangeable. This real legal distinction illustrates why reversing a class relationship can produce an incorrect claim about the scope of a constitutional provision.

Database queries and empty results

SQL databases distinguish testing for existence from filtering records. A query checking whether any record violates a rule can find no violations even when the relevant table is empty. A separate EXISTS test is needed to establish that a matching record exists. This illustrates why a universal condition does not itself prove the existence of a member.

Previous year questions

No source-linked PYQ is available here yet. Use the practice questions below.

Practice questions

Practice MCQ 1 · Easy

Accept the statements as true. Universal statements do not by themselves establish existence. Statements: 1. All geologists are observers. 2. All observers are patient persons. Conclusions: I. All geologists are patient persons. II. All patient persons are geologists. Which of the conclusions necessarily follows?

A. I only
B. II only
C. Both I and II
D. Neither I nor II

Practice MCQ 2 · Easy

Accept the statements as true. 'Some' means at least one. Statements: 1. Some gardeners are painters. 2. No painter is a pilot. Conclusions: I. Some gardeners are not pilots. II. No gardener is a pilot. Which of the conclusions necessarily follows?

A. Both I and II
B. II only
C. I only
D. Neither I nor II

Practice MCQ 3 · Easy

Accept the statements as true. 'Some' means at least one. Statements: 1. Only graduates are eligible persons. 2. Some clerks are eligible persons. Conclusions: I. Some clerks are graduates. II. All graduates are eligible persons. Which of the conclusions necessarily follows?

A. II only
B. I only
C. Neither I nor II
D. Both I and II

Practice MCQ 4 · Easy

Accept the statements as true. 'Some' means at least one. Statements: 1. Some writers are travellers. 2. Some travellers are photographers. Conclusions: I. Some writers are photographers. II. All photographers are travellers. Which of the conclusions necessarily follows?

A. I only
B. II only
C. Both I and II
D. Neither I nor II

Practice MCQ 5 · Easy

Accept the statements as true. Use modern categorical logic: universal statements do not by themselves assert that a class has members. Statements: 1. All astronomers are scientists. 2. No scientist is careless. Conclusions: I. No astronomer is careless. II. Some scientists are astronomers. Which of the conclusions necessarily follows?

A. Both I and II
B. I only
C. II only
D. Neither I nor II

Practice MCQ 6 · Moderate

Accept the statements as true. 'Some' means at least one; universal statements alone do not establish existence. Statements: 1. Only registered persons are coordinators. 2. All coordinators are volunteers. 3. No volunteer is a contractor. 4. Some registered persons are contractors. Conclusions: I. No coordinator is a contractor. II. Some registered persons are not coordinators. III. Some volunteers are registered persons. Which of the conclusions necessarily follow?

A. I only
B. II and III only
C. I and II only
D. I, II and III

Practice MCQ 7 · Moderate

Accept the statements as true. 'Some' means at least one. A claim is possible if it can hold in at least one arrangement satisfying all the statements. Statements: 1. All musicians are artists. 2. No artist is an accountant. 3. Some accountants are gardeners. Which of the following additional claims is possible?

A. All gardeners are accountants.
B. Some musicians are accountants.
C. All accountants are artists.
D. All gardeners are musicians.

Practice MCQ 8 · Moderate

Accept the statements as true. Interpret 'Not all X are Y' as 'At least one X is not Y'. Statements: 1. Not all editors are authors. 2. All editors are reviewers. 3. All reviewers are literate persons. Conclusions: I. Some literate persons are not authors. II. Some reviewers are not authors. III. Some authors are not editors. Which of the conclusions necessarily follow?

A. I only
B. II and III only
C. I, II and III
D. I and II only

Practice MCQ 9 · Moderate

Accept the statements as true. 'Some' means at least one; universal statements alone do not establish existence. Statements: 1. All elected persons are delegates. 2. Some observers are delegates. Desired conclusion: Some observers are trained persons. Which one of the following, when added separately to the statements, is sufficient to establish the desired conclusion?

A. All trained persons are delegates.
B. All delegates are trained persons.
C. Some delegates are trained persons.
D. All trained persons are observers.

Practice MCQ 10 · Moderate

Accept the statements as true. 'Some' means at least one. Statements: 1. Some planners are analysts. 2. No analyst is a broker. Conclusions: I. Some planners are not brokers. II. No planner is a broker. III. Some planners are brokers. Which of the following assessments is correct?

A. All three conclusions necessarily follow.
B. I and II necessarily follow, but III does not.
C. I necessarily follows; neither II nor III follows individually, but exactly one of II and III must be true.
D. III necessarily follows, but neither I nor II follows.

Practice MCQ 11 · Difficult

Accept the statements as true. 'Some' means at least one. 'Either ... or ...' is inclusive: membership in both classes is allowed unless excluded. Statements: 1. All restoration projects are technically reviewed projects. 2. Every technically reviewed project is either publicly funded or privately funded. 3. No publicly funded project is an emergency project. 4. All privately funded projects are audited projects. 5. Some restoration projects are emergency projects. 6. No audited project is an unrecorded project. Conclusions: I. Some emergency projects are audited projects. II. Some restoration projects are not unrecorded projects. III. No restoration project is publicly funded. Which of the conclusions necessarily follow?

A. I and II only
B. II and III only
C. I and III only
D. I, II and III

Practice MCQ 12 · Difficult

Accept the statements as true. 'Some' means at least one, and 'either ... or ...' is inclusive. Statements: 1. Only screened candidates are shortlisted. 2. Every screened candidate is either test-qualified or experience-qualified. 3. No test-qualified candidate is a deferred candidate. 4. All experience-qualified candidates are verified candidates. 5. No verified candidate is a provisionally admitted candidate. 6. Some shortlisted candidates are deferred candidates. Which one of the following additional claims is inconsistent with the statements?

A. Some test-qualified candidates are provisionally admitted candidates.
B. All shortlisted candidates are deferred candidates.
C. Some screened candidates are neither shortlisted nor deferred.
D. All shortlisted candidates are provisionally admitted candidates.

Practice MCQ 13 · Difficult

Five classes of persons, P, Q, R, S and T, each contain at least one person. Accept the following statements as true: 1. No P is Q. 2. No Q is R. 3. No R is S. 4. No S is T. 5. No T is P. A person may belong to more than one class wherever the statements permit it. What is the minimum possible number of distinct persons in the union of the five classes?

A. 2
B. 3
C. 4
D. 5

Practice MCQ 14 · Difficult

Accept the statements as true. 'Some' means at least one; universal statements alone do not establish existence. Statements: 1. All fellows are researchers. 2. Every researcher who is not an instructor is a reviewer. 3. No reviewer is a consultant. 4. Some fellows are consultants. 5. All instructors are mentors. Desired conclusion: Some mentors are trained persons. Which one of the following additional premises is sufficient to establish the desired conclusion?

A. All trained persons are consultants.
B. Some researchers are trained persons.
C. All consultants are trained persons.
D. All reviewers are trained persons.

Practice MCQ 15 · Difficult

Accept the statements as true. All classes below are classes of applicants. 'Some' means at least one. 'If and only if' operates in both directions, and 'either ... or ...' is inclusive. Statements: 1. An applicant is accredited if and only if the applicant is both verified and eligible. 2. All shortlisted applicants are verified. 3. Every shortlisted applicant is either eligible or exempt. 4. No exempt applicant is accredited. 5. Some shortlisted applicants are not exempt. 6. Some verified applicants are exempt. Conclusions: I. Some shortlisted applicants are accredited. II. Some eligible applicants are not exempt. III. Some verified applicants are not eligible. IV. All shortlisted applicants are eligible. Which of the conclusions necessarily follow?

A. I and II only
B. I, III and IV only
C. II and III only
D. I, II and III only

Syllogisms