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:

Aristotle Logic Venn Diagrams

Thanks to Keith Devlin for the idea.