El documento explica cómo usar diagramas de Venn para probar la validez de silogismos categóricos. Se describen los pasos para representar las premisas y conclusión de un silogismo usando tres clases que representan los tres términos. Un silogismo es válido si la conclusión queda representada al diagramar solo las premisas. Se proveen ejemplos resueltos paso a paso y ejercicios adicionales para practicar esta técnica.