Este documento explica cómo diagramar silogismos categóricos. Muestra cómo representar las premisas "Ningún humano es invisible" y "Todo dindolindo es invisible" usando círculos que representan los términos de la proposición. También muestra cómo la conclusión "Ningún dindolindo es humano" se deduce al diagramar las premisas.