===== SUBTRAÇÃO =====
(in. Subtraction; fr. Soustraction-; al. Subtraction; it. Sottrazioné).

A [[lexico:n:nocao|noção]] de subtração [[lexico:l:logica|lógica]] foi introduzida por Boole da seguinte maneira: "Se x representa uma [[lexico:c:classe|classe]] de objetos, então 1 - x representa a classe contrária ou suplementar de objetos, que contém todos os objetos que [[lexico:n:nao|não]] estão na classe x" (Laws of Thought, 1854, cap. III, Prop. III, Dover publ., p. 48; v. também [[lexico:p:peirce|Peirce]], Coll. Pap., 3, 5, 9, 18, etc). Na lógica posterior essa noção desapareceu.