Logical Reasoning — Syllogism, Statements, Assumptions

Logical reasoning is the one section where the answer is fixed by rule rather than judgment, and yet candidates lose marks because they reason from what they know instead of what the statement says. Syllogism, statements-and-assumptions, and the allied statement families (conclusions, courses of action, arguments) all rest on a single discipline: treat the premises as the entire universe of given information, draw only what is logically forced, and reject anything that merely seems plausible. This chapter builds that discipline from first principles — the four categorical propositions, the distribution of terms, the rules of the valid syllogism, the Venn-diagram and complementary-pair shortcuts, and the precise tests for an implicit assumption. The same deductive spine drives the legal syllogism a judge performs every day: the law is the major premise, the proved facts the minor premise, and the judgment the forced conclusion.

Why this section rewards rule, not intuition

Quantitative topics such as percentage, ratio and proportion reward speed of calculation; logical reasoning rewards obedience to form. A syllogism is valid when its structure guarantees that true premises cannot yield a false conclusion — regardless of whether the premises are factually true. "All judges are dishonest; Mr. X is a judge; therefore Mr. X is dishonest" is a valid argument with a false premise: validity is about the link between premises and conclusion, not about truth in the world. Examiners exploit exactly this gap. They feed premises that offend common sense and ask whether the conclusion follows, knowing the untrained candidate will answer from belief rather than from logic.

The judicial parallel is direct. In what jurists call the legal syllogism, the applicable rule of law supplies the major premise, the facts found on evidence supply the minor premise, and the operative order is the conclusion compelled by their union. A judge who imports a conclusion not forced by the premises commits, in logic, the very fallacy a reasoning paper is designed to catch. So the mindset to cultivate from the first question is mechanical: identify the form, apply the rule, and ignore the world outside the four corners of the statement.

The four categorical propositions: A, E, I, O

Classical (Aristotelian) logic reduces every categorical statement to one of four standard forms, labelled by the medieval mnemonic drawn from the Latin affirmo (I affirm) and nego (I deny). The A proposition is the universal affirmative — "All S are P". The E proposition is the universal negative — "No S is P". The I proposition is the particular affirmative — "Some S are P". The O proposition is the particular negative — "Some S are not P".

Every statement in a syllogism question must first be translated into one of these four. "Politicians are corrupt" is an A statement (All politicians are corrupt). "Not a single witness lied" is an E statement (No witness lied). "A few clauses are void" is an I statement (Some clauses are void). "Several appeals were not allowed" is an O statement (Some appeals are not allowed). Two features matter for each form: its quantity (universal A and E speak of the whole subject class; particular I and O speak of part of it) and its quality (affirmative A and I assert inclusion; negative E and O assert exclusion). Misreading quantity or quality is the single commonest cause of wrong answers, so the translation step deserves more care than the inference step.

Distribution of terms — the hidden engine

A term is distributed in a proposition when that proposition makes a claim about every member of the class the term names. Distribution is the hidden engine of syllogistic validity, and the rule is short enough to memorise outright. In an A proposition ("All S are P") only the subject is distributed; the predicate is not, because "All dogs are animals" says nothing about every animal. In an E proposition ("No S is P") both subject and predicate are distributed, because "No dog is a cat" excludes every dog from every cat. In an I proposition ("Some S are P") neither term is distributed. In an O proposition ("Some S are not P") the predicate is distributed but the subject is not — "Some accused are not guilty" removes those accused from the entire guilty class.

A two-line memory aid captures it: universals (A, E) distribute their subject; negatives (E, O) distribute their predicate. Cross-tabulated, A distributes subject only, E distributes both, I distributes neither, and O distributes predicate only. Carry this table into every syllogism, because the validity rules below are stated entirely in terms of distribution.

Anatomy of the syllogism: terms, premises, figure and mood

A categorical syllogism has exactly three terms, each used twice. The major term is the predicate of the conclusion; the minor term is the subject of the conclusion; the middle term appears in both premises but never in the conclusion — it is the bridge that links the other two. The premise containing the major term is the major premise; the premise containing the minor term is the minor premise.

The mood of a syllogism is the ordered triple of proposition types — for example AAA, EIO — naming the major premise, minor premise and conclusion in turn. The figure is fixed by where the middle term sits: subject of major and predicate of minor (Figure 1), predicate of both premises (Figure 2), subject of both premises (Figure 3), or predicate of major and subject of minor (Figure 4). Of the 256 mood-and-figure combinations only a small set are valid; the medieval mnemonic Barbara, Celarent, Darii, Ferio names the four perfect Figure-1 forms. You do not memorise all valid moods for an exam — you apply the rules in the next section, which decide validity directly without naming the figure.

The rules of the valid syllogism and their fallacies

A categorical syllogism is valid if and only if it breaks none of the following rules; each violation has a named fallacy. Rule 1 — three terms. There must be exactly three terms, each used in the same sense throughout; a fourth term (often smuggled in by an ambiguous word) is the fallacy of four terms. Rule 2 — the middle term must be distributed at least once. If it is distributed in neither premise the argument commits the undistributed middle — the most frequently tested fallacy of all. Rule 3 — no term distributed in the conclusion may be undistributed in its premise. Over-reaching on the major term is the illicit major; over-reaching on the minor term is the illicit minor.

Rule 4 — two negative premises yield nothing (the fallacy of exclusive premises). Rule 5 — if either premise is negative the conclusion must be negative, and a negative conclusion requires a negative premise; breaching this is drawing an affirmative conclusion from a negative premise. A useful corollary follows from Rules 4 and 5: from two affirmative premises only an affirmative conclusion can follow. Rule 6 (existential) — from two universal premises you cannot validly infer a particular conclusion if the classes might be empty; ignoring this is the existential fallacy, a point that separates traditional from modern logic. For nearly every exam question, Rules 2 and 3 — the distribution rules — decide the answer, which is why the distribution table above is worth more than any list of valid moods.

The Venn-diagram method: the reliable workhorse

For Indian competitive papers the safest technique is the Venn diagram, because it tests a conclusion against every arrangement the premises permit. Draw the two premises as overlapping circles, shading regions a premise empties ("No"/"All") and marking with an X any region a premise guarantees is occupied ("Some"). A conclusion follows only if it holds in every diagram consistent with the premises; if even one valid diagram makes the conclusion false, it does not follow. This mirrors Rule-based validity but is far less error-prone under time pressure.

Two worked patterns recur. "All A are B; all B are C" forces "All A are C" (valid, Barbara) and also yields the weaker "Some A are C" and "Some C are A". By contrast "Some A are B; all B are C" forces only "Some A are C"; the universal "All A are C" fails because a diagram can put some A outside C. The discipline of drawing the worst-case diagram — the one that tries hardest to break the conclusion — is the same instinct that serves you in time, distance and speed word problems, where the trap lies in the case you forgot to check.

A common procedural slip is to draw only the arrangement that confirms the desired conclusion and to stop there. The Venn method protects you precisely because it is exhaustive: where a premise says "some", the marked region must be placed in the position least favourable to the candidate conclusion, and only if the conclusion survives even that hostile placement does it follow. For three-statement chains, build the diagram cumulatively — encode the first two premises, then test whether the third statement's region can be added without contradiction. The diagram is slower than mood-matching for the first few questions but immune to the memory errors that mood tables invite, which is why it remains the recommended default under examination conditions.

Negative and particular premises — the classic traps

Most wrong answers cluster around negatives and particulars. From two particular premises ("Some A are B; some B are C") nothing follows, because neither premise distributes the middle term B — a direct breach of Rule 2 producing an undistributed middle. From two negative premises nothing follows either, by Rule 4. A negative premise demands a negative conclusion, so "No A is B; all C are A" can only yield "No C is B" (or its converse), never an affirmative.

The subtlest trap is the illegitimate conversion of an A or an O statement. "All lawyers are graduates" does not licence "All graduates are lawyers"; an A proposition converts only by limitation to "Some graduates are lawyers". An O proposition does not convert at all: "Some witnesses are not reliable" tells you nothing about reliable people. Examiners routinely offer the converted A or the converted O as a tempting distractor, and a candidate reasoning from meaning rather than form walks straight into it.

The same care applies to immediate inferences beyond conversion. Obversion — changing the quality and replacing the predicate with its complement — is always valid: "All accused are presumed innocent" obverts to "No accused is presumed guilty". Contraposition — replacing the subject with the complement of the predicate and the predicate with the complement of the subject — is valid for A and O statements but not for E and I. Under the modern (Boolean) reading, the square of opposition keeps only the contradictory relations (A with O, E with I) as universally reliable; the contrary, subcontrary and subaltern relations of the traditional square hold only when the classes are known to be non-empty. For exam purposes, treat "contradictories cannot share a truth value" as the one square-of-opposition rule that never fails, and verify every other immediate inference on a diagram.

Possibility cases and either-or conclusions

Modern Indian banking and judiciary-style papers add two refinements that classical logic handles quietly. Possibility questions ask not whether a conclusion must follow but whether it can follow — that is, whether at least one valid Venn diagram makes it true. "All A are B" makes "Some A are not B" impossible (it must be false in every diagram), but "Some A are not C is a possibility" can be true where the premises leave room for it. Treat "is a possibility" as satisfied by a single consistent diagram, and "definitely follows" as requiring all diagrams.

Either-or (complementary-pair) cases arise when two given conclusions are individually uncertain but together exhaust the possibilities, so that one of them must hold. The two telltale pairs are an I and an O on the same terms ("Some A are C" / "Some A are not C") and an A and an O, and more loosely a "Some" paired with a "No". When neither conclusion alone follows but every valid diagram satisfies one or the other, the correct answer is "either I or II follows". Spotting that the two candidate conclusions are complementary — same subject and predicate, opposite quality — is the entire skill here.

Statements and conclusions: drawing only what is forced

The statements-and-conclusions family is syllogism stripped of its symbolic form. A passage is given, followed by candidate conclusions, and you decide which conclusions definitely follow from the information in the passage alone. The cardinal rule is that a conclusion must be derivable without any outside knowledge; a statement that is true in the real world but not entailed by the passage does not follow. A second rule bars conclusions that merely restate the statement — a restatement is not an inference. A third bars conclusions resting on comparison or degree that the statement never quantified.

Treat the passage exactly as you treat syllogism premises: shade what is excluded, mark what is asserted, and refuse to add. If the statement says "the scheme benefited many farmers", the conclusion "the scheme benefited all farmers" over-distributes and fails, while "the scheme benefited some farmers" is forced and follows. This is the same particular-versus-universal vigilance demanded throughout the aptitude and reasoning hub.

Statement and assumption: the unstated bridge

An assumption is something the author has taken for granted — left unsaid yet necessary for the statement to make sense. It is the missing premise that bridges the statement to its purpose. The test is rigorous: an assumption is implicit only if the statement would be pointless or incoherent without it. Apply the negation test — negate the candidate assumption; if the negation destroys the statement, the assumption is implicit; if the statement survives, it is not.

Consider: "Please switch off the lights when you leave the office." The assumption that "the lights can be switched off" is implicit, because if they could not, the request would be senseless. But "the office consumes too much electricity" is not implicit — the request stands even if consumption is normal, perhaps for safety. Several reliable sub-rules follow. Any statement framed as a notice, request, advertisement, appeal or order carries the implicit assumption that the audience will read and may act on it. A bare restatement of the statement is never an assumption. Comparative or superlative claims ("this is the best option") are almost never implicit, because the statement rarely needs the comparison to function. And critically, judge the assumption from the author's standpoint, not your own beliefs.

Statement and course of action: practicality as the test

A course of action is a proposed step to solve a problem, reduce its severity, or improve a situation described in the statement. A suggested action follows only if it satisfies three conditions together. It must be practical and feasible — capable of being implemented in the real world with ordinary resources. It must address the problem — either solving it or measurably improving the situation, not merely commenting on it. And it must be proportionate — a small problem calls for a modest remedy, not a drastic one that creates larger problems than it cures.

The recurring trap is the over-broad or punitive action that exceeds the problem. If the statement reports a few road accidents at one junction, "install a signal at the junction" follows, but "ban all vehicles in the city" does not — it is disproportionate and impractical. Beware also of actions that assume facts not stated, or that address a cause the statement never identified. As with assumptions, decide on the information given, not on what you would personally do.

Statement and argument: strong versus weak

In statement-and-argument items a proposition (usually a "should" question) is followed by arguments for and against, and you classify each as strong or weak. A strong argument is both directly relevant to the question and substantial in its reasoning — it engages the real merits. A weak argument is irrelevant, trivial, ambiguous, based on an individual example rather than a general principle, or a mere question or restatement dressed as reasoning.

Typical weak arguments include appeals to fear or to authority without reasoning, arguments that confuse the question with a different issue, and arguments whose force depends on an unstated and doubtful assumption. A strong argument, by contrast, would survive a reasonable person's scrutiny on the precise point asked. The discipline overlaps with assumption analysis: an argument that smuggles in an unwarranted assumption is weak for the same reason an over-reaching conclusion fails the syllogism — the link to the premise is not secured.

The legal syllogism in judgment writing

Everything above is not a detour from law but its skeleton. A well-reasoned judgment is a chain of legal syllogisms: the court states the governing rule (major premise), records the facts it finds proved on evidence (minor premise), and reaches the order those two compel (conclusion). When an appellate court reverses on the ground that the conclusion "does not follow from the findings", it is, in logical terms, identifying a syllogism whose conclusion over-reaches its premises — an illicit major or an undistributed middle in legal dress.

This is why mastering distribution and the rules of validity pays twice over: it wins the reasoning section of the prelims and it trains the inferential discipline that mains judgment-writing rewards. A candidate who instinctively asks "is this conclusion forced by the premises, or merely consistent with them?" reasons like a judge. The same habit of isolating the necessary from the merely plausible underlies clean work in number system and arithmetic foundations, where a single unjustified assumption derails an otherwise correct chain.

Exam strategy and the errors that cost marks

Build a fixed routine. First, translate every statement into A, E, I or O and note quantity and quality before doing anything else. Second, for syllogisms draw the worst-case Venn diagram and accept a conclusion only if it survives every diagram; for possibility questions accept it if even one diagram supports it. Third, scan the candidate conclusions for complementary pairs before concluding "neither follows" — the either-or answer hides exactly there. Fourth, for assumptions run the negation test; for courses of action apply the practicality, problem-solving and proportionality filters; for arguments ask whether the reasoning would survive scrutiny on the precise question.

The recurring errors are predictable: importing real-world knowledge, illegitimately converting an A or O statement, treating a particular premise as universal, accepting an over-broad course of action, and confusing a restatement with an inference or an assumption. Each is a failure of the same discipline — reasoning from belief rather than from what the premises force. Drill mixed sets under time, and the form will become automatic, leaving your judgment free for the genuinely close calls. For numerically flavoured logic puzzles, the proportional thinking practised in time and work reinforces the same insistence on what the data strictly permit.