Este documento describe las diferentes inferencias inmediatas válidas entre proposiciones categóricas. Explica las inferencias por operación como conversión, obversión, contraposición parcial y total. Además, analiza cómo los diagramas de Venn pueden usarse para determinar la validez de una inferencia, dependiendo de si los diagramas de la premisa y conclusión son iguales o no.