Have you ever heard of Plato, Aristotle, Socrates?

Aristotle wrote one of the earliest systemizations of logic, his syllogisms. Unfortunately, he made two tiny oversights. An easy and fun logic lesson with students is to use Venn diagrams to check each syllogism, like so:


A full list of the syllogisms is in this document. Thanks to Keith Devlin for the idea.