## Related questions with answers

In deterministic logic, the statement “$A$ implies $B$” is equivalent to its contrapositive, “not $B$ implies not $A$”. In this problem we will consider analogous statements in probability, the logic of uncertainty. Let $A$ and $B$ be events with probabilities not equal to 0 or 1. (a) Show that if $P(B|A) = 1$, then $P(A^c|B^c) = 1$. Hint: Apply Bayes’ rule and LOTP. (b) Show however that the result in (a) does not hold in general if $=$ is replaced by $\approx$. In particular, find an example where $P(B|A)$ is very close to 1 but $P(A^c|B^c)$ is very close to 0. Hint: What happens if A and B are independent?

Solution

Verified#### (a)

Let $P(B|A) = 1$.

$\begin{align*} &P(B|A) = \dfrac{P(B)P(A|B)}{P(A|B)P(B)+P(A|B^c)P(B^c)} = 1 \\ &\Rightarrow P(B)P(A|B) = P(A|B)P(B)+P(A|B^c)P(B^c) \Rightarrow P(A|B^c)P(B^c) = 0 \end{align*}$

Thus $P(A|B^c) = 0$ or $P(B^c) = 0$. If $P(A|B^c) = 0 \Rightarrow P(A^c|B^c) = 1$, so we are done in this case. If $P(B^c) = 0$ then $P(A^c|B^c)$ does not have a sense.

## Create an account to view solutions

## Create an account to view solutions

## Recommended textbook solutions

#### Probability and Statistics for Engineers and Scientists

9th Edition•ISBN: 9780321629111 (9 more)Keying E. Ye, Raymond H. Myers, Ronald E. Walpole, Sharon L. Myers#### Introduction to Probability

2nd Edition•ISBN: 9781138369917Jessica Hwang, Joseph K. Blitzstein#### Probability and Statistics for Engineering and the Sciences

9th Edition•ISBN: 9781305251809 (9 more)Jay L. Devore#### Statistics and Probability with Applications

3rd Edition•ISBN: 9781464122163Daren S. Starnes, Josh Tabor## More related questions

- differential equations

1/4

- differential equations

1/7