IB Syllabus Requirements for Probability
4.5
Probability basics, sample spaces and complementary events
4.6
Diagrams, combined events, conditional probability and independence
4.11
Formal conditional probability and testing for independence
4.13
Bayes' theorem for up to three events
4.5
PROBABILITY BASICS, SAMPLE SPACES AND COMPLEMENTARY EVENTS
A trial is a procedure that can be repeated and gives one result. Examples include rolling a die once, selecting one card, or asking one student whether they travelled by bus. An outcome is one possible result of that trial. A sample space is the set of every possible outcome. In this syllabus, it is written as , where is the sample space being discussed and has no unit.
An event is a subset of the sample space containing the outcomes of interest. If is an event, gives the number of outcomes in event . It is a count, so it has no unit. In the same way, gives the number of outcomes in the sample space and is also a count with no unit.
When outcomes are equally likely, they all have the same chance of occurring. In this common special case,
The words equally likely matter. Counting sectors won’t give the probability if a spinner has unequal sectors. For a fair die, however, counting faces works. Probability lies between and : represents an impossible event, represents a certain event, and values between them measure risk or likelihood.
You can show a sample space as a list, a set, a table, or a grid. A list is enough for one die: . With two trials, a table often helps prevent missed cases by making you account for every pair of outcomes.
Two fair dice sample space with at least one 6 highlighted.
| 1 | ||||||
| 2 | ||||||
| 3 | ||||||
| 4 | ||||||
| 5 | ||||||
| 6 |
A relative frequency is the proportion observed after repeated trials. If an event occurs times in trials, its relative frequency is
.
This is experimental probability because it comes from data. Theoretical probability comes from a model, such as the assumption that a coin is fair. After many repetitions, the relative frequency may settle near the theoretical probability, but it remains an approximation rather than a guarantee.
That makes simulations useful. A calculator or spreadsheet can simulate a random process thousands of times very quickly, so the connection between theory and observation becomes visible. Simulations also show that probability isn’t certainty: a chance does not mean exactly one occurrence in every ten trials.
The complement of an event contains every outcome in the sample space that is not in the original event. The complement of is written , where is the event that does not occur.
Either occurs or occurs, but they cannot both occur. Therefore,
This is often the quickest method for phrases such as "at least one". Rather than listing every possible way to get at least one success, calculate the probability of getting none.

The expected number of occurrences is the long-run average count that a probability model predicts over a fixed number of trials. Suppose an event has probability , where is the probability of the event occurring in one trial and is dimensionless. If there are trials, where is the number of trials and is a count with no unit, then
For example, suppose a school expects a probability that a student will be late on a wet morning. Among students, the expected number who are late is . This does not require exactly students to be late; an expected value is an average produced by the model. That distinction matters when probability is used in insurance, planning, genetics, physics, or risk decisions, where people may perceive danger differently from how the numbers describe it.
4.6
DIAGRAMS, COMBINED EVENTS, CONDITIONAL PROBABILITY AND INDEPENDENCE
Probability questions are easier once you can see their structure. A Venn diagram is a set diagram showing events as regions within a sample space. Use one for overlaps such as and , or for wording such as "or", "and", and "not".
A tree diagram is a branching diagram used to show a sequence of trials. It is particularly useful when probabilities change after the first outcome, especially in selection without replacement. A sample space diagram is a grid or table listing paired outcomes. It works well for two dice or two spinners, and for two independent selections where each pair can be counted.
When to use each probability diagram or table
| Representation | Best for | Typical wording / structure |
|---|---|---|
| Venn diagram | Overlaps of events | "or", "and", "not"; sets inside a sample space |
| Tree diagram | Sequences of trials | Steps that change after the first outcome; with or without replacement |
| Sample space diagram | Paired outcomes | Two dice, two spinners, or two selections where each pair can be counted |
| Outcomes table | Listing all outcomes | A grid of results to compare paired outcomes directly |
Let be a second event in the same sample space. It is a subset of and has no unit. The event is the union of events and , meaning or or both. In everyday English, "or" is often understood as exclusive. In probability, it is normally inclusive unless the question states otherwise.
The general addition rule is
Here, is the probability that event occurs. The event means that both and occur, while is the probability of that intersection. All these probabilities are dimensionless.
The overlap is already counted once in and again in , so must be subtracted. This is the safe formula to use unless the question gives a reason to simplify it.

Two events are mutually exclusive events when they cannot occur in the same trial. In symbols,
For mutually exclusive events, the general addition rule becomes
Don’t confuse mutually exclusive events with independent ones. If two non-impossible events are mutually exclusive, the occurrence of one tells you that the other did not occur. They are therefore not independent.
A conditional probability is a probability calculated after some information is known. The notation means the probability that occurs given that has occurred, and is dimensionless. Its formal definition is
provided . Rearranging gives
The word "given" is a useful warning light. Once you know that has happened, the sample space is no longer all of ; it is now the part inside . On a Venn diagram, compare the overlap with the whole of , not with the entire rectangle.

In selection problems, with replacement means that an item is returned before the next selection, restoring the composition of the collection. Without replacement means that the item is not returned, so later probabilities usually change.
A tree diagram shows this difference clearly. Multiply branch probabilities along a path. When different paths satisfy the event, add their probabilities. If the tree includes every possible outcome, its terminal probabilities should add to . This provides a useful built-in check.

Two events are independent events when knowing that one has occurred does not change the probability of the other. For independent events,
Don’t assume this formula applies simply because two events appear unrelated. Independence is a condition to check, or information to use when the question states that the events are independent. The distinction matters in gambling contexts: probability can calculate risk clearly, but using it to exploit players raises an ethical question rather than a purely mathematical one.
4.11
FORMAL CONDITIONAL PROBABILITY AND TESTING FOR INDEPENDENCE
The formal definition of conditional probability isn’t new, but this syllabus point requires you to use it deliberately:
with .
For tree diagrams, the rearranged form is often more useful:
A complete path probability comes from multiplying the first-branch probability by the conditional probability on the second branch.
If the given event is , use the companion version:

There are two equivalent ways to test for independence. The multiplication test is
The conditional-probability test is
If is independent of whether occurs, its probability stays the same inside , outside , and across the whole sample space. In applications such as medical studies or risk-factor analysis, this tests mathematically whether one classification appears to affect another.
When a question asks whether two events are independent, give a numerical comparison rather than just a sentence. Calculate both sides of one independence condition, then compare them.
Using the multiplication test, for example, calculate and . Equal values show that the events are independent; unequal values show that they are dependent. Alternatively, calculate and compare it with .
Make sure the conclusion matches the calculation. One common trap: mutually exclusive events aren’t automatically independent. If and , mutually exclusive events have but , so they fail the independence test.
Two-way table for independent events and
| Event | Total | ||
|---|---|---|---|
| 0.20 | 0.20 | 0.40 | |
| 0.30 | 0.30 | 0.60 | |
| Total | 0.50 | 0.50 | 1.00 |
Probability appears across many disciplines, but its interpretation depends on the context. A calculation may show dependence between two medical or social categories, yet it cannot explain the cause by itself. Here, the distinction between mathematical evidence and subject-specific reasoning is useful rather than artificial.
4.13
BAYES' THEOREM FOR UP TO THREE EVENTS
Bayes' theorem combines prior and conditional probabilities to reverse the direction of conditioning. Put simply, it answers questions such as: if the test is positive, how likely is each possible cause?
Begin with two mutually exhaustive alternatives, and . Mutually exhaustive events have a union that covers the whole sample space, so one of them must occur. For two alternatives, Bayes' theorem is
The denominator gives the total probability of . It splits this probability into the routes through and . Students often miss this step: Bayes is simply conditional probability combined with a complete list of routes to the evidence.

When there are a maximum of three possible underlying events, label them , , and . Here, represents the th possible underlying event for . Together, the events should partition the sample space, meaning exactly one occurs.
Bayes' theorem becomes
A tree diagram usually provides the clearest working method. Place the three possible sources, groups, machines, diagnoses, or categories on the first set of branches, then put the observed event and its complement on the second set. Multiply along each path. Finally, divide the path you want by the total of all paths ending in .

Bayes' theorem is much less interesting when is independent of the underlying event. If is independent of , then for each relevant . Observing therefore doesn’t update the probabilities of the events. This is the SL independence idea in a new setting.
Base rates matter when Bayes' theorem is used in medical screening, economics, quality control, and other real systems. If false positives are common, a rare condition may still be unlikely after a positive test. The mathematics is applicable, but its value depends on whether the model is valid and the probabilities are reliable.