Problem
The problem I'm dealing with is taken from my book's section on Bayes' Theorem, which I understand. Here it is:
Assume one person out of 10,000 is infected with HIV, and there is a test in which 2.5% of all people test positive for the virus although they do not really have it. If you test negative on this test, then you definitely do not have HIV. What is the chance of having HIV, assuming you test positive for it?
Attempt
So I started by defining some sets. Let $T$ be the event that you test positive for HIV, $\overline{T}$ be the event that you test negative for HIV, $H$ be that you actually have HIV, and $\overline{H}$ be that you don't have HIV. We want to find $p(H \space | \space T)$, and here's what we know:
1) $p(H) = 0.0001$
2) $p(\overline{H}) = 0.9999$
3) $p( T \space | \space \overline{H}) = 0.025$
4) $p( H \space | \space \overline{T}) = 0$ (because the prompt states that if you test negative, then you definitely don't have HIV, so the probability of having HIV given that you tested negative is $0$).
Issues and concerns
From here, I don't know how to proceed, because here's what Bayes Theorem states:
$p(H \space | \space T) = \frac{p(T \space | \space H) \cdot p(H)}{p(H)p(T \space | \space H) + p(\overline{H})p(T \space | \space \overline{H})}$
The only component I don't know is $p(T \space | \space H)$.
What's more concerning to me is that the book says something different for #4 above, the statement about definitely not having HIV if you test negative:
The problem states that if a person tests negative, then that person definitely does not have HIV. Therefore, it is impossible for a person to test negative and have HIV, so $p(\overline{T} \cap H) = 0$. Since $p(\overline{T}|H) = p(\overline{T} \cap H)/p(H)$, then $p(\overline{T}|H) = 0$. Since $p(\overline{T}|H) + p(T|H) = 1$, we know that $p(T|H) = 1$
But I disagree with their claim that the statement
If you test negative on this test, then you definitely do not have HIV
Translates to $p(\overline{T}|H) = 0$. Why was I wrong?