Illuminations: Euler Diagrams and Logic
Illuminations (National Council of Teachers of Mathematics)

This lesson focuses on using Euler diagrams to explore direct, indirect, and transitive reasoning.