Probability

A family has two children, and you are told at least one of them is a boy. Does that change your guess about whether the other child is a boy too? A factory runs three machines, one of them a little sloppier than the other two, and a defective bolt turns up on the inspection table — which machine most likely made it? A person tests positive on a disease screen that is 99% accurate; how worried should they actually be, once you account for how rare the disease is in the first place? Every one of these questions asks the same underlying thing: how should new information reshape a probability you already had? This chapter builds the precise mathematics of that reshaping. It starts from conditional probability, P(E∣F)P(E|F), the probability of an event EE once you already know that another event FF has occurred — a definition that formally shrinks the sample space from the whole of SS down to FF itself. From that single definition the chapter derives the multiplication theorem of probability, P(E∩F)=P(E) P(F∣E)=P(F) P(E∣F)P(E \cap F) = P(E)\,P(F|E) = P(F)\,P(E|F), the workhorse for computing the probability of two or more events happening together, such as drawing cards one after another without replacement. It then isolates the special case where knowing one event tells you nothing new about another — independent events, P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F) — a condition that is easy to state and surprisingly easy to confuse with the unrelated idea of mutually exclusive events. The chapter's summit is Bayes' theorem, the tool that reverses the direction of conditioning, turning "probability of the evidence given a cause" into "probability of a cause given the evidence." It rests on the theorem of total probability, computed over a partition of the sample space into mutually exclusive, exhaustive causes. Bayes' theorem is exactly the machine behind medical-test interpretation, quality-control audits and the bolt-factory question above, and it is tested relentlessly, in only lightly disguised form, on both CBSE boards and JEE/NEET.

Key takeaways
  • Conditional probability: P(E∣F)=P(E∩F)P(F)P(E|F) = \dfrac{P(E \cap F)}{P(F)}, provided P(F)≠0P(F) \neq 0; it restricts the sample space from SS down to FF.
  • Three properties follow directly: P(S∣F)=P(F∣F)=1P(S|F) = P(F|F) = 1; P((A∪B)∣F)=P(A∣F)+P(B∣F)−P((A∩B)∣F)P((A \cup B)|F) = P(A|F) + P(B|F) - P((A \cap B)|F); and P(E′∣F)=1−P(E∣F)P(E'|F) = 1 - P(E|F).
  • Multiplication theorem: P(E∩F)=P(E) P(F∣E)=P(F) P(E∣F)P(E \cap F) = P(E)\,P(F|E) = P(F)\,P(E|F), extending to three events as P(E∩F∩G)=P(E) P(F∣E) P(G∣E∩F)P(E \cap F \cap G) = P(E)\,P(F|E)\,P(G|E \cap F).
  • Independent events satisfy P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F), equivalently P(E∣F)=P(E)P(E|F) = P(E) and P(F∣E)=P(F)P(F|E) = P(F); independence and mutually exclusive events are different, near-opposite notions.
  • Mutual independence of three events A,B,CA, B, C needs all four conditions together — the three pairwise products plus P(A∩B∩C)=P(A)P(B)P(C)P(A \cap B \cap C) = P(A)P(B)P(C).
  • A partition of SS is a set of events E1,E2,…,EnE_1, E_2, \ldots, E_n that are pairwise disjoint, whose union is SS, and each with P(Ei)>0P(E_i) > 0.
  • Theorem of total probability: for any partition {E1,…,En}\{E_1, \ldots, E_n\} and any event AA, P(A)=∑j=1nP(Ej) P(A∣Ej)P(A) = \sum_{j=1}^{n} P(E_j)\,P(A|E_j).
  • Bayes' theorem reverses the conditioning: P(Ei∣A)=P(Ei) P(A∣Ei)∑j=1nP(Ej) P(A∣Ej)P(E_i|A) = \dfrac{P(E_i)\,P(A|E_i)}{\sum_{j=1}^n P(E_j)\,P(A|E_j)}, converting a priori probability P(Ei)P(E_i) into a posteriori probability P(Ei∣A)P(E_i|A) once the evidence AA is known.
  • Key idea: conditional probability P(E given F) equals P(E and F) over P(F) and restricts the sample space to F; the multiplication theorem P(E and F) = P(E) P(F given E) builds joint probabilities from it; independence is the special case P(E and F) = P(E) P(F); and Bayes' theorem, built on the theorem of total probability over a partition, reverses the direction of conditioning to turn priori probabilities into posteriori probabilities once evidence is observed.
The core insight

Conditional probability P(E∣F)=P(E∩F)/P(F)P(E|F) = P(E \cap F)/P(F) restricts the sample space to FF; the multiplication theorem P(E∩F)=P(E)P(F∣E)=P(F)P(E∣F)P(E \cap F) = P(E)P(F|E) = P(F)P(E|F) builds joint probabilities from it; independent events are the special case P(E∩F)=P(E)P(F)P(E \cap F) = P(E)P(F); and Bayes' theorem, resting on the theorem of total probability over a partition {E1,…,En}\{E_1,\ldots,E_n\} of the sample space, reverses the direction of conditioning so that observing evidence AA updates each priori probability P(Ei)P(E_i) into a posteriori probability P(Ei∣A)P(E_i|A).

What this chapter covers

This companion follows the chapter's own build-up, section by section. It opens with conditional probability, defining P(E∣F)P(E|F) from first principles by restricting the sample space, then records the three properties that follow immediately from that definition and are used constantly afterward. It then proves the multiplication theorem of probability, the algebraic rearrangement of the conditional-probability formula that lets you compute the probability of several events happening together, and extends it from two events to three (and beyond). Next comes independence: the precise definition P(E∩F)=P(E)P(F)P(E \cap F) = P(E)P(F), the crucial distinction from mutually exclusive events, and the extension to mutual independence of three or more events. The chapter then builds the machinery needed for its capstone result: a partition of the sample space, the theorem of total probability (computing P(A)P(A) by summing over every possible "cause" in a partition), and finally Bayes' theorem itself, which reverses conditioning to answer "given that AA happened, which cause EiE_i was responsible." Work through the sections in this order — total probability is a special case hiding inside every Bayes' theorem calculation, and independence is what lets many probability trees (coin-then-die, machine-then-defect) be built at all. Every worked example below reuses NCERT's own example numbers, extended with a Board level and Competitive level version so you can see the same ideas at CBSE and at JEE/NEET depth.

The core ideas

Conditional probability: restricting the sample space

Suppose two events EE and FF are associated with the same random experiment. If you are told that FF has occurred, every outcome outside FF is now impossible, and the sample space effectively shrinks from SS down to FF. The conditional probability of EE given that FF has occurred, written P(E∣F)P(E|F), measures how likely EE is inside this smaller universe:

P(E∣F)=P(E∩F)P(F),P(F)≠0.(1)P(E|F) = \frac{P(E \cap F)}{P(F)}, \qquad P(F) \neq 0. \qquad (1)

where: E∩FE \cap F is the event that both EE and FF occur, and the condition P(F)≠0P(F) \neq 0 (equivalently F≠ϕF \neq \phi) is essential — conditioning on an impossible event is simply not defined. When outcomes are equally likely, dividing both numerator and denominator of n(E∩F)/n(F)n(E \cap F)/n(F) by n(S)n(S) recovers exactly this formula, which is how NCERT first motivates it with the three-coins example (tossing three fair coins, EE: at least two heads, FF: first coin shows tail, giving P(E∣F)=14P(E|F) = \tfrac14). Three properties follow directly from the definition and are used everywhere downstream: P(S∣F)=P(F∣F)=1P(S|F) = P(F|F) = 1 (the restricted universe itself, and FF inside it, both have full probability 11); for any events A,BA, B and any FF with P(F)≠0P(F) \neq 0,

P((A∪B)∣F)=P(A∣F)+P(B∣F)−P((A∩B)∣F);(2)P((A \cup B)|F) = P(A|F) + P(B|F) - P((A \cap B)|F); \qquad (2)

and the complement rule P(E′∣F)=1−P(E∣F)P(E'|F) = 1 - P(E|F), the direct analogue of the ordinary complement rule but now inside the restricted sample space FF. In particular, if AA and BB are mutually exclusive, P((A∪B)∣F)=P(A∣F)+P(B∣F)P((A \cup B)|F) = P(A|F) + P(B|F), exactly like ordinary probability of a union of disjoint events.

Figure
A Venn diagram showing events E and F inside sample space S with the overlap E intersect F shaded and a second panel showing the sample space shrunk to F alone for computing the conditional probability of E given F
Conditional probability shrinks the sample space from S to F sample space S E F E and F every outcome in S is still live given F new universe = F E and F P(E given F) = P(E and F) / P(F) only the part of E surviving inside F counts

The multiplication theorem of probability

Rearranging the conditional-probability formula gives a way to compute the probability of two events occurring together, P(E∩F)P(E \cap F), when the conditional probabilities are what you can actually read off a problem. Since P(E∣F)=P(E∩F)/P(F)P(E|F) = P(E \cap F)/P(F) and, symmetrically, P(F∣E)=P(E∩F)/P(E)P(F|E) = P(E \cap F)/P(E), cross-multiplying both gives the multiplication theorem of probability:

P(E∩F)=P(E) P(F∣E)=P(F) P(E∣F),P(E)≠0, P(F)≠0.(3)P(E \cap F) = P(E)\,P(F|E) = P(F)\,P(E|F), \qquad P(E) \neq 0,\ P(F) \neq 0. \qquad (3)

where: P(F∣E)P(F|E) is read as "the probability that FF occurs, given that EE has already occurred" — the natural quantity when events unfold in a sequence, such as drawing balls from an urn one after another without replacement. The theorem extends to three events E,F,GE, F, G: P(E∩F∩G)=P(E) P(F∣E) P(G∣E∩F)P(E \cap F \cap G) = P(E)\,P(F|E)\,P(G|E \cap F), chaining the conditioning one step at a time, and it generalises the same way to four or more events. This is the exact tool NCERT uses for its urn and card-drawing examples (worked out below), and it is the single most common calculation engine in "without replacement" probability problems on both boards and competitive exams.

Independent events

Sometimes learning that FF has occurred changes nothing about how likely EE is — the classic example is drawing the ace of spades from a shuffled deck, where knowing the card is a spade does not change the probability it is an ace, and vice versa. Two events EE and FF are called independent if

P(E∩F)=P(E) P(F).(4)P(E \cap F) = P(E)\,P(F). \qquad (4)

where: this single condition is equivalent, whenever P(E)≠0P(E) \neq 0 and P(F)≠0P(F) \neq 0, to P(F∣E)=P(F)P(F|E) = P(F) and P(E∣F)=P(E)P(E|F) = P(E) — substituting either into the multiplication theorem (3) collapses it to equation (4), which is how NCERT first presents independence before showing the two definitions coincide. Events that are not independent are called dependent events. It is worth stating plainly what independence is not: two mutually exclusive events with nonzero probability can never be independent (if E∩F=ϕE \cap F = \phi then P(E∩F)=0P(E \cap F) = 0, but P(E)P(F)>0P(E)P(F) > 0), and two independent events with nonzero probability are never mutually exclusive (they must share at least the possibility of joint occurrence). "Independent" is a statement about probabilities; "mutually exclusive" is a statement about the sets themselves — confusing the two is the single most common conceptual slip in this chapter, addressed again in the warning below. The idea extends to mutually independent events: three events A,B,CA, B, C are mutually independent only if all four conditions hold simultaneously,

P(A∩B)=P(A)P(B),P(A∩C)=P(A)P(C),P(B∩C)=P(B)P(C),P(A∩B∩C)=P(A)P(B)P(C).(5)P(A \cap B) = P(A)P(B),\quad P(A \cap C) = P(A)P(C),\quad P(B \cap C) = P(B)P(C),\quad P(A \cap B \cap C) = P(A)P(B)P(C). \qquad (5)

where: the three pairwise equalities alone are not enough — a triple can satisfy all three pairwise conditions ("pairwise independent") yet still fail P(A∩B∩C)=P(A)P(B)P(C)P(A \cap B \cap C) = P(A)P(B)P(C), so all four equalities must be checked before declaring three events mutually independent; if even one fails, the events are not (mutually) independent.

Partition of a sample space, and the theorem of total probability

Bayes' theorem needs one more piece of vocabulary. A collection of events E1,E2,…,EnE_1, E_2, \ldots, E_n is called a partition of the sample space SS if it satisfies three conditions together: Ei∩Ej=ϕE_i \cap E_j = \phi for every i≠ji \neq j (pairwise disjoint), E1∪E2∪⋯∪En=SE_1 \cup E_2 \cup \cdots \cup E_n = S (exhaustive), and P(Ei)>0P(E_i) > 0 for every ii. The simplest partition is any nonempty event EE together with its complement E′E', since E∩E′=ϕE \cap E' = \phi and E∪E′=SE \cup E' = S. Given such a partition, and any other event AA associated with SS, the theorem of total probability states

P(A)=∑j=1nP(Ej) P(A∣Ej)=P(E1)P(A∣E1)+P(E2)P(A∣E2)+⋯+P(En)P(A∣En).(6)P(A) = \sum_{j=1}^{n} P(E_j)\,P(A|E_j) = P(E_1)P(A|E_1) + P(E_2)P(A|E_2) + \cdots + P(E_n)P(A|E_n). \qquad (6)

where: the idea is to break event AA into the nn mutually exclusive pieces A∩E1,A∩E2,…,A∩EnA \cap E_1, A \cap E_2, \ldots, A \cap E_n (the part of AA occurring alongside each cause in turn), add their probabilities, then rewrite each P(A∩Ej)P(A \cap E_j) using the multiplication theorem as P(Ej)P(A∣Ej)P(E_j)P(A|E_j) — this is proved formally in the first derivation below. Physically, the theorem says: to find the total chance of AA, weight the chance of AA under each possible "cause" EjE_j by how likely that cause is, and add. This is exactly how NCERT computes, for instance, the overall chance a construction job finishes on time given the chance of a strike and the conditional completion rates in each case.

Bayes' theorem: reversing conditional probability

The theorem of total probability answers "given the cause, what is the chance of the effect?" Bayes' theorem answers the reverse, much harder question: "given that the effect has been observed, what is the chance it came from a particular cause?" If {E1,E2,…,En}\{E_1, E_2, \ldots, E_n\} is a partition of SS with every P(Ei)>0P(E_i) > 0, and AA is any event with P(A)≠0P(A) \neq 0, then for any ii,

P(Ei∣A)=P(Ei) P(A∣Ei)∑j=1nP(Ej) P(A∣Ej).(7)P(E_i|A) = \frac{P(E_i)\,P(A|E_i)}{\displaystyle\sum_{j=1}^{n} P(E_j)\,P(A|E_j)}. \qquad (7)

where: the events E1,…,EnE_1, \ldots, E_n are called the hypotheses; P(Ei)P(E_i), the probability of a hypothesis before any evidence is considered, is called its priori probability; and P(Ei∣A)P(E_i|A), the updated probability once the evidence AA is known, is called the posteriori probability. The denominator is nothing but P(A)P(A) from the theorem of total probability, so Bayes' theorem is really the multiplication-theorem numerator P(Ei∩A)=P(Ei)P(A∣Ei)P(E_i \cap A) = P(E_i)P(A|E_i) divided by the total-probability denominator — a proof carried out in full in the second derivation below. Bayes' theorem is sometimes called the formula for the "probability of causes," because since the EiE_i form a partition, exactly one of them must actually have occurred, and the formula weighs how much each one is implicated by the observed evidence AA.

Figure
A tree diagram showing three partition events E one E two and E three each branching into event A occurring with the paths added together for the total probability theorem and one path highlighted for Bayes theorem
Partition of S, total probability, and Bayes theorem reversed S P(E1) P(E2) P(E3) E1 E2 E3 P(A|E1) P(A|E2) P(A|E3) A Total probability P(A) = sum of P(Ei) times P(A given Ei) add every path that reaches A Bayes theorem P(E2 given A) = P(E2)P(A given E2) / P(A) one highlighted path over the sum of all paths Given that A occurred, Bayes theorem asks which branch it most likely came from

Deriving the key results

Derivation AThe Theorem of Total Probability

The goal is to prove that for a partition {E1,E2,…,En}\{E_1, E_2, \ldots, E_n\} of the sample space SS, with each P(Ei)>0P(E_i) > 0, and for any event AA associated with SS, the total probability of AA decomposes as P(A)=∑j=1nP(Ej) P(A∣Ej)P(A) = \sum_{j=1}^{n} P(E_j)\,P(A|E_j). This result matters because it is the only tool available for computing P(A)P(A) directly when the natural information you are given is conditional — the chance of AA under each of several distinct, exhaustive scenarios — rather than P(A)P(A) itself, and it is also the denominator that makes Bayes' theorem well defined.

Step 1. Since {E1,…,En}\{E_1, \ldots, E_n\} is a partition of SS, we know S=E1∪E2∪⋯∪EnS = E_1 \cup E_2 \cup \cdots \cup E_n and Ei∩Ej=ϕE_i \cap E_j = \phi for i≠ji \neq j. For any event AA, intersecting both sides of S=E1∪⋯∪EnS = E_1 \cup \cdots \cup E_n with AA gives A=A∩S=A∩(E1∪E2∪⋯∪En)=(A∩E1)∪(A∩E2)∪⋯∪(A∩En)A = A \cap S = A \cap (E_1 \cup E_2 \cup \cdots \cup E_n) = (A \cap E_1) \cup (A \cap E_2) \cup \cdots \cup (A \cap E_n), using the distributive law of intersection over union.

Step 2. The pieces A∩EiA \cap E_i and A∩EjA \cap E_j are mutually exclusive whenever i≠ji \neq j: since A∩Ei⊆EiA \cap E_i \subseteq E_i and A∩Ej⊆EjA \cap E_j \subseteq E_j, and Ei∩Ej=ϕE_i \cap E_j = \phi, it follows that (A∩Ei)∩(A∩Ej)⊆Ei∩Ej=ϕ(A \cap E_i) \cap (A \cap E_j) \subseteq E_i \cap E_j = \phi. So Step 1 has written AA as a union of nn pairwise disjoint pieces.

Step 3. Because probability is additive over mutually exclusive events, taking PP of both sides of Step 1 gives P(A)=P(A∩E1)+P(A∩E2)+⋯+P(A∩En)P(A) = P(A \cap E_1) + P(A \cap E_2) + \cdots + P(A \cap E_n) — no cross terms appear, precisely because Step 2 established disjointness.

Step 4. Apply the multiplication theorem to each term: since every P(Ei)≠0P(E_i) \neq 0, P(A∩Ei)=P(Ei) P(A∣Ei)P(A \cap E_i) = P(E_i)\,P(A|E_i) for every i=1,…,ni = 1, \ldots, n. Substituting into Step 3 gives P(A)=P(E1)P(A∣E1)+P(E2)P(A∣E2)+⋯+P(En)P(A∣En)=∑j=1nP(Ej) P(A∣Ej)P(A) = P(E_1)P(A|E_1) + P(E_2)P(A|E_2) + \cdots + P(E_n)P(A|E_n) = \sum_{j=1}^{n} P(E_j)\,P(A|E_j), exactly the theorem of total probability.

Go deeper · Derivation B · 1 minBayes' Theorem
Derivation BBayes' Theorem

The goal is to prove that if {E1,E2,…,En}\{E_1, E_2, \ldots, E_n\} is a partition of SS with every P(Ei)>0P(E_i) > 0, and AA is any event with P(A)≠0P(A) \neq 0, then the posteriori probability of any single hypothesis EiE_i, once AA is known to have occurred, is P(Ei∣A)=P(Ei)P(A∣Ei)∑j=1nP(Ej)P(A∣Ej)P(E_i|A) = \dfrac{P(E_i)P(A|E_i)}{\sum_{j=1}^n P(E_j)P(A|E_j)}. The proof needs nothing beyond the definition of conditional probability, the multiplication theorem, and the theorem of total probability just proved — Bayes' theorem is their direct combination, not an independent new axiom.

Step 1. Start from the definition of conditional probability, applied to EiE_i given AA (valid since P(A)≠0P(A) \neq 0): P(Ei∣A)=P(A∩Ei)P(A)P(E_i|A) = \dfrac{P(A \cap E_i)}{P(A)}.

Step 2. Rewrite the numerator using the multiplication theorem. Since A∩Ei=Ei∩AA \cap E_i = E_i \cap A, and P(Ei)≠0P(E_i) \neq 0, P(A∩Ei)=P(Ei) P(A∣Ei)P(A \cap E_i) = P(E_i)\,P(A|E_i).

Step 3. Rewrite the denominator using the theorem of total probability proved above: since {E1,…,En}\{E_1, \ldots, E_n\} is a partition of SS, P(A)=∑j=1nP(Ej) P(A∣Ej)P(A) = \sum_{j=1}^{n} P(E_j)\,P(A|E_j).

Step 4. Substitute both rewritten pieces from Steps 2 and 3 back into Step 1: P(Ei∣A)=P(Ei) P(A∣Ei)∑j=1nP(Ej) P(A∣Ej)P(E_i|A) = \dfrac{P(E_i)\,P(A|E_i)}{\sum_{j=1}^{n} P(E_j)\,P(A|E_j)}, which is exactly Bayes' theorem, valid for every i=1,2,…,ni = 1, 2, \ldots, n. The numerator picks out the one path through hypothesis EiE_i that leads to AA; the denominator, being the total probability of AA, sums over every possible path — so Bayes' theorem is literally "this one path, divided by all the paths," matching the tree-diagram picture above.

Go deeper · Derivation C · 1 minIndependent Events Stay Independent Under Complementation
Derivation CIndependent Events Stay Independent Under Complementation

The goal is to prove that if EE and FF are independent events, then EE and F′F' are also independent — a fact NCERT proves and states without proof extends further to E′E' and FF, and to E′E' and F′F'. This matters because in practice you are rarely told independence of every combination you need; proving it is inherited by complements means one stated independence unlocks three more for free, which is used constantly when a problem is phrased in terms of "the event fails" rather than "the event occurs."

Step 1. We are given that EE and FF are independent, so by definition P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F). Consider the Venn diagram of EE and FF inside SS: the set EE can be split into the two disjoint pieces E∩FE \cap F (the part of EE that also lies in FF) and E∩F′E \cap F' (the part of EE that lies outside FF), so E=(E∩F)∪(E∩F′)E = (E \cap F) \cup (E \cap F'), and these two pieces are mutually exclusive.

Step 2. Since E∩FE \cap F and E∩F′E \cap F' are mutually exclusive and their union is EE, probability additivity gives P(E)=P(E∩F)+P(E∩F′)P(E) = P(E \cap F) + P(E \cap F'), which rearranges to P(E∩F′)=P(E)−P(E∩F)P(E \cap F') = P(E) - P(E \cap F).

Step 3. Substitute the independence hypothesis P(E∩F)=P(E)P(F)P(E \cap F) = P(E)P(F) from Step 1 into the right side of Step 2: P(E∩F′)=P(E)−P(E)P(F)=P(E)(1−P(F))P(E \cap F') = P(E) - P(E)P(F) = P(E)\big(1 - P(F)\big).

Step 4. Recognise 1−P(F)=P(F′)1 - P(F) = P(F') by the ordinary complement rule, so P(E∩F′)=P(E) P(F′)P(E \cap F') = P(E)\,P(F'). This is exactly the definition of independence applied to the pair EE and F′F', so EE and F′F' are independent.

Step 5. The identical argument, run with the roles of EE and FF exchanged, proves E′E' and FF are independent whenever EE and FF are. Applying Step 1 through Step 4 once more, now to the already-established independent pair E′E' and FF (treating E′E' as the "EE" of the argument and FF as the "FF"), proves E′E' and F′F' are independent too. So independence of a pair of events survives replacing either one, or both, by its complement.

Go deeper · Derivation D · 1 minThe Multiplication Theorem for Three Events
Derivation DThe Multiplication Theorem for Three Events

The goal is to extend the two-event multiplication theorem P(E∩F)=P(E)P(F∣E)P(E \cap F) = P(E)P(F|E) to three events EE, FF, GG, proving P(E∩F∩G)=P(E) P(F∣E) P(G∣E∩F)P(E \cap F \cap G) = P(E)\,P(F|E)\,P(G|E \cap F), provided P(E∩F)≠0P(E \cap F) \neq 0 (which also forces P(E)≠0P(E) \neq 0). This is the calculation engine behind every "draw several cards or balls in succession without replacement" problem, where each successive draw's probability is conditioned on everything drawn so far.

Step 1. Treat E∩FE \cap F as a single compound event, call it H=E∩FH = E \cap F, and apply the ordinary two-event multiplication theorem to the pair HH and GG: P(H∩G)=P(H) P(G∣H)P(H \cap G) = P(H)\,P(G|H), valid whenever P(H)≠0P(H) \neq 0.

Step 2. Unwind the definitions: H∩G=(E∩F)∩G=E∩F∩GH \cap G = (E \cap F) \cap G = E \cap F \cap G, and P(G∣H)=P(G∣E∩F)P(G|H) = P(G|E \cap F) by definition of HH. So Step 1 reads P(E∩F∩G)=P(E∩F) P(G∣E∩F)P(E \cap F \cap G) = P(E \cap F)\,P(G|E \cap F).

Step 3. Apply the two-event multiplication theorem a second time, now to P(E∩F)P(E \cap F) itself: P(E∩F)=P(E) P(F∣E)P(E \cap F) = P(E)\,P(F|E), valid whenever P(E)≠0P(E) \neq 0.

Step 4. Substitute Step 3 into Step 2: P(E∩F∩G)=[P(E) P(F∣E)] P(G∣E∩F)=P(E) P(F∣E) P(G∣E∩F)P(E \cap F \cap G) = \big[P(E)\,P(F|E)\big]\,P(G|E \cap F) = P(E)\,P(F|E)\,P(G|E \cap F), exactly the claimed three-event multiplication theorem. The same substitution trick, applied one more time to a fourth event, extends the result to P(E∩F∩G∩H)=P(E)P(F∣E)P(G∣E∩F)P(H∣E∩F∩G)P(E \cap F \cap G \cap H) = P(E)P(F|E)P(G|E \cap F)P(H|E \cap F \cap G), and so on for any number of events — each new factor conditions on the intersection of everything drawn before it.

Worked examples

Board level - A family's two children: conditional probability from a small sample space

A family has two children. What is the probability that both children are boys, given that at least one of them is a boy?

Step 1. Let bb stand for boy and gg for girl; with birth order recorded, the sample space is S={(b,b),(g,b),(b,g),(g,g)}S = \{(b,b), (g,b), (b,g), (g,g)\}, four equally likely outcomes.

Step 2. Let EE: "both children are boys" and FF: "at least one child is a boy." Then E={(b,b)}E = \{(b,b)\}, so P(E)=14P(E) = \tfrac14, and F={(b,b),(g,b),(b,g)}F = \{(b,b), (g,b), (b,g)\}, so P(F)=34P(F) = \tfrac34.

Step 3. Find E∩FE \cap F: the only outcome in both sets is (b,b)(b,b), so E∩F={(b,b)}E \cap F = \{(b,b)\} and P(E∩F)=14P(E \cap F) = \tfrac14.

Step 4. Apply the definition of conditional probability: P(E∣F)=P(E∩F)P(F)=1/43/4=13P(E|F) = \dfrac{P(E \cap F)}{P(F)} = \dfrac{1/4}{3/4} = \dfrac{1}{3}. Answer: P(E∣F)=13P(E|F) = \dfrac{1}{3}. Notice this is smaller than the naive guess of 12\tfrac12 — knowing "at least one boy" rules out (g,g)(g,g) but leaves two of the three remaining outcomes with a girl in them, so the extra information is less favourable to "both boys" than intuition first suggests.

Board level - Drawing two black balls without replacement, using the multiplication theorem

An urn contains 10 black and 5 white balls. Two balls are drawn from the urn one after the other, without replacement. What is the probability that both drawn balls are black?

Step 1. Let EE: the first ball drawn is black, and FF: the second ball drawn is black. We need P(E∩F)P(E \cap F), the probability both draws are black, and the multiplication theorem gives P(E∩F)=P(E) P(F∣E)P(E \cap F) = P(E)\,P(F|E).

Step 2. Compute P(E)P(E): there are 1010 black balls out of 1515 total, so P(E)=1015=23P(E) = \dfrac{10}{15} = \dfrac{2}{3}.

Step 3. Compute P(F∣E)P(F|E): given that the first ball drawn was black, the urn now holds 99 black and 55 white balls, 1414 total, so P(F∣E)=914P(F|E) = \dfrac{9}{14}.

Step 4. Multiply: P(E∩F)=1015×914=90210=37P(E \cap F) = \dfrac{10}{15} \times \dfrac{9}{14} = \dfrac{90}{210} = \dfrac{3}{7}. Answer: the probability both balls drawn are black is 37\dfrac{3}{7}.

Competitive level (JEE / NEET) - Which machine made the defective bolt: Bayes' theorem across three causes

In a factory which manufactures bolts, machines A, B and C manufacture respectively 25%, 35% and 40% of the bolts. Of their outputs, 5%, 4% and 2% are respectively defective bolts. A bolt is drawn at random from the product and is found to be defective. What is the probability that it was manufactured by machine B?

Step 1. Define the partition: B1B_1: the bolt is from machine A, B2B_2: from machine B, B3B_3: from machine C. Since every bolt comes from exactly one machine, {B1,B2,B3}\{B_1, B_2, B_3\} is a partition of the sample space, with priori probabilities P(B1)=0.25P(B_1) = 0.25, P(B2)=0.35P(B_2) = 0.35, P(B3)=0.40P(B_3) = 0.40.

Step 2. Let EE be the event "the bolt is defective." The given percentages are conditional probabilities: P(E∣B1)=0.05P(E|B_1) = 0.05, P(E∣B2)=0.04P(E|B_2) = 0.04, P(E∣B3)=0.02P(E|B_3) = 0.02.

Step 3. Compute the denominator using the theorem of total probability: P(E)=P(B1)P(E∣B1)+P(B2)P(E∣B2)+P(B3)P(E∣B3)=(0.25)(0.05)+(0.35)(0.04)+(0.40)(0.02)=0.0125+0.0140+0.0080=0.0345P(E) = P(B_1)P(E|B_1) + P(B_2)P(E|B_2) + P(B_3)P(E|B_3) = (0.25)(0.05) + (0.35)(0.04) + (0.40)(0.02) = 0.0125 + 0.0140 + 0.0080 = 0.0345.

Step 4. Apply Bayes' theorem for hypothesis B2B_2: P(B2∣E)=P(B2)P(E∣B2)P(E)=0.01400.0345=2869≈0.406P(B_2|E) = \dfrac{P(B_2)P(E|B_2)}{P(E)} = \dfrac{0.0140}{0.0345} = \dfrac{28}{69} \approx 0.406. Answer: the probability the defective bolt came from machine B is 2869≈0.406\dfrac{28}{69} \approx 0.406. Timing note: about ninety seconds once the setup is recognised. The entire calculation is two clean stages — first total probability for the denominator (one multiply-and-add per machine), then a single Bayes' theorem fraction reusing the numerator you already computed for machine B. The time sink is not the arithmetic but correctly identifying the partition and matching each percentage to the right conditional probability; write P(Bi)P(B_i) and P(E∣Bi)P(E|B_i) as a two-row table for all three machines before touching Bayes' theorem, so nothing gets mismatched under time pressure.

Competitive level (JEE / NEET) - Alternating dice, an infinite game, and a geometric series

A and B throw a die alternately till one of them gets a six and wins the game. Find their respective probabilities of winning, if A starts first.

Step 1. Let SS denote success (getting a six) on a single throw and FF denote failure. Since the die is fair, P(S)=16P(S) = \dfrac{1}{6} and P(F)=56P(F) = \dfrac{5}{6}.

Step 2. List the ways A can win. A wins on the first throw with probability P(S)=16P(S) = \dfrac{1}{6}. A wins on the third throw only if the sequence is failure (A), failure (B), success (A) — using the multiplication theorem for independent trials, P(FFS)=P(F)P(F)P(S)=(56)216P(FFS) = P(F)P(F)P(S) = \left(\dfrac{5}{6}\right)^2 \dfrac{1}{6}. In general A wins on the (2k+1)(2k+1)th throw with probability (56)2k16\left(\dfrac{5}{6}\right)^{2k}\dfrac{1}{6}, for k=0,1,2,…k = 0, 1, 2, \ldots

Step 3. Sum the infinite geometric series for P(A wins)P(A \text{ wins}), whose terms have first term a=16a = \dfrac{1}{6} and common ratio r=(56)2=2536r = \left(\dfrac{5}{6}\right)^2 = \dfrac{25}{36}: P(A wins)=16+16(2536)+16(2536)2+⋯=a1−r=1/61−25/36=1/611/36=366×11=611P(A \text{ wins}) = \dfrac{1}{6} + \dfrac{1}{6}\left(\dfrac{25}{36}\right) + \dfrac{1}{6}\left(\dfrac{25}{36}\right)^2 + \cdots = \dfrac{a}{1-r} = \dfrac{1/6}{1 - 25/36} = \dfrac{1/6}{11/36} = \dfrac{36}{6 \times 11} = \dfrac{6}{11}.

Step 4. B's winning probability is the complement, since exactly one of A or B eventually wins (the game ends with probability 11): P(B wins)=1−P(A wins)=1−611=511P(B \text{ wins}) = 1 - P(A \text{ wins}) = 1 - \dfrac{6}{11} = \dfrac{5}{11}. Answer: P(A wins)=611P(A \text{ wins}) = \dfrac{6}{11} and P(B wins)=511P(B \text{ wins}) = \dfrac{5}{11}. Timing note: about three minutes. The two traps are algebraic, not conceptual: writing the ratio of the geometric series as (56)2\left(\dfrac{5}{6}\right)^2, not 56\dfrac{5}{6} (each "round" that A fails to win consumes two throws, one by each player), and remembering ∣r∣<1\left|r\right| < 1 so the standard sum formula a1−r\dfrac{a}{1-r} applies. Once P(A wins)P(A \text{ wins}) is found, get P(B wins)P(B \text{ wins}) by subtracting from 11 rather than summing a second series — it is faster and self-checking, since the two probabilities must add to exactly 11.

Common traps

  • Writing P(E∣F)P(E|F) when P(F∣E)P(F|E) was intended, or vice versa. These are generally different numbers; always identify which event is the "given" (denominator) event before writing the formula, and match it to what the question actually asks.
  • Applying the conditional probability formula when P(F)=0P(F) = 0. The formula P(E∣F)=P(E∩F)/P(F)P(E|F) = P(E \cap F)/P(F) is simply undefined if FF is impossible; check P(F)≠0P(F) \neq 0 before dividing.
  • Confusing independent events with mutually exclusive events. These are different, near-opposite ideas — see the warning below; this is the single most tested conceptual trap in the chapter.
  • Assuming pairwise independence proves mutual independence for three events. All three pairwise conditions plus P(A∩B∩C)=P(A)P(B)P(C)P(A \cap B \cap C) = P(A)P(B)P(C) must hold together; a counterexample can satisfy the three pairwise equations yet fail the fourth.
  • Forgetting to check that a proposed collection of events is actually a partition before applying total probability or Bayes' theorem. The events must be pairwise disjoint, their union must be the whole sample space, and each must have nonzero probability — skipping this check risks summing over overlapping or incomplete "causes."
  • Using P(Ei)P(E_i) (the priori probability) where P(Ei∣A)P(E_i|A) (the posteriori probability) was wanted, or vice versa. The priori probability is what you know before the evidence; the posteriori is the whole point of running Bayes' theorem, and the two are usually numerically quite different, as the HIV-test and bolt-factory style examples show vividly.
  • Forgetting the denominator in Bayes' theorem is the full theorem-of-total-probability sum, not just the term for the hypothesis in question. Every path to AA must be added, not just the path through the hypothesis you are solving for.
  • Treating "with replacement" and "without replacement" draws identically. Without replacement, conditional probabilities on later draws change (fewer balls or cards remain, and the composition shifts); the multiplication theorem is precisely the tool built for this, and misapplying independence (multiplying unconditional probabilities) when draws are without replacement gives a wrong answer.
  • Rounding intermediate decimals too early in a Bayes' theorem calculation. These problems often involve small numbers, like 0.0010.001 or 0.0050.005, multiplied together; rounding an intermediate product to two decimal places can wipe out the entire numerator and silently produce a wildly wrong final answer, so carry full precision, or exact fractions, until the very last step.
  • Writing P(E′∣F)=1−P(E)P(E'|F) = 1 - P(E) instead of 1−P(E∣F)1 - P(E|F). The complement rule for conditional probability complements only within the restricted sample space FF; do not complement against the unconditioned probability P(E)P(E).

You should be able to…

  • State the definition of conditional probability P(E∣F)=P(E∩F)/P(F)P(E|F) = P(E \cap F)/P(F), explain why P(F)≠0P(F) \neq 0 is required, and use the three basic properties confidently.
  • Derive and apply the multiplication theorem of probability for two and for three or more events, especially in "without replacement" drawing problems.
  • State the definition of independent events, and explain clearly why independence and mutually exclusive events are different (and, for nonzero probabilities, incompatible) properties.
  • Check mutual independence of three events by verifying all four required conditions, not just the three pairwise ones.
  • Identify whether a given collection of events forms a valid partition of the sample space, checking pairwise disjointness, exhaustiveness and nonzero probability.
  • State and apply the theorem of total probability to compute an overall probability from probabilities conditioned on each cause in a partition.
  • State and apply Bayes' theorem to compute a posteriori probability from priori probabilities and conditional probabilities, correctly assembling the total-probability denominator.
  • Recognise, from the wording of a problem, whether it is asking for a forward (total probability) or reverse (Bayes' theorem) calculation.
  • Prove short results about conditional probability and independence (such as independence of complements) using only the definitions and the multiplication theorem.
  • Combine conditional probability with an infinite geometric series to solve "alternating trials until someone succeeds" problems.

Ask the tutor: Want to work through a few more Bayes' theorem or independence problems together, building up to the JEE-style multi-stage tree diagrams before moving on?

What exactly is the difference between P(E and F) and P(E given F)?

P(E∩F)P(E \cap F) is the probability that both events occur, measured against the full, unrestricted sample space SS — it never exceeds either P(E)P(E) or P(F)P(F) individually. P(E∣F)P(E|F) is a different question: given that you already know FF has happened, how likely is EE, measured against the smaller universe FF? They are related by P(E∣F)=P(E∩F)/P(F)P(E|F) = P(E \cap F)/P(F), and because you are dividing by P(F)≤1P(F) \leq 1, the conditional probability P(E∣F)P(E|F) is generally larger than the joint probability P(E∩F)P(E \cap F) (equal only when P(F)=1P(F) = 1). Mixing the two up — using P(E∩F)P(E \cap F) where P(E∣F)P(E|F) was asked for, or vice versa — is one of the most common scoring errors in this chapter.

Why can't independent events also be mutually exclusive, if both sound like they should mean unrelated?

The word "independent" is about probability updating, not about the events sharing no outcomes. If EE and FF are mutually exclusive, then EE occurring makes FF impossible — that is an enormous change in the probability of FF (from whatever P(F)P(F) was, down to exactly zero), which is the opposite of independence, where occurrence of EE should leave FF's probability completely unchanged. Formally, mutually exclusive events with P(E),P(F)>0P(E), P(F) > 0 have P(E∩F)=0≠P(E)P(F)P(E \cap F) = 0 \neq P(E)P(F), so the independence equation fails outright. The everyday word "independent" suggests "unconnected," which misleads students into picturing "no overlap" — but the mathematical definition is precisely about products of probabilities, and disjoint sets with positive probability are about as dependent as two events can be.

How do I decide whether a problem wants the theorem of total probability or Bayes' theorem?

Look at what is being asked. If you are given probabilities of several causes and conditional probabilities of an effect under each, and asked for the overall probability of the effect, that is the theorem of total probability — a forward calculation. If instead the effect has already been observed and you are asked which particular cause it arose from, that is Bayes' theorem — a reverse calculation. In practice, a Bayes' theorem answer always needs the total-probability denominator first, so total probability is step one of every Bayes' theorem problem; the real question is only whether the problem stops there or goes on to ask for one specific posteriori probability.

Is P(A given B) always less than or equal to P(A)? My intuition says knowing more should never increase a probability.

No, that intuition is not correct, and this chapter's own results show why: if P(A∣B)>P(A)P(A|B) > P(A), it means BB makes AA more likely, which is entirely possible (for example, knowing a card drawn is a face card makes "the card is a king" more likely than the unconditional 452\tfrac{4}{52}). Conditional probability can increase, decrease, or stay exactly the same compared to the unconditional probability, depending on the relationship between the two events. It stays the same exactly when AA and BB are independent; it increases when BB is "positively associated" with AA; and it decreases (or even drops to zero, if AA and BB are mutually exclusive) when BB works against AA. There is no general inequality forcing P(A∣B)≤P(A)P(A|B) \leq P(A).

When I check mutual independence of three events, do I really need to verify all four equations, or is checking the three pairwise ones usually enough?

You need all four, and this is not a formality — pairwise independence genuinely does not imply mutual independence. It is possible to construct three events that are pairwise independent (all three equations P(A∩B)=P(A)P(B)P(A \cap B) = P(A)P(B), P(A∩C)=P(A)P(C)P(A \cap C) = P(A)P(C), P(B∩C)=P(B)P(C)P(B \cap C) = P(B)P(C) hold) while the triple product condition P(A∩B∩C)=P(A)P(B)P(C)P(A \cap B \cap C) = P(A)P(B)P(C) still fails. NCERT's own Example 12 (three coins tossed, events "three heads or three tails," "at least two heads," "at most two heads") shows pairs that look independent by one check but fail another, which is exactly the discipline this chapter is testing: work through every one of the four conditions in equation (5) individually before declaring three events mutually independent, and if even one fails, they are not.

Before this