La primera representación gráfica de deducciones lógicas —y, en particular, de silogismos— se atribuye comúnmente a Gottfried Leibniz.