Seja p uma probabilidade sobre um espaço amostral finito Ω. Se A e B são eventos de Ω tais que p(A) = 
, p(B) = 
e p(A ∩ B) = 
as probabilidades dos eventos A \ B, A ∪ B e Aᶜ ∪ Bᶜ são, respectivamente,
, p(B) = e p(A ∩ B) = as probabilidades dos eventos A \ B, A ∪ B e Aᶜ ∪ Bᶜ são, respectivamente,
