For the following problem
In a given health insurance group $20$% of policyholders have high blood pressure and $30$% have high cholesterol. Of those with high blood pressure $25$% have high cholesterol. A policyholder is randomly selected from the group. Calculate the probability that they have high blood pressure given that they have high cholesterol.
Now, this is a simple Bayesian probability question. The answer is $$P(HBP \vert HCh) = \frac{P(HCh \vert HBP) \cdot P(HBP)}{P(HCh)} = \frac{0.25 \cdot 0.2}{0.3}$$
My question is why is this the form of Bayes' Formula that is used and not the following more general form?
$$P(HBP \vert HCh) = \frac{P(HCh \vert HBP) \cdot P(HBP)}{(P(HCh \vert HBP)P(HBP) + (P(HCh \vert HBP^{c})P(HBP^{c})}$$
I know it cannot be solved this way as we don't know the quantity $P(HCh \vert HBP^{c})$ but I want to know how to know which denominator to use (just the single probability or the total probability) from the problem statement. Is it simply the case if the denominator in Bayes' formula contains information that we can't determine then we default to the single probability version? That would be a useful working understanding of how to approach these problems but I'm hoping someone can give me a more fundamental intuition.
Apologies if this question is quite simplistic, it's been a few months since I last studied the material and I've regressed quite a bit in my understanding.
You should understand the basis of Bayes' Theorem, then application is easier, also try and simplify notation as much as possible, as it is the formula can become quite fearsome looking at times.
So I take $P(B) =$ P(have high Blood pressure),
$P(C) =$ P(have high Cholesterol)
And the basis of Bayes' Theorem is
$P(B \cap C) = P(B) * P(C\mid B) = P(C) * P(B \mid C)$
which provides the means to invert a conditional probability
So don't worry about the full form of Bayes' Theorem, if the "baby" Theorem suffices. When the "whole" denominator is given, why must you break it up into parts ?
$P(B\mid C) = \Large\frac{P(B \cap C)}{P(C)}$