“Foi Gottfried Wilhelm Leibniz (1646-1716) quem primeiro dedicou um estudo sério à análise de proposições lógicas por meio de diagramas”, mais tarde desenvolvidos por Euler e Venn. Para Leibniz, um silogismo aristotélico clássico poderia ser perfeitamente expresso na forma de círculos.

BARON, Margaret E. A note on the historical development of logic diagrams: Leibniz, Euler and Venn. The Mathematical Gazette, v. 53, n. 384, 1969, p. 116s.

Atente, então, para os círculos excêntricos A e B, que contêm parcialmente um ao outro.



A relação entre os conjuntos A e B pode ser expressa na seguinte sentença: