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.

See also Axioms Probability.