A simple tool to check the validity of categorical three statement syllogisms. This was made for fun, based off topics discussed in my intro to logic class.
The number of negative statements in the conclusion must equal the number of negatives in the premises.
If both of the premises are particular in quantity, then the conclusion must also be particular, and if both premises are universals, then the conclusion must be universal.
If a group is distributed in the conclusion, then it must also be distributed in a premise.
The middle group must be distributed in at least one of the premises.