9.5 Deductive Reasoning, Syllogisms, and Venn Diagrams

Adamson University College Entrance Test AdUCET

Track your progress as you read

Finished sections get a check mark.

1 Introduction & Exam Overview

1.1 AdUCET Overview, Format, and Admission Process 1.2 Test-Taking and Time-Management Strategies

2 Chapter 2: Mathematics I — Numbers, Algebra, and Functions

2.1 Number Sense, Operations, and Fraction–Decimal–Percent Conversions 2.2 Algebra, Polynomials, and Linear/Quadratic Equations 2.3 Inequalities, Absolute Value, and Systems of Equations 2.4 Radicals, Rational Expressions, and Scientific Notation 2.5 Coordinate Geometry, Lines, and Functions

3 Chapter 3: Mathematics II — Geometry, Measurement, and Trigonometry

3.1 Plane Geometry: Angles, Triangles, Polygons, and Circles 3.2 Solid Mensuration, Measurement, and Unit Conversion 3.3 Right-Triangle Trigonometry and Applications

4 Chapter 4: Mathematics III — Sequences, Proportion, and Data

4.1 Arithmetic and Geometric Sequences and Series 4.2 Ratio, Proportion, Percentage, Work, and Mixture Problems 4.3 Descriptive Statistics and Data Interpretation 4.4 Probability: Rules, Compound Events, and Conditional Probability 4.5 Counting Principles: Permutations and Combinations

5 Chapter 5: English I — Reading Comprehension and Vocabulary

5.1 Reading Comprehension: Main Idea, Purpose, and Passage Structure 5.2 Inference, Supporting Detail, and Author's Tone 5.3 Word Roots, Prefixes, and Suffixes 5.4 Vocabulary in Context, Synonyms, Antonyms, and Confusables

6 Chapter 6: English II — Grammar, Usage, and Written Expression

6.1 Subject-Verb Agreement and Verb Tenses 6.2 Pronouns, Modifiers, and Parallel Structure 6.3 Sentence Boundaries, Clauses, and Punctuation 6.4 Sentence Correction, Redundancy, and Idiomatic Usage 6.5 Verbal Analogies and Relationship Bridges 6.6 Paragraph Organization, Coherence, and Transitions

7 Chapter 7: General Science I — Biology and Chemistry

7.1 Cell Biology, Transport, and Cellular Energetics 7.2 Genetics, Heredity, and Molecular Biology 7.3 Human Body Systems, Ecology, and Evolution 7.4 Matter, Phase Changes, and Atomic Structure 7.5 Periodic Trends, Chemical Bonding, Reactions, Acids and Bases

8 Chapter 8: General Science II — Physics and Earth Science

8.1 Mechanics: Motion, Newton's Laws, Work, and Energy 8.2 Waves, Sound, Light, Heat, Electricity, and Magnetism 8.3 Earth's Structure, Plate Tectonics, and the Rock Cycle 8.4 The Atmosphere, Weather, the Water Cycle, and Astronomy

9 Chapter 9: Aptitude and Abstract Reasoning

9.1 Figure Series and Pattern Progression 9.2 Matrix Reasoning and Figural Analogies 9.3 Spatial Reasoning: Rotation, Reflection, and Chirality 9.4 Paper Folding, Cube Nets, and Orthographic Views 9.5 Deductive Reasoning, Syllogisms, and Venn Diagrams 9.6 Number, Letter, and Alphanumeric Series 9.7 Odd-One-Out, Classification, and Logic Puzzles

9.5 Deductive Reasoning, Syllogisms, and Venn Diagrams

Key Takeaways Explain This Topic AI

A deductive argument is valid when its form guarantees the conclusion and sound only when it is valid and every premise is factually true, so absurd premises can still sit inside a perfectly valid argument.

Universal propositions (A and E) distribute their subject and negative propositions (E and O) distribute their predicate, which means 'Some S are P' distributes neither term.

A syllogism fails if the middle term is undistributed in both premises, if both premises are negative, or if a term distributed in the conclusion was undistributed in the premise it came from.

Only the contrapositive (not-q therefore not-p) is logically equivalent to 'if p then q'; the converse and the inverse are not, and asserting them is affirming the consequent or denying the antecedent.

On a Venn diagram shading means a region is empty and an X means at least one member exists, so always diagram the universal premises before the particular ones.

Last updated: August 2026

9.5 Deductive Reasoning, Syllogisms, and Venn Diagrams

The logical-reasoning items in the AdUCET aptitude test ask one narrow question: does the conclusion have to follow from the statements given? Not whether it sounds sensible, not whether it is true of the real Philippines, only whether the structure of the argument forces it. Nearly every mark lost on these items is lost the same way, by importing outside knowledge instead of reading the form.

Deduction versus induction

Deductive reasoning runs from a general rule down to a particular case, and it delivers certainty: if the premises are true, the conclusion cannot be false. Inductive reasoning runs the opposite way, from observed cases up to a general rule, and it delivers only probability.

Feature Deductive reasoning Inductive reasoning
Direction General rule to specific case Specific cases to general rule
Certainty Necessary — true premises guarantee the conclusion Probable — true premises only make it likely
Judged by Validity , then soundness Strength, sample size, representativeness
Destroyed by A counter-model: premises true, conclusion false One counter-example
Typical wording 'All … Some … Therefore …' 'Every X so far has been … so all X are …'

'Every jeepney I have ridden along España Boulevard was painted red, therefore all jeepneys are red' is inductive. The evidence supports the claim without guaranteeing it, and one blue jeepney ends the argument.

Validity is not truth

An argument is valid when its form guarantees the conclusion whatever the facts happen to be. 'All jeepneys are submarines; all submarines are purple; therefore all jeepneys are purple' is valid and entirely false. An argument is sound only when it is valid and every premise is actually true. Examiners plant deliberately silly premises precisely to see whether you reason from form, so never reject a conclusion just because a premise offends common sense.

The four categorical propositions

Every categorical statement reduces to one of four types, labelled A , E , I and O . A term is distributed when the statement makes a claim about every member of that class.

Code Standard form Name Subject Predicate
A All S are P Universal affirmative distributed undistributed
E No S are P Universal negative distributed distributed
I Some S are P Particular affirmative undistributed undistributed
O Some S are not P Particular negative undistributed distributed

Memory hook: universals distribute the subject; negatives distribute the predicate. 'All Adamson freshmen are enrolled students' tells you something about every freshman, so the subject is distributed, but it tells you nothing about every enrolled student in Manila, so the predicate is not.

Anatomy of a categorical syllogism

Three statements, three terms, each term used exactly twice.

Major term (P) — the predicate of the conclusion; it appears in the major premise .

Minor term (S) — the subject of the conclusion; it appears in the minor premise .

Middle term (M) — appears in both premises and never in the conclusion; it is the bridge that links S to P.

Five working rules of validity

The middle term must be distributed at least once . If it is not, the argument commits the undistributed middle .

Any term distributed in the conclusion must already be distributed in its own premise . Breaking this for the major term is an illicit major ; for the minor term, an illicit minor .

Two negative premises yield nothing. If both premises are E or O, no conclusion whatsoever follows.

If exactly one premise is negative, the conclusion must be negative ; and a negative conclusion demands a negative premise.

If either premise is particular (I or O), the conclusion must be particular . Two universal premises never license a particular conclusion under the strict reading, because a universal statement never promises that anything exists.

Worked determination 1 — a valid syllogism

Major premise: All engineering freshmen take Calculus 1. Minor premise: Some AdUCET passers are engineering freshmen. Conclusion: Some AdUCET passers take Calculus 1.

Label the terms first. P = people who take Calculus 1 (predicate of the conclusion). S = AdUCET passers (subject of the conclusion). M = engineering freshmen (in both premises, in neither conclusion slot). The premise pattern is A then I.

M is the subject of 'All M are P', an A proposition, so M is distributed . Rule 1 passes.

The conclusion is an I proposition, which distributes neither term, so no term can be illicitly distributed. Rule 2 passes.

Neither premise is negative, so rules 3 and 4 pass and the conclusion is correctly affirmative.

One premise is particular and the conclusion is particular. Rule 5 passes.

Verdict: valid. The Venn check agrees. Shade the part of M lying outside P (that is what 'All M are P' means), then place the X for 'Some S are M' in the S-and-M overlap. The only part of that overlap still unshaded is the region inside all three circles, so the X lands inside P automatically — and 'Some S are P' is read off without adding a single new mark.

Worked determination 2 — an invalid syllogism

Premise 1: All varsity athletes receive a tuition discount. Premise 2: All Dean's listers receive a tuition discount. Conclusion: All Dean's listers are varsity athletes.

The middle term is 'people who receive a tuition discount'. It is the predicate of two A propositions, so it is undistributed both times and rule 1 fails at once. Verdict: invalid — undistributed middle.

The counter-model makes the failure concrete. A university may grant tuition discounts to varsity athletes, to Dean's listers and to employees' children, with not one athlete on the Dean's list. Both premises are true and the conclusion is false, which is exactly what invalidity means. On the diagram, shading the athlete region outside 'discount' and the Dean's-list region outside 'discount' leaves the 'Dean's lister but not athlete' region blank — neither shaded nor marked — so nothing is forced.

Named formal fallacies

Fallacy Shape Why it collapses

Undistributed middle All A are C; All B are C; so all B are A C never distributed, so the two groups need not touch

Illicit major All A are C; No B are A; so no B are C C is distributed in the conclusion but not in the premise

Illicit minor All A are C; All A are B; so all B are C B is distributed in the conclusion but not in the premise

Affirming the consequent If p then q; q is true; so p is true q may have arrived by some other route
Denying the antecedent If p then q; p is false; so q is false q may still be true for a different reason
Conditional statements and their relatives

Take the statement 'If Marisol passes the AdUCET, then she may enrol at Adamson', written p implies q.

Name Form Equivalent to the original?

Original p implies q —
Converse q implies p No
Inverse not-p implies not-q No
Contrapositive not-q implies not-p Yes

Only the contrapositive is logically equivalent. The converse and inverse are equivalent to each other but not to the original, since each is the contrapositive of the other. Two argument forms are valid: modus ponens (p implies q, p is true, therefore q) and modus tollens (p implies q, q is false, therefore p is false). The two invalid forms are exactly the converse and inverse read as arguments — affirming the consequent and denying the antecedent.

Testing with Venn diagrams

Two conventions carry everything: shading means the region is empty , and an X means at least one thing lives there . (a) All S are P (b) No S are P (c) Some S are P

+------+------+------+ +------+------+------+ +------+------+------+
| #### | | | | | #### | | | | | |
| #### | S&P | P | | S | #### | P | | S | X | P |
| #### | | only | | only | #### | only | | only | | only |
+------+------+------+ +------+------+------+ +------+------+------+
S only

#### = shaded, meaning that region is EMPTY
X = at least one member exists in that region

Those two-circle pictures also settle immediate inferences . 'No S are P' may be converted to 'No P are S', and 'Some S are P' to 'Some P are S', because both diagrams are symmetric. 'All S are P' may not be converted to 'All P are S' — the shading sits on one side only.

For a full syllogism, draw three overlapping circles and name the seven regions before marking anything: S only, P only, M only, S-and-P without M, S-and-M without P, P-and-M without S, and the central region inside all three. Then follow two procedural rules:

Diagram the universal premises (A and E) first , because their shading decides where a later X can legally go.

Read, never add. The syllogism is valid only if the conclusion is already visible on the finished diagram without one extra stroke. If you would have to invent a placement, it is invalid.

When a premise pushes an X toward two still-open regions and shading has not decided between them, place the X on the boundary line between them. A boundary X supports no definite conclusion about either region.

Either-or and complementary conclusions

Some items give two candidate conclusions and ask which one follows. Occasionally neither follows on its own, yet the two are complementary , meaning logic guarantees that one of them is true. The answer is then 'either I or II follows'.

Pair (same subject, same predicate, same order) Relationship Guarantee
'All S are P' and 'Some S are not P' Contradictories (A–O) Exactly one is true
'No S are P' and 'Some S are P' Contradictories (E–I) Exactly one is true
'Some S are P' and 'Some S are not P' Subcontraries (I–O) At least one is true

Worked example. Statements: all Vincentian scholars are Adamson students; some Adamson students are varsity athletes. Conclusion I: some Vincentian scholars are varsity athletes. Conclusion II: no Vincentian scholars are varsity athletes. The middle term 'Adamson students' is the predicate of an A and the subject of an I, undistributed twice, so neither conclusion follows by itself. But I and II are an E–I contradictory pair, so exactly one of them must be true. The correct response is either I or II follows . Examiners apply the convention that every named class has at least one member, which is what makes the I–O row usable.

What examiners test

Rejecting a valid argument because a premise is factually silly, or accepting an invalid one because the conclusion is factually true.

Reading 'some' as 'some but not all'. In logic, 'some' means at least one , and it is perfectly compatible with 'all'.

Confusing the converse with the contrapositive, which is the single most common conditional error.

Forgetting that two negative premises license nothing at all, and that one negative premise forces a negative conclusion.

Drawing the particular premise before the universal one, which lets an X land in a region that later shading proves empty.