En razonamiento formal, una
disyunción lógica ( ) (en especifico, una
disyunción inclusiva) entre dos proposiciones es un
conector lógico cuyo
valor de la verdad resulta en
falso sólo si ambas proposiciones son falsas, y en
cierto de cualquier otra forma. Existen diferentes contextos dónde se utiliza la disyunción lógica.