Probability Rules
Probability Rules are the algebraic laws governing how probabilities of events combine. One-line statement: Probabilities lie between 0 and 1, sum to 1 over all outcomes, and combine via the addition rule (for "or"), the multiplication rule (for "and"), and the complement rule (for "not"). Where it applies: any situation involving uncertainty — dice, cards, weather, genetics, medical testing, insurance. Who/when: formalized by Pierre de Fermat and Blaise Pascal (1654), axiomatized by Andrey Kolmogorov (1933).
Probability is a measure — a way of assigning a "size" between 0 and 1 to sets of outcomes. Because outcomes are sets, the entire subject reduces to the arithmetic of overlapping and disjoint sets. "Or" corresponds to union and uses addition (with a correction for overlap); "and" corresponds to intersection and uses multiplication (adjusted for dependence); "not" corresponds to the complement and uses subtraction from 1. Master these three correspondences and you can solve almost any introductory problem.
Formal Statement
The sample space is the set of all possible outcomes of an experiment. An event is any subset of . A probability function assigns to each event a number satisfying Kolmogorov's axioms:
Derivation hint: An event cannot happen less often than never (0) or more often than always (1); this is an axiom, not derived.
Derivation hint: Some outcome in the sample space must occur, so the certain event has probability 1 — an axiom.
Derivation hint: For mutually exclusive (disjoint) events, the count of favourable outcomes simply adds; this is the additivity axiom.
Symbols: = sample space; = events (subsets of ); = probability of ; = " or " (union); = " and " (intersection); = empty set; = complement of (everything not in ).
When has equally likely outcomes and event contains of them, the classical definition gives:
Derivation hint: Each outcome carries equal probability by symmetry; adding of these via [3] gives .
From the axioms, the following derived rules hold for all events .
Complement Rule:
Derivation hint: and are disjoint and together form ; apply [3] then [2].
General Addition Rule:
Derivation hint: Adding and double-counts the overlap ; subtract it once.
Conditional Probability:
Derivation hint: Restricting to the world where occurred rescales probabilities by dividing by .
General Multiplication Rule:
Derivation hint: Rearrange [7]; the chance of both is the chance of one times the chance of the other given the first. For independent events, , so [8] simplifies:
Derivation hint: Independence means knowing tells nothing about , so ; substitute into [8].
Why It Holds / Derivation
We prove [6] using only axioms [1]–[3].
Step 1. Partition into three disjoint pieces: outcomes in only, in only, and in both. Formally, write , a disjoint union.
Step 2. By additivity [3]:
Step 3. Similarly decompose , three mutually disjoint pieces. By [3]:
Step 4. From Step 2, . Likewise .
Step 5. Substitute into Step 3:
Step 6. Simplify to obtain , which is [6].
∎The Russian mathematician Andrey Kolmogorov transformed probability from a collection of clever gambling tricks into a rigorous branch of mathematics. In his 1933 monograph Grundbegriffe der Wahrscheinlichkeitsrechnung ("Foundations of the Theory of Probability"), he showed that probability is just a special kind of measure theory — the mathematics of assigning sizes to sets. His three axioms (non-negativity, normalization to 1, and countable additivity) are exactly equations [1]–[3] above, and every rule in this article is a logical consequence of them. This unification let probability borrow the full power of real analysis, and it underpins modern statistics, quantum mechanics, and finance.
Building Intuition
Think of the sample space as a dartboard of total area 1. Each event is a region on the board, and its probability is just the fraction of the board it covers. Then:
- Complement [5]: the chance of not hitting a region is the rest of the board — minus that region.
- Addition [6]: to find the area covered by region or region , add their areas but subtract the overlap you counted twice.
- Multiplication [8]: "and" shrinks things — the chance of landing in and then in a sub-region is a fraction of a fraction, so you multiply.
The key mental switch: "or" tends to make probabilities bigger (addition); "and" tends to make them smaller (multiplication).
Worked Examples
Given: A standard 52-card deck. Draw one card. Let = "card is a King", = "card is a Heart". Find .
Step 1. Count favourable outcomes. There are 4 Kings, so . There are 13 Hearts, so .
Step 2. Find the overlap. The King of Hearts is both, so .
Step 3. Apply the addition rule [6]:
Step 4. Simplify: .
Note: had we forgotten to subtract the overlap, we'd wrongly get .
Given: A bag has 5 red and 3 blue marbles (8 total). Draw two marbles. Find (a) with replacement, (b) without replacement.
Part (a) — with replacement (independent events). First draw: . After replacing, the second draw is identical: . By independence [9]:
Part (b) — without replacement (dependent events). First draw: . Now 4 red remain out of 7. So . By the multiplication rule [8]:
The "without replacement" probability is lower because removing a red marble reduces the chance of a second red.
Common Misconceptions
These two terms are routinely confused but are nearly opposite ideas.
- Mutually exclusive events cannot both happen: . Use the simple addition rule.
- Independent events do not affect each other: .
If two events with nonzero probability are mutually exclusive, they are necessarily dependent — because if happens, definitely cannot, so gives strong information about . Never assume an event combination is independent without checking; physical setup determines it.
Claim (false): "A fair coin has landed heads five times in a row, so tails is now 'due' and more likely on the next flip."
Reality: Successive coin flips are independent [9]. The coin has no memory. The probability of tails on flip six is exactly , regardless of history:
What is rare is getting six heads in a row from the start: . But once five heads have already occurred, that part is no longer uncertain — only the sixth flip remains, and it is a fresh . Confusing the probability of a whole sequence with the probability of the next step is the gambler's fallacy.
Connections
Probability rules sit at the centre of a web of related topics. They generalize from Set Theory, since events are sets and the addition rule is exactly the inclusion–exclusion principle for set sizes. Conditional Probability (equation [7]) extends the multiplication rule and leads directly to Bayes' Theorem, the engine of modern statistical inference and machine learning. Counting favourable outcomes for equation [4] requires Combinatorics (permutations and combinations). When repeated independent trials are involved, the multiplication rule [9] gives rise to the Binomial Distribution, and averaging outcomes connects to Expected Value. Together these form the foundation of Descriptive Statistics and Inferential Statistics.
Real-World Applications
Historical Development
Subtleties & Limits
The classical rules assume a well-defined sample space with assignable probabilities — but specifying these is not always straightforward. Three live issues:
- What does probability mean? The frequentist view (probability = long-run relative frequency) and the Bayesian view (probability = degree of belief) give the same algebra [1]–[9] but disagree philosophically about single, non-repeatable events ("the probability it will rain tomorrow"). This interpretation debate remains unresolved.
- Infinite and continuous sample spaces: When outcomes are uncountable (e.g., a randomly chosen real number in ), individual outcomes have probability zero, and equation [4] fails. One needs measure theory and probability density functions — beyond the equally-likely counting model.
- Ill-posed problems: The Bertrand paradox shows that "choose a random chord of a circle" yields different probabilities depending on the (unstated) method of randomization, revealing that "at random" must always be precisely defined.
See Also
Conditional Probability · Bayes' Theorem · Combinatorics · Random Variables · Binomial Distribution · Expected Value · Set Theory · Law of Large Numbers · Independence (Probability)