Remove the real-world story
Syllogisms use categories that may sound familiar, but plausibility is irrelevant. If the rules describe surgeons who are musicians or trees that are vehicles, accept the fictional world exactly as stated. Adding what is usually true produces conclusions that the premises never guaranteed.
- Use only the premises
- Treat invented categories literally
- Do not repair an unusual rule with common sense
Translate all, no and some
All A are B places A entirely inside B. No A are B separates the two groups. Some A are B confirms at least one overlap. Some A are not B confirms at least one member of A outside B. Translate before comparing conclusions so the wording cannot blur the relationship.
- All A are B does not mean all B are A
- Some confirms existence
- No creates complete separation
Test the reverse direction
The most common trap reverses a one-way rule. From all pharmacists are graduates, you cannot conclude all graduates are pharmacists. Draw the smaller set inside the larger and ask whether the conclusion still holds for every possible arrangement. If a valid arrangement makes it false, it does not follow.
- Mark arrows or nested circles
- Check the conclusion direction
- Look for a counterexample arrangement
Worked example: combine two certain links
Premises: all blue cards are numbered; no numbered cards are blank. It follows that no blue cards are blank because every blue card enters the numbered group, which is separated from blank cards. It does not follow that all numbered cards are blue, because the first relationship is one-way.
- Blue is inside numbered
- Numbered is separate from blank
- Therefore blue is separate from blank
Handle some statements cautiously
Some A are B confirms an overlap but says nothing about the remaining members. It does not justify most, all or only. Combining some A are B with all B are C does justify that some A are C, because the known overlapping members of B must also enter C.
- Protect the known existing member
- Do not enlarge some into all
- Carry certain membership through an all rule
Use a fixed checking order
Underline the quantifiers, draw the smallest useful representation, test the conclusion’s direction, then search for a counterexample. During review, record whether the error came from reversal, assumed existence, or overextending some. A fixed sequence prevents hurried intuition from taking over.
- Quantifier
- Representation
- Direction
- Counterexample
- Decision
Frequently asked questions
Does all A are B mean all B are A?
No. The rule gives membership in one direction only.
What does some mean in a UCAT syllogism?
It confirms at least one member in the stated overlap or exclusion.
Should I use real-world knowledge?
No. Judge only the fictional rules supplied in the question.
How do I check whether a conclusion must follow?
Try to create a valid arrangement of the premises in which the conclusion is false.
Editorial information
Prepared by LearnVello editorial team · Last reviewed · Read our editorial standards