Archivo:Modus Bocardo.svg


La deducción está representada por un diagrama de Venn de 3 círculos .
Las premisas y la consecuencia lógica se representan mediante diagramas de Venn de 2 círculos.

Las áreas marcadas en negro están vacías ; no hay elementos en estas áreas.
En las áreas rojas hay al menos un elemento, representado por una x .
Las áreas blancas no son importantes para la deducción y no se dice nada sobre ellas. Puede haber elementos o no.

Esta tabla muestra 14 silogismos esencialmente diferentes representados por sus diagramas de Euler en la fila superior.
Debajo se muestran los 24 silogismos representados por diagramas de Venn, ordenados por figura, en las filas de abajo.

Los silogismos con los mismos diagramas están en la misma columna.
El borde entre columnas se omite cuando los diagramas son reflejos entre sí.
Los silogismos con conclusiones afirmativas están en el lado izquierdo, y aquellos con conclusiones negativas están en el lado derecho.