Jevons, y prácticamente todos los matemáticos lógicos sucesivos, abogaron, en varias disciplinas, por una definición de «adición lógica» de tal modo que no requiera exclusividad mutua.