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

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}