The conditional probability of an event assuming that has occurred, denoted , equals
(1)
|
which can be proven directly using a Venn diagram. Multiplying through, this becomes
(2)
|
which can be generalized to
(3)
|
Rearranging (1) gives
(4)
|
Solving (4) for and plugging in to (1) gives
(5)
|