Designed for introductory logic courses, this app allows you to: - Construct syllogisms by choosing quality and quantity of premises and conclusion, and position of the middle term. - Test validity of syllogisms. - Display Venn diagrams.