A Mathematical Software for Deduction of Categorical Syllogisms

In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.