(in. Logical addition; fr. Addition logique; al. Logische Addition; it. Addizione logica).
Na álgebra da lógica dá-se esse nome a operação “a + b” que goza de propriedades formais análogas às da adição aritmética (importantíssima a exceção “a + a = a”). Interpretada como operação entre classes “a + b”, forma a classe que contém todos e só os elementos, comuns e não comuns, da classe a e da classe b. Interpretada como operação entre proposições, “a + b” indica sua afirmação dis-juntiva (“a eu b”). [Abbagnano]