(in. Subtraction; fr. Soustraction-; al. Subtraction; it. Sottrazioné).
A noção de subtração lógica foi introduzida por Boole da seguinte maneira: “Se x representa uma classe de objetos, então 1 – x representa a classe contrária ou suplementar de objetos, que contém todos os objetos que não estão na classe x” (Laws of Thought, 1854, cap. III, Prop. III, Dover publ., p. 48; v. também Peirce, Coll. Pap., 3, 5, 9, 18, etc). Na lógica posterior essa noção desapareceu. [Abbagnano]