Si [math]A_1, A_2, ..., A_n[/math] son eventos mutuamente excluyentes de un espacio muestral [math]\Omega[/math], de los cuales por lo menos uno debe ocurrir, tales que [math]\sum_{i=1}^{n} P(A_i)=1[/math]. Entonces, si [math]B\subset \Omega[/math]:
[math]P(A_j | B) = \frac{P(A_j) P(B|A_j)}{\sum_{i=1}^{n} P(A_i)P(B|A_i)}[/math]
