Este documento describe tres tipos de diagramas para representar aseveraciones basadas en su cuantificador: 1) Por inclusión para aseveraciones universales como "Todos los cuchillos son objetos peligrosos", 2) Por intersección para aseveraciones existenciales como "Algunas mujeres son secretarias", y 3) Por exclusión para aseveraciones negativas como "Ningún pez es ave".