Lecture 5.3, Visualizing the Four Basic Categorical Propositions

Swiss mathematician Leonhard Euler (rhymes with "boiler") gave us an ingenious system for representing the four basic categorical propositions with diagrams consisting of two circles each. For many students, these "Euler's Circles" make it much clearer exactly what the A, E, I, and O propositions are saying (and what they're not saying).