Fundamental Theorems of Probability
Bayes Theorem:
Reasoning by cases theorem:
Independence theorem:
Where independence is defined as:
In each of the above theorems, all the probabilities are conditioned on the proposition. Since it could be equivalent to any logical formula, they all hold with c replaced by any vector of truth values, c.