Let \(B\) be an event with the probability \(p(B) > 0\) and let \(A\) be another event. The conditional probability of \(A\) given \(B\) is defined as the quotient of the probability of the events \(A\) and \(B\) occurring concurrently, and the probability of \(B\), symbolically: \[p(A|B) = \frac{p(A \cap B)}{p(B)}\]
Definitions: 1
Proofs: 2 3 4 5 6
Propositions: 7 8