Conditional probability, and independence vs. mutually exclusive
~65 min · WST01 · 3.2
WST01 · 3.2 · 65 min
Two events overlapping tells you nothing about whether they are independent — and two events being independent tells you they cannot be mutually exclusive. All five WST01 examiner reports read for this course flag a version of the same confusion, in a different disguise each time: candidates assume independence instead of computing , or they judge independence by eye — *"they are not independent as they overlap"* — instead of by the one calculation that actually settles it. Both errors come from treating two genuinely different questions (do these events share any outcomes? does knowing one change the probability of the other?) as though they were the same question.
Before you read on
Two or three questions on exactly what this lesson teaches. Being wrong here is fine — it's the fastest way to find out what to pay attention to next.
Sample space, mutually exclusive events, and where the conditional probability formula actually comes from
The sample space is the set of every possible outcome of an experiment, and an event is a subset of it — 'the die shows an even number' is the subset of . Two events and are mutually exclusive (spec 3.2) when they share no outcomes at all: , and therefore . This is a statement about the *sets themselves* — whether the two subsets of overlap — decided entirely by what the events mean, before any probability is attached to them.
One immediate consequence, and a genuinely useful shortcut: for mutually exclusive events, the general addition law simplifies to , because the overlap term is already zero. The general form is worth knowing precisely because it doesn't assume mutual exclusivity — it's the version that's always true, with the term correcting for double-counting the overlap when there is one. The complement rule is the other basic tool here: and partition the whole sample space, so between them they always account for probability 1.
Now for the memorise-vs-look-up split, checked directly against the real WST01 formula booklet (WST01-verified-facts.md §2a): is printed on the formula sheet, along with the general multiplication law . The complement rule is not — the spec's own notation box states outright that formulae 'expected to know' are not repeated in the booklet, and this is one of them. It costs nothing to memorise (it's one line) but it is genuinely not there to fall back on in the exam.
Conditional probability — , 'the probability of , given that has happened' — is not a separate rule to memorise so much as a rearrangement of the multiplication law that already IS on the formula sheet. That law states ; since is the same event as , the identical law also reads . Divide both sides by (which must be strictly positive — conditioning on an impossible event is undefined) and the conditional probability formula falls straight out: . The intuition matches the algebra exactly: conditioning on shrinks the sample space down to itself, and asks what proportion of that shrunk space is also in — which is exactly , the overlap as a fraction of the new, smaller whole.
Independence — a different kind of question entirely, and one you have to calculate
Independence (spec 3.3) asks something conditional probability makes precise: does knowing happened change the probability of ? If it doesn't — if exactly — then and are independent. Two other forms of the same statement follow immediately and are equally valid starting points: (the same question asked the other way round), and, substituting into the conditional probability formula derived above, , which rearranges to . All three are checked directly against the real formula booklet in WST01-verified-facts.md §2a as things the spec expects memorised, not looked up — the booklet carries only the general multiplication law , not its independent-events special case.
is the version worth defaulting to on the exam, because it's the only one of the three that needs no conditional probability computed first — plug in the two marginal probabilities, multiply, and compare to the given (or computed) .
The dice example above is worth re-reading as a warning rather than a curiosity. = 'first die is 6' and = 'the total is 7' turned out independent — — despite being built directly out of 's own die. Nothing about how the events were defined made that obvious in advance; only running the actual calculation settled it. This is precisely the discipline WST01's own examiner reports repeatedly find missing: the general comment for one series states plainly that 'candidates often assume independence when an appropriate conditional probability should be used instead' (Jun 2022, general) — independence is being treated as a default assumption about a situation, when it is really a specific numerical claim that has to be earned by a calculation every single time.
Mechanism
Why mutually exclusive events (with nonzero probability) can never be independent — and why 'they overlap' isn't the whole story either
Run the two definitions against each other directly. If and are mutually exclusive, — that's what mutually exclusive means. If and are independent, — that's what independent means. If both held at once, would have to equal . But a product of two numbers is zero only if at least one of them is zero — and if and , that's impossible. So for any two events that both have positive probability, mutually exclusive and independent are not just different — they are mutually incompatible: proving one is true is a proof the other is false. This is the precise version of the pattern an examiner report names directly, calling it chronic rather than occasional: 'there was the usual confusion between events being independent and events being mutually exclusive highlighted by statements such as "they are not independent as they overlap"' (Oct 2021, Q1(b)) — the word 'usual' there is Pearson's own, describing a recurring pattern rather than a one-off. But read that quoted student statement carefully, because the mechanism above actually cuts partway in the student's favour: NOT overlapping (being mutually exclusive) genuinely does rule out independence, whenever both probabilities are positive — that half of the reasoning is sound. Where it breaks is the unstated assumption running the other way: that overlapping is enough, on its own, to conclude independence. It isn't. Overlapping is necessary for independence but nowhere near sufficient, and the dice example shows exactly how a small change in the numbers exposes the gap: let = 'the two dice sum to 8' instead of 7. = 'first die is 6' and certainly overlap — 6-then-2 is a valid outcome in both. (five ways to make 8: 2+6, 3+5, 4+4, 5+3, 6+2), and (only 6-then-2). Check independence: , but . — not independent, despite genuinely overlapping. So the full picture has three regions, not two: mutually exclusive events (with both probabilities positive) are never independent; independent events are never mutually exclusive; but 'overlaps and isn't mutually exclusive' is a large middle ground that still needs the actual product-rule check, because it contains both independent pairs (first-die-6 and sum-is-7) and dependent ones (first-die-6 and sum-is-8) side by side, indistinguishable without calculating.
Worked, in full
A bag holds 5 red and 3 blue counters. Three are drawn, one at a time, without replacement. Given that the second counter drawn is blue, find the probability the draw sequence was exactly red, blue, red.
- 01
Name the events precisely before touching any numbers. Let = 'the second counter drawn is blue' (the given, conditioning event) and = 'the sequence drawn, in order, is red, blue, red'. The question wants . Notice that 's own second draw IS blue — so automatically satisfies , meaning is entirely contained inside , and . That observation doesn't skip any working; it just tells you which two quantities to go and find: and separately.
Earns: M1 — correct conditional probability structure with and correctly identified, and the containment correctly justified rather than assumed. Writing with no justification for dropping the would not earn this: the simplification has to be shown to be valid, not just used.
- 02
Find using a tree diagram, one branch per draw, remembering the bag shrinks with each draw and is not replaced. . Given the first was red, 4 red and 3 blue remain (7 total): . Given red-then-blue, 4 red and 2 blue remain (6 total): . All three branches multiply: .
Earns: M1 — multiplies all THREE branch probabilities along the one path that gives red-blue-red. This is the exact step a real WST01 examiner report flags as the most common failure on a structurally identical three-branch conditional-probability question: 'the most common error was using a product of 2 probabilities rather than 3 in the numerator' (Oct 2021, Q4(c)) — forgetting one branch's contribution, not making an arithmetic slip within a branch.
- 03
Find — and notice this needs BOTH possible colours for the first draw, since the second draw's probability depends on what the first draw removed. First red then second blue: . First blue then second blue: . Sum the two disjoint cases: .
Earns: M1 — sums both first-draw cases that lead to a blue second draw, rather than computing only one of them. A1 — correct value , which is worth checking against a genuinely useful symmetry fact: for sampling without replacement, the marginal probability that the -th draw is any given colour equals the ORIGINAL proportion of that colour in the bag — here , identical to . That symmetry doesn't replace the casework (a mark scheme would still want the working shown), but it's a fast way to sanity-check the answer once it's found.
- 04
Combine the two results: .
Earns: A1 — correct final value (or an equivalent form, e.g. awrt ), correctly simplified.
- 05
Sanity-check before moving on. is a valid probability (between 0 and 1) — a good first filter, since dividing by the wrong denominator or dropping a branch factor tends to produce values outside or suspiciously close to 1. It's also larger than the unconditional , which makes sense: knowing the second counter WAS blue removes all the sequences where it wasn't, concentrating the probability onto the sequences — like red-blue-red — that remain possible.
Earns: Nothing on the mark scheme — the working above has already earned every available mark. It's included because this exact check (is the conditional probability bigger than the unconditional one, and does that direction make sense?) is what catches a correct-looking fraction that's actually wrong, before the paper is handed in.
Source — Examiner report, Oct 2021
"the most common error was using a product of 2 probabilities rather than 3 in the numerator"
Complete it yourself
Complete the chain — a bag holds 6 red and 4 blue counters. Three are drawn without replacement. Given the second draw is red, find P(the sequence was blue, red, blue).
- 01
Let = 'the second counter drawn is red' and = 'the sequence drawn, in order, is blue, red, blue'. 's own second draw is red, so , and . The target is .
- 02
That splits the problem into two separate calculations: find (a single three-branch path through the tree — blue, then red, then blue) and (summing both first-draw cases that lead to a red second draw), then divide.
Marked, line by line
In a survey of 200 university applicants, 90 applied to study Mathematics (event ) and 70 applied to study Physics (event ); 30 applied to study both subjects. (a) Find . (2) (b) Find , giving your answer as a fraction in its simplest form. (2) (c) Determine, showing your working, whether and are independent. (3) (d) Determine, showing your working, whether and are mutually exclusive. (1) (e) Using your answers to parts (c) and (d), explain why and could never have turned out to be both mutually exclusive and independent. (2) — VERIDIAN-original question, built to combine spec items 3.2 and 3.3 in a single multi-part item the way real WST01 questions combine sub-skills across a Section 3 question. Not a reproduction of any past-paper question; the per-line mark allocations are modelled on the verified WST01 mark-scheme conventions in WST01-verified-facts.md §4 (M/A/B mark meanings, dependency rules, 'oe'), not transcribed from a real scheme, which does not exist for an original question.
10 marks available
(a) — 2 marks
- 01M1
, , . Using the addition law: .
Method mark for the addition law with all three probabilities correctly substituted. This formula is printed on the WST01 formula sheet (verified against the real booklet), so the mark is for correct substitution, not for recalling the formula from memory.
- 02A1
Accuracy mark, correct answer only. Accept oe: 13/20 or 65%. A candidate who instead added P(M) and P(P) without subtracting the overlap would reach 0.80, double-counting the 30 applicants who applied to both.
(b) — 2 marks
- 101M1
Method mark for the correct conditional probability structure — intersection over the CONDITIONING event's own probability, P(P), not P(M) and not the unconditioned P(M∩P) alone.
- 102A1
Accuracy mark, correct answer only, in simplest form as the question requires. Accept oe: awrt 0.429 or 42.9%.
(c) — 3 marks
- 201M1
Independence requires . Compute the right-hand side: .
Method mark for stating and attempting the correct independence test. A candidate who instead asserts independence or dependence without this calculation cannot access any mark in this part — there is no partial credit for a conclusion with no test behind it.
- 202A1
Accuracy mark for the correct product, dependent on the method mark above.
- 203A1
, so and are NOT independent.
Accuracy mark, correct answer only, for the explicit numerical comparison AND the correctly stated conclusion — both parts are needed; stating '0.1575' with no comparison to the known 0.15, or a bare 'not independent' with no supporting number, would not earn this on its own.
(d) — 1 mark
- 301B1
, so and are NOT mutually exclusive.
Independent accuracy mark — no separate method needed, since P(M∩P) was already established in part (a). This is the kind of mark a B code exists for: a correct, standalone conclusion read straight from a value already found.
(e) — 2 marks
- 401B1
If and HAD been mutually exclusive, would have to be ; if they had ALSO been independent, would have to equal . Both cannot be true at once, since and are both nonzero.
Independent mark for correctly stating the general reason — a product of two positive probabilities can never equal zero — not just repeating the two separate answers from (c) and (d).
- 402B1
In fact and turned out to be neither: not independent (part (c)) and not mutually exclusive (part (d)) — which is the far more common outcome for two real, overlapping events than either extreme.
Independent mark for correctly relating the general reason back to the specific numbers in this question, rather than leaving the explanation purely abstract. This part sits in the AO3/AO4 territory the spec itself weights unusually heavily for S1 (15–20 of 75 marks on AO3 alone, per WST01-verified-facts.md §2b) — a worded conclusion drawn from a calculation, not the calculation itself.
In your own words
In one sentence: why can two events with positive probability never be both mutually exclusive and independent at the same time?
Named traps
- independence-and-mutual-exclusivity-conflated
- The chronic, named error across the whole archive: "there was the usual confusion between events being independent and events being mutually exclusive highlighted by statements such as 'they are not independent as they overlap'" (Oct 2021, Q1(b)). Pearson's own word "usual" marks this as a recurring pattern, not a single script's slip. The mechanism block above shows exactly where the reasoning goes wrong: NOT overlapping does rule out independence (when both probabilities are positive) — but overlapping on its own proves nothing about independence, which needs the actual P(A∩B) = P(A)P(B) check.
- conditional-probability-as-raw-ratio-of-marginals
- Verified directly, quoted from a real conditional-probability question: "we occasionally still saw P(0.35∩0.4)/0.4 or 0.35/0.4" (Jan 2021, Q1(c)) — dividing two given probabilities directly, as though P(A|B) meant P(A) ÷ P(B) rather than P(A∩B) ÷ P(B). A fast self-check: if the "conditional probability" you've computed by dividing two marginals exceeds 1, you've made exactly this error — a real probability never can.
- independence-assumed-instead-of-tested
- "Candidates often assume independence when an appropriate conditional probability should be used instead" (Jun 2022, general examiner comment — stated as a paper-wide diagnosis, not tied to one question). A second, more specific instance on a Venn-diagram conditional-probability question: "common errors were to assume independence or to do 1 − 1/15 before dividing by 3/8" (Jun 2022, Q4(b)) — independence substituted in as a shortcut for the actual conditioning calculation the question required.
- tree-diagram-numerator-missing-a-branch
- "the most common error was using a product of 2 probabilities rather than 3 in the numerator" (Oct 2021, Q4(c)), on a three-branch tree-diagram conditional probability question. The worked-chain example above is built around this exact trap: forgetting one branch of a multi-stage path produces a wrong but perfectly plausible-looking fraction, with no obvious sign anything went wrong.
- extra-probability-folded-into-the-numerator
- A second, independently confirmed instance of the numerator/denominator confusion (Jan 2023, Q2(d)) — corrected 2026-08-28 against the real examiner-report PDF, since an earlier reading of this citation had the mechanism backwards: the conditioning denominator itself (61/234, carried from an earlier part) was correct in both wrong answers candidates gave. The actual slip was in the numerator — an extra, spurious copy of that same 61/234 got folded in, either added or multiplied: (5/9 × 4/8 × 8/13 + 61/234)/(61/234) and (5/9 × 4/8 × 8/13 × 61/234)/(61/234), instead of the correct numerator 5/9 × 4/8 × 8/13 = 20/117. The lesson here: once a probability from an earlier part is sitting on the page, it's tempting to reuse it a second time inside a new calculation where it doesn't belong — write P(A|B) = P(A∩B)/P(B) out in full first, work out P(A∩B) as its own clean fraction, and only then substitute, so there's a formula on the page to check the substitution against.
Beyond the spec
WST01's own spec content list (WST01-verified-facts.md §1) never names 'Bayes' theorem' anywhere in items 3.1–3.4 — but the real formula booklet does print the full ratio-of-products form of it, in the S1 section, right next to the general multiplication and addition laws (WST01-verified-facts.md §2a). That's worth knowing precisely because it means recognising the shape of a Bayes'-theorem question is useful exam technique even though the name itself is never examined — the tool is sitting on the sheet whether or not you know what to call it.
The conditional probability formula reverses cleanly. Start from the two ways of writing from the multiplication law: . Set the middle and right expressions equal — — and divide through by : . This is Bayes' theorem: it lets you find from — the *reverse* conditional — which matters whenever the reverse direction is the one you can actually measure or are actually given. A concrete shape this takes on a WST01-style question: a factory's three machines produce known proportions of its output, each machine has a different known defect rate — that's and , both easy to state — but the question asks the reverse, , which needs Bayes' theorem to get at directly. The formula booklet's own version of this (verified in WST01-verified-facts.md §2a) is written as a ratio of two products rather than the two-line derivation above, but it is the identical statement — this derivation just shows where that printed ratio actually comes from, the same discipline the mechanism block above applies to the independence rules.
Retrieval — with feedback on every choice
Events and satisfy , , and . Are and independent, mutually exclusive, both, or neither?
In a class, , , and . Find .
Events and satisfy , , . A student writes: 'E and F are independent, because their probabilities are both small, so they can't really affect each other.' Is the student's final answer correct, and is the reasoning acceptable?
- P(A|B) = P(A∩B)/P(B), requires P(B) > 0. Conditioning restricts the sample space to B.
- Independent (memorise, not on the sheet): P(A|B)=P(A), P(B|A)=P(B), P(A∩B)=P(A)P(B) — any one implies the others.
- Mutually exclusive: A∩B=∅, so P(A∩B)=0 and P(A∪B)=P(A)+P(B).
- If P(A)>0 and P(B)>0: mutually exclusive and independent can never both hold. Overlap is necessary for independence but never sufficient — always run the product-rule check.
- On the formula sheet: P(A∪B)=P(A)+P(B)−P(A∩B), and P(A∩B)=P(A)P(B|A). Not on it: P(A′)=1−P(A) and all three independence rules.
Not affiliated with or endorsed by Pearson Edexcel. Every quotation attributed to a WST01 examiner report in this lesson (Jan 2021, Oct 2021, Jun 2022) was checked against WST01-verified-facts.md, itself independently verified against the real Pearson PDFs — there is no prior AI-authored WST01 material in this repo to have carried an error over from. Every scenario used to teach with — the 200-applicant Mathematics/Physics table, both counter-drawing bags, the dice examples, and every prequestion and MCQ — is VERIDIAN-original, checked with exact fraction arithmetic before being written in (including the deliberately wrong answers, so the wrong values shown are the actual numbers those specific errors produce). The two exceptions are the malformed expressions quoted directly from Jan 2021 Q1(c) — 'P(0.35∩0.4)/0.4' and '0.35/0.4' — which are Pearson's own numbers from a real question this research pass did not have full access to; they are presented only as the quoted error pattern, never reconstructed into a fabricated full question.
Events and satisfy , , and . Are and independent, mutually exclusive, both, or neither?
- Independent, and therefore not mutually exclusive —
Correct. The product-rule test passes exactly, so and are independent — and since , they are not mutually exclusive, consistent with the mechanism proved earlier: independent events with positive probabilities can never be mutually exclusive.
- BMutually exclusive, since and are clearly two separate, distinct events
'Distinct events' is not the same as 'mutually exclusive' — mutually exclusive specifically means they share no outcomes, i.e. . Here , given directly in the question, so they plainly do overlap.
- CBoth independent and mutually exclusive
Impossible whenever both probabilities are positive, by the same argument proved in the mechanism block: mutually exclusive would force , but it's given as . Only one of the two properties can hold here, and the calculation shows it's independence.
- DNeither — doesn't obviously relate to and
is exactly — the relationship is there, it just needs the multiplication carried out rather than eyeballed. This is the whole reason the independence test exists: the connection between the numbers is rarely visible without actually computing it.
Traps tested: Distinct events assumed mutually exclusive · Mutually exclusive and independent treated as compatible · Independence check not attempted
In a class, , , and . Find .
- — from and , so
Correct. is the students who study Biology but NOT Chemistry — everyone who studies Biology, minus the ones who also study Chemistry — and is the complement rule applied to the conditioning event. Both intermediate steps have to be found before the conditional probability formula can be applied at all.
- B — since 'not Chemistry' shouldn't change anything about Biology
This assumes the answer rather than testing it — exactly the habit this lesson is built to break. unconditionally, but conditioning on NOT studying Chemistry does change the figure here, to : among the non-Chemistry students specifically, Biology is more common than in the class as a whole, because the overlap between the two subjects has been removed from the comparison.
- C — using alone, without dividing by
is a correct intermediate value — but it's , the probability of studying Biology and not Chemistry out of the WHOLE class, not the conditional probability restricted to non-Chemistry students. The division by is the step that's missing.
- D — from
This computes — the wrong pair of events conditioned the wrong way round, not . Both the event being conditioned ON and which event is complemented need to match the question exactly.
Traps tested: Conditioning assumed to have no effect · Conditioning step omitted · Conditioning event reversed
Events and satisfy , , . A student writes: 'E and F are independent, because their probabilities are both small, so they can't really affect each other.' Is the student's final answer correct, and is the reasoning acceptable?
- The answer is correct (, so they ARE independent) — but the reasoning given would not earn the method mark, because 'small probabilities' was never actually tested
Correct on both counts. The independence test happens to pass here, so the conclusion is right — but a mark scheme rewards the calculation, not a correct guess about it. Swap in different small-but-not-multiplying-to-match probabilities (say , , ) and the same reasoning ('both small, so independent') would produce the wrong answer, because it was never actually connected to the numbers.
- BThe answer is correct and the reasoning is acceptable, since it correctly identifies that small probabilities tend to indicate independence
There is no general rule connecting the SIZE of two probabilities to whether they're independent — a large and small can just as easily be independent, or a small and small can just as easily be dependent. The only valid test is the specific equality , checked with these exact numbers.
- CThe answer is wrong — and are not independent, because is a small number and small intersections usually mean dependent events
being 'small' says nothing on its own; it has to be compared to specifically, and it matches exactly. The size of in isolation, without that comparison, cannot answer an independence question.
- DThere isn't enough information to check independence without knowing more about what and actually represent
The independence test needs only the three numbers given — , , and — and nothing about what the events physically represent. That's precisely what makes the test objective rather than a matter of judgement: two events can be independent (or not) regardless of how intuitively 'related' they seem.
Traps tested: Probability magnitude substituted for independence test · Intersection magnitude substituted for independence test · Independence treated as unanswerable without context
Practice this for real
This site teaches the mechanism; the exam is sat on Pearson's own real questions. Go find and attempt these yourself — nothing here substitutes for actually sitting a timed paper.
- Examiner report
- Oct 2021 · Q4(c) — cited directly in this lesson
Select International Advanced Level → Mathematics → any series, then look for WST01.
Up next
Sampling with/without replacement, tree diagrams, and Venn diagrams
A tree diagram for sampling without replacement is not one bag drawn from twice — it is two different bags, drawn from once each. The first draw changes what is left, so every branch after it describes a smaller, different sample space than the one before it. The single most-repeated way to lose marks on this topic, confirmed directly from a real question, is writing the first bag's fraction onto the second bag's branch, as though nothing had been removed at all.
45 min