Syllogism Validator
Check the validity of categorical syllogisms by figure and mood. Identifies all 19 traditionally valid syllogistic forms.
Inputs
Results
Valid Syllogism (1=Yes)
1
Figure1
Valid Forms in Figure4
Total Valid Forms (All Figures)19
Total Possible Moods64
Mood NameAAA
How to Use This Calculator
- Enter the major premise (e.g., 'All men are mortal').
- Enter the minor premise (e.g., 'Socrates is a man').
- Input the proposed conclusion (e.g., 'Socrates is mortal').
- Review whether the syllogism is valid (the conclusion necessarily follows) and whether the premises are true.
- Identify the syllogism figure and mood to classify it in classical logic.
Ad Placeholder
Related Calculators
Truth Table Generator
Generate a complete truth table for propositional logic formulas with 2-4 variables and common logical operations.
Predicate Logic Evaluator
Evaluate quantified predicate logic statements (universal, existential, unique existential) over a finite domain.
Logical Equivalence Checker
Test whether two propositional logic expressions produce identical truth values across all variable assignments.
Set Theory Calculator
Calculate union, intersection, difference, symmetric difference, and complements for two sets with similarity metrics.
Ad Placeholder