Seja !$ p !$ uma probabilidade sobre um espaço amostral finito !$ Ω !$. Se !$ A !$ e !$ B !$ são eventos de !$ Ω !$ tais que !$ p(A) !$ = !$ { \large 1 \over 2} !$ , !$ p(B) !$ = !$ { \large 1 \over 3} !$ e !$ p(A ∩ B) = { \large 1 \over4} !$ , as probabilidades dos eventos !$ A \smallsetminus B !$, !$ A ∪ B !$ e !$ A^C ∪ B^C !$ são, respectivamente,
