Bayes's Rule (in the odds form or proportional form) states:
Interpreting as the hypotheses under consideration, as the evidence being observed, and giving "prior odds", "likelihood ratio", and "posterior odds" their standard meanings, Bayes's Rule states:
To prove Bayes's Rule, use the definition of conditional probability:
As follows:
For a specific example, consider the problem:
20% of the patients in the screening population start out with Diseasitis. Among patients with Diseasitis, 90% turn the tongue depressor black. 30% of the patients without Diseasitis will also turn the tongue depressor black. Among all the patients with black tongue depressors, how many have Diseasitis?
Bayes's Rule would license solving the problem by saying, "The prior odds of Diseasitis vs. health are 1 : 4, the likelihood ratio for positive results is 3 : 1 for sick vs. healthy patients, therefore the posterior odds are 3 : 4, corresponding to a probability of 3/7 that a patient with a positive test result hase Diseasitis."
This reasoning would be valid because:
$\begin{array}{c} \dfrac{\mathbb P(sick)}{\mathbb P(\neg sick)} \times \dfrac{\mathbb P(positive|sick)}{\mathbb P(positive|\neg sick)} \0.3em = \dfrac{\mathbb P(positive \wedge sick)}{\mathbb P(positive \wedge \neg sick)} \0.3em = \dfrac{\mathbb P(positive \wedge sick) / \mathbb P(positive)}{\mathbb P(positive \wedge \neg sick) / \mathbb P(positive)} \0.3em = \dfrac{\mathbb P(sick|positive)}{\mathbb P(\neg sick|positive)} \end{array} $
The quantities corresponding to the steps above would be as follows:
Or in a visual interpretation:
As a formula for a single conditional probability with the variable having states that are mutually exclusive and exhaustive, Bayes's Theorem states:
This follows from the definition of conditional probability:
From the law of marginal probability:
And from the definition of conditional probability:
Using the Diseasitis example above, this would say:
$ $
Using the specific numbers: