La lógica de clase es una rama de la lógica que distingue los razonamientos silogísticos válidos de los inválidos mediante el uso de diagramas de Venn . [1]
En el razonamiento silogístico, cada premisa toma una de las siguientes formas, refiriéndose a un individuo o clase de individuos. Por ejemplo:
El uso de diagramas de Venn puede verse como un razonamiento. Si el argumento es válido y la conclusión debe determinarse a partir de las premisas que se representan en el diagrama [3]
Cada forma de razonamiento tiene un convertiente, una premisa que es equivalente pero con opuesto [4] Ejemplo: