Logic & Proof
Math · Foundational · Lesson 4 of 8

Sets & Venn Diagrams

Logic you can draw

An interactive lesson with 6 steps, about 5 minutes: you predict, drag and solve, with instant feedback on every answer. It runs in your browser and needs JavaScript.

What you’ll learn

  • Intersection = and, union = or, complement = not.
  • ∣A∪B∣=∣A∣+∣B∣−∣A∩B∣|A \cup B| = |A| + |B| - |A \cap B| (inclusion–exclusion).
  • Venn diagrams make logical laws like De Morgan’s visible.

Steps

  1. And, or, not as regions
  2. Tea and coffee
  3. Neither
  4. De Morgan, drawn
  5. Inclusion–exclusion
  6. Three clubs