Rigorous Reasoning
← Reasoning Lab

Formal Logic · Free

Distribution Analyzer

Enter a single categorical statement (All / No / Some / Some… are not) and see whether its subject and predicate terms are distributed — that is, whether the statement refers to every member of each term's class. Pedagogical companion to the Syllogism Checker: this tool isolates the rule and explains it; the Checker uses the same rule to test full syllogisms for validity.

Used in: Categorical Logic. Distribution is one of the most-confused topics in the categorical unit — it's a property of how a statement form quantifies over its terms, not a measure of how strong or true the statement is.
Statement
are

Where to go next

Syllogism CheckerTest full syllogisms for validity. Uses the same distribution rule applied across three statements at once.Open tool →Venn Diagram BuilderVisualize categorical relationships. Useful as a separate sandbox for thinking about set membership and overlap.Open tool →