===== ADIÇÃO LÓGICA =====
(in. Logical addition; fr. Addition logique; al. Logische Addition; it. Addizione logica).

Na [[lexico:a:algebra-da-logica|álgebra da lógica]] dá-se [[lexico:e:esse|esse]] [[lexico:n:nome|nome]] a [[lexico:o:operacao|operação]] "a + b" que goza de propriedades formais análogas às da adição [[lexico:a:aritmetica|aritmética]] (importantíssima a [[lexico:e:excecao|exceção]] "a + a = a"). Interpretada como operação entre classes "a + b", [[lexico:f:forma|forma]] a [[lexico:c:classe|classe]] que contém todos e só os [[lexico:e:elementos|elementos]], comuns e [[lexico:n:nao|não]] comuns, da classe a e da classe b. Interpretada como operação entre proposições, "a + b" indica sua [[lexico:a:afirmacao|afirmação]] dis-juntiva ("a [[lexico:e:eu|eu]] b").