Disjuncția propozițiilor p, q este propoziția "p sau q" care este adevărată dacă și numai dacă cel puțin una din propozițiile p, q este adevărată și falsă în celelalte cazuri.
Notație:

Disjuncția predicatelor p(x), q(x) devine o propoziție adevărată pentru acele valori ale lui x pentru care cel puțin una din propozițiile p(x), q(x) este adevărată și falsă în caz contrar.
Notație:

Reuniunea a două mulțimi A și B se exprimă printr-o disjuncție:
