Niech Ω będzie zbiorem wszystkich wyników pewnego doświadczenia. Jeśli zdarzenia B1, B2, ..., Bn spełniają nasypujące warunki

• zawsze zachodzi przynajmniej jedno z nich (B1 ∪ B2 ∪ ... ∪ Bn = Ω)
• prawdopodobieństwo każdego z nich jest dodatnie
• zdarzenia te parami się wykluczają

to dla dowolnego zdarzenia A ⊂ Ω o dodatnim prawdopodobieństwie prawdziwy jest wzór

$P\left(B_k\mid A\right)=\frac{P\left(B_k\right)\cdot P\left(A\mid B_k\right)}{P\left(B_1\right)\cdot P\left(A\mid B_1\right)+P\left(B_2\right)\cdot P\left(A\mid B_2\right)+\dots +P\left(B_n\right)\cdot P\left(A\mid B_n\right)}$