1.3.7 · D5Basic Data & Probability

Question bank — Complementary events — P(A') = 1 − P(A)

1,542 words7 min readBack to topic

Before we start, three plain-word reminders so every symbol below is earned:

Everything below tests whether you truly own that one line.


True or false — justify

The complement of a complement is the original event, so
True — "not (not A)" is just A. If you step out of a slice and then step out of that, you land back inside the original slice.
If two events are mutually exclusive, they must be complements of each other
False — mutually exclusive only means they don't overlap (). To be complements they must also be exhaustive (). "Roll a 1" and "roll a 2" never overlap but leave 3,4,5,6 uncovered.
holds even when
True — an impossible event has complement equal to all of , so . The identity is universal; it never depends on being "likely."
For any events and ,
False — that only works if and are mutually exclusive. In general use De Morgan: , so , and may include an overlap you subtracted twice. See 1.3.03-Addition-rule-for-probabilities.
If then
False — the inclusion flips. If sits inside , then "not " (a smaller outside region) sits inside "not " (a larger one), so .
"At least one head" and "at least one tail" are complementary events
False — in three flips, HTH has both a head and a tail, so both events happen at once. Their complements are "all tails" and "all heads" respectively; those are the disjoint ones.
This can be true or false depending on the numbers, but the safe general form is via complement of . Never assume a shortcut formula without checking overlaps.

Spot the error

"P(rain) = 0.3, therefore P(sunny) = 1 − 0.3 = 0.7."
The complement of "rain" is "not rain," which includes cloudy, snowy, foggy — not just sunny. gives , a bigger bucket than "sunny."
"A and A' are mutually exclusive, so I can add P(A) + P(A') into other event sums too."
The identity only describes A with its own complement. You cannot fold A' into an unrelated sum; check mutual exclusivity fresh for any new pair.
"P(defect caught) = 0.95, so P(no defects exist) = 0.05."
The complement of "caught" is "not caught" (undetected defect), not "no defect exists." The 0.05 is the miss rate, a different statement entirely.
"P(A) = 0.6 and P(B) = 0.7, and since these are complements, they should add to 1 but 0.6 + 0.7 = 1.3."
They aren't complements — two numbers summing above 1 is your proof they can't be A and A'. Complements are forced to sum to exactly 1; anything else means unrelated events.
"For a die, P(not 6) = 1 − P(6) = 1 − 6 = −5."
The writer used the face value 6 instead of the probability . Always subtract a probability from 1, never a count or a face value.
"P(at least one six in two rolls) = 1 − 1/6 = 5/6."
Wrong complement value. "No six in two rolls" is , so the answer is . The complement of "at least one" is "none," and "none" must account for all trials. See 1.3.12-At-least-one-problems.
"P(A') = 1 − P(A) needs A and A' to be independent."
No — it needs them mutually exclusive and exhaustive, which they always are by definition. Independence is a separate idea about A and another event; see 1.3.09-Independent-events.

Why questions

Why does require the addition rule as a step? :::Because we split into , and that split is only legal when the two parts don't overlap — which is exactly the addition rule's condition, met since .

Why is the complement handy for "at least one" problems? :::Because "at least one" spreads across many messy cases, but its complement "none" is a single clean case (every trial fails), so replaces a long sum with one product. This is the engine of 1.4.05-Binomial-probability's .

Why can't we say the complement of "rolling an even number" is "rolling a prime"? :::Because a complement must be defined as everything else in . "Not even" means odd (1,3,5), while "prime" (2,3,5) both overlaps evens and misses 1 — it fails to partition the sample space. Complements come from , not from another named property.

Why does the complement rule stay valid on a continuous sample space (like a spinner)? :::Because and still tile the whole space with no overlap, so their probabilities (now areas or lengths) must fill up to 1. The proof used no counting — only exhaustiveness and disjointness, which survive in the continuous world.

Why must always be a subset of the same sample space ? :::Because is literally "the leftovers of ." An outcome outside was never possible, so it can't sit in . This ties directly to 1.3.01-Sample-space-and-events.


Edge cases

If (the certain event), what is and ?
, the impossible event, and . Nothing is left over once your event is everything.
If (the impossible event), what is and ?
, the certain event, and . The complement of "never" is "always."
Can and ever both have probability ?
Yes — e.g. one fair coin flip with heads. Nothing forbids an even split; the rule only fixes their sum at 1, not each value.
Can and both be nonzero yet one event have zero outcomes?
In a discrete space, no — a probability comes from its outcomes, so zero outcomes forces . In a continuous space a single point can have probability 0 while still equals almost all of ; the outcome "exists" but carries no probability mass.
If an outcome sits on the "boundary" and you're unsure whether it belongs to , does the complement rule break?
No — the rule doesn't care which side it lands on, only that it lands on exactly one side. Define precisely first (put the boundary case in or out), and automatically takes the rest so the sum stays 1.
What is the complement of "at least two heads in three flips"?
"At most one head," i.e. "zero or one head." The complement of "" is "," which is "" — flip the direction and include the boundary correctly.

Connections

  • Parent: Complementary events
  • 1.3.01-Sample-space-and-events lives inside
  • 1.3.03-Addition-rule-for-probabilities — the step that splits
  • 1.3.09-Independent-events — independence ≠ complement
  • 1.3.12-At-least-one-problems — the "none" shortcut
  • 1.4.05-Binomial-probability