Disjuncția propozițiilor și a predicatelor. Reuniunea mulțimilor

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:

$p\vee q$

$p$	$q$	$p\vee q$
1	1	1
1	0	1
0	1	1
0	0	0

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:

$p\left(x\right)\vee q\left(x\right)$

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

$A\cup B=\left\{x \overline{) }x\in A sau x\in B\right\}.$