iLogic 2.4 Categorical Syllogisms

Standard categorical Syllogisms, Paraphrasing, and Reducing Terms