Operador lógico que resulta en una proposición compuesta de la forma "p o q", donde p y q son proposiciones. Se denota con "pVq" o "pORq". La disyunción es verdadera si y sólo si al menos una de las proposiciones p o q es veradera. En lógica y matemáticas la disyunción es incluyente, es decir, significa p o q o ambas. (El término disyunción puede referirse al operador o al resultado de aplicarlo a dos proposiciones.)