) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
[1] Existen diferentes contextos donde se utiliza la disyunción lógica.
En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica, en inglés se utiliza "or".
En álgebra Booleana, la disyunción como operador binario entre dos variables se representa con el símbolo de más (+).
, se puede definir la operación binaria: disyunción, por la que a una variable
Para todo par ordenado (a,b) en U por U, se cumple que existe un único c en U, tal que c es el resultado de la disyunción lógica a y b.
Si existe una sola literal se le considera disyunción degenerada.
En la literatura especializada varía el símbolo matemático de la disyunción lógica.
Por ejemplo: Nótese que en ciencias computacionales el operador puede utilizar o para llevar un bit a 1 aplicando una operación o entre el bit y un 1.
Como condición necesaria a la definición de x + y, siguiendo una analogía muy similar a la empleada en matemáticas ordinarias, Boole estableció que x e y fuesen mutuamente exclusivas.
Jevons, y prácticamente todos los matemáticos lógicos sucesivos, abogaron, en varias disciplinas, por una definición de «adición lógica» de tal modo que no requiera exclusividad mutua.