“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:
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:
