Overview 1The plan of this section
Probability starts by modelling an experiment.
- Sample spaces and events (Def. 1.1), the axioms (Def. 1.2) and what follows from them (Prop. 1.3).
- When outcomes are equally likely (Prop. 1.4), probability becomes counting: the multiplication principle, permutations and combinations (Prop. 1.5, Prop. 1.6, Technique 1.7).
- Inclusion–exclusion (Theorem 1.8) handles "at least one" questions.
Model: outcomes, events, axioms. Equally likely: probability = favourable / total. Then count carefully.