Finally we get to a conditional probability: the probability of A given B, written as prob(A | B). A conditional probability is conceptually simple: it’s just the probability of the then in an if-then. It’s also arithmetically simple: it’s just the probability of A and B divided by the probability of B.
