Logikapp contains a number of tools for studying and teaching formal logic. The website is still in development. I am frequently adding new tools and improving old ones. In addition, I am working on short written sections to help students understand both how to solve the problems as well as how to use the website. Check back often for updates.

If you have questions or you find bugs, feel free to email Zack Garrett at zackgarrett127@gmail.com.

Categorical Logic

Modern Venns

Traditional Venns

Modern Square

Traditional Square


Modern Syllogisms

Traditional Syllogisms