πSyllogism Test
Judge whether conclusions logically follow from their premises, independent of real-world truth.
Judge whether each conclusion logically follows from its premises β based purely on logical structure, not whether it's true in real life. Some conclusions sound believable but are logically invalid.
Can you decide whether a conclusion must be true β even when it conflicts with what you know about the real world? Take this free Syllogism Test to challenge deductive reasoning. Each problem gives you two or more premises involving categories such as "all A are B," "no B are C," or "some A are C." Then you decide whether a proposed conclusion logically follows.
The challenge is to judge the logical structure, not whether the statements sound believable in real life.
How to Take the Syllogism Test
- 1Press Start Test.
- 2Treat the premises as true for the purpose of the puzzle.
- 3Identify the relationships among the categories.
- 4Test whether the conclusion must follow.
- 5Do not rely on real-world knowledge.
- 6Choose Valid only when the conclusion is logically guaranteed.
- 7Continue through all problems.
- 8Review explanations and diagrams.
A conclusion that sounds obviously true can still be logically invalid. A bizarre conclusion can be logically valid if it follows from the stated premises.
What Is a Syllogism?
A syllogism is a deductive argument in which premises are used to derive a conclusion. Traditional categorical syllogisms use statements involving classes or categories: universal affirmative (all A are B), universal negative (no A are B), particular affirmative (some A are B), and particular negative (some A are not B). A reasoning problem combines these statements and asks whether the conclusion is logically necessary.
A Simple Valid Example
Premises: all tulips are flowers; all flowers are plants. Conclusion: all tulips are plants. If the premises are true, the conclusion must be true. The argument is valid because the class relationship is tulips within flowers within plants. Real-world knowledge happens to agree with the premises, but that is not what makes the inference valid.
Validity Is Not the Same as Truth
This distinction is fundamental. Truth asks whether the individual statements are factually correct. Validity asks whether the conclusion would have to follow if the premises were true. Consider: all planets are sandwiches, all sandwiches are musicians, therefore all planets are musicians. The premises are absurd in the real world, but the argument form is logically valid β if both premises were true, the conclusion would necessarily follow. A good syllogism test deliberately includes unfamiliar or artificial categories so users cannot solve everything by world knowledge.
Invalid Arguments Can Have True Conclusions
Now consider: all dogs are mammals, all cats are mammals, therefore no cats are dogs. The conclusion happens to fit ordinary knowledge, but it is not guaranteed by those two premises alone. The premises tell us dogs are inside the mammal set and cats are inside the mammal set β they do not specify whether the dog and cat sets overlap. A believable conclusion can therefore be logically invalid. This conflict creates one of the most famous effects in syllogistic reasoning.
What Is Belief Bias?
Belief bias is the tendency for the believability of a conclusion to influence judgments of logical validity. People are more likely to accept believable conclusions and reject unbelievable conclusions, even when the logical structure points the other way. Classic work by Jonathan Evans, Julie Barston, and Paul Pollard in 1983 demonstrated substantial effects of both logical validity and conclusion believability. The strongest reasoning conflicts occur when belief and logic disagree.
BeliefβLogic Conflict
A balanced test should include four combinations: valid and believable (logic and prior belief agree), valid and unbelievable (the conclusion follows, but sounds false or strange), invalid and believable (the conclusion sounds plausible, but is not logically guaranteed), and invalid and unbelievable (both logic and belief favor rejection). The most informative trials are the conflict conditions β valid but unbelievable, or invalid but believable β because they reveal whether real-world belief interferes with formal deduction.
Why Neutral or Fictional Terms Help
One way to reduce belief bias is to use unfamiliar categories, such as "all Norps are Taves, some Lems are Norps, therefore some Lems are Taves." Because "Norps" and "Taves" have no real-world meaning, you cannot rely on prior knowledge β you must reason from the category structure. A public test can mix abstract terms with familiar real-world terms, allowing the result to compare pure structural reasoning with belief-conflict performance.
Venn Diagrams
Venn diagrams are one of the clearest tools for solving categorical syllogisms. For "all A are B," draw A completely inside B. For "no A are B," draw A and B as non-overlapping. For "some A are B," place an X in the overlap. For "some A are not B," place an X inside A but outside B. Then ask whether every diagram satisfying the premises also satisfies the conclusion. If you can construct even one possible diagram where the premises are true and the conclusion is false, the conclusion is not logically guaranteed.
Finding a Counterexample
Deductive validity can be tested by asking: can I make the premises true while making the conclusion false? If yes, the argument is invalid. Example: all A are B, all C are B, conclusion: all A are C. Imagine B as one large circle, with A on the left inside B and C on the right inside B. The premises remain true, but A and C do not overlap β the conclusion is false. That possible counterexample proves the inference invalid.
"All" Does Not Automatically Mean "Some"
Modern formal logic usually treats "all A are B" as compatible with there being no A at all. For example, "all unicorns in this room are blue" can be logically true even if there are no unicorns in the room. This creates an important issue called existential import β from "all A are B" you generally should not infer "some A are B" unless existence of A is given or assumed by the test. A good browser test should state its convention clearly. The simplest modern convention is that universal premises do not imply existence.
Why Existential Import Causes Confusion
Traditional Aristotelian syllogistic systems sometimes handled universal propositions differently from modern predicate logic. As a result, online syllogism puzzles can disagree about certain conclusions involving existence. For SEO content and scoring consistency, this test explicitly uses modern logic: "all A are B" does not by itself guarantee that any A exist. "Some A..." premises are included whenever existence needs to be established, preventing ambiguous answer keys.
Common Syllogistic Errors
Reversing "all" incorrectly concludes "all B are A" from "all A are B." Assuming existence concludes "some A are B" from "all A are B" without evidence that A exists. Belief bias means accepting a conclusion because it sounds true. Atmosphere effects mean being influenced by the positive/negative or universal/particular "feel" of the premises. Figural bias means being influenced by the order in which categories are presented. These effects show that syllogistic reasoning involves more than memorizing a few valid forms.
Syllogism Test vs. Deductive Reasoning Test
The Deductive Reasoning Test can include conditionals, set logic, ordering, rule application, and multi-step inference. This Syllogism Test remains focused on categorical quantified reasoning.
Syllogism Test vs. Wason Selection Task
The Wason Selection Task focuses on "if P, then Q" and asks which cases must be examined. Syllogistic reasoning focuses on relationships among classes: all, no, some. Both are deductive tasks, but the formal structures are different β the Wason task is conditional reasoning, while syllogisms are categorical reasoning.
Syllogisms in Aptitude and Competitive Exams
Syllogism questions are common in aptitude tests, verbal reasoning exams, banking and recruitment exams, and logical-reasoning practice. Those exam formats sometimes use specialized diagram shortcuts or answer-choice conventions. This cognitive version remains simpler: does the conclusion necessarily follow, yes or no? That clean format maps directly onto psychological research on logical validity and belief bias.
What Is a Good Syllogism Score?
There is no universal percentile for a custom browser set. Difficulty changes with number of premises, quantifiers, belief conflict, abstract vs. familiar terms, time limits, and existential assumptions. A better result can show overall validity accuracy, believable-conclusion accuracy, unbelievable-conclusion accuracy, and belief-conflict accuracy β revealing where reasoning breaks down, not just how many questions were correct.
Frequently Asked Questions
What is a syllogism?
A deductive argument where premises establish category relationships and a conclusion is evaluated from those premises.
What makes a syllogism valid?
The conclusion must be true in every case where all the premises are true.
Can a valid syllogism have false premises?
Yes. Validity concerns logical structure, not factual truth.
What is belief bias?
The tendency to let real-world believability influence judgments of logical validity.
Does "All A are B" mean some A exist?
Under standard modern logic, no. Existence must be established separately.
Can Venn diagrams help?
Yes. They make category relationships and possible counterexamples visible.
Is this an IQ test?
No. It is a focused logical-reasoning task.
The core syllogism question is not "does this conclusion sound right?" It is "could the premises be true while the conclusion is false?" If you can build even one valid counterexample, the conclusion does not necessarily follow. That habit β separating what is believable from what is logically required β is the central skill behind syllogistic reasoning.
Want to try something else?
Browse all free tests β