En razonamiento formal, una disyunción lógica (formula_1) (en específico, 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.