**Krok \(1\).** Mamy udowodnić nierówność dotyczącą prawdopodobieństwa, a jedyna dana to \(P(A\cap B^{\prime})=0{,}7\). Skoro po lewej stronie tezy stoi inne zdarzenie, potrzebny jest związek między nimi. Naturalny pomysł: zbadać, czy zdarzenia \(A\cap B^{\prime}\) i \(A^{\prime}\cap B\) mogą zajść jednocześnie, i skorzystać z tego, że prawdopodobieństwo żadnego zdarzenia nie przekracza \(1\).
**Krok \(2\).** Zdarzenia \(A\cap B^{\prime}\) oraz \(A^{\prime}\cap B\) są rozłączne. Istotnie, wynik należący do pierwszego z nich należy do \(A\), a wynik należący do drugiego należy do \(A^{\prime}\), czyli do \(A\) nie należy. Żaden wynik nie spełnia obu warunków naraz, zatem
\[\left(A\cap B^{\prime}\right)\cap\left(A^{\prime}\cap B\right)=\varnothing.\]
**Krok \(3\).** Dla zdarzeń rozłącznych prawdopodobieństwo sumy jest sumą prawdopodobieństw:
\[P\!\left(\left(A\cap B^{\prime}\right)\cup\left(A^{\prime}\cap B\right)\right)=P\!\left(A\cap B^{\prime}\right)+P\!\left(A^{\prime}\cap B\right).\]
**Krok \(4\).** Podstawiamy daną z treści:
\[P\!\left(\left(A\cap B^{\prime}\right)\cup\left(A^{\prime}\cap B\right)\right)=0{,}7+P\!\left(A^{\prime}\cap B\right).\]
**Krok \(5\).** Prawdopodobieństwo dowolnego zdarzenia jest nie większe niż \(1\), więc
\[0{,}7+P\!\left(A^{\prime}\cap B\right)\leqslant1.\]
**Krok \(6\).** Odejmujemy \(0{,}7\) od obu stron:
\[P\!\left(A^{\prime}\cap B\right)\leqslant0{,}3,\]
co należało wykazać.
**Uwaga.** Kluczowe jest stwierdzenie rozłączności w kroku \(2\). Bez niego wzór z kroku \(3\) nie zachodzi (dla dowolnych zdarzeń prawdopodobieństwo sumy jest tylko nie większe od sumy prawdopodobieństw) i dowód byłby niepełny.
**Odpowiedź.** Zdarzenia \(A\cap B^{\prime}\) i \(A^{\prime}\cap B\) są rozłączne, więc \(0{,}7+P(A^{\prime}\cap B)\leqslant1\), czyli \(P(A^{\prime}\cap B)\leqslant0{,}3\).