Endlicher Wahrscheinlichkeitsraum/Bedingte Wahrscheinlichkeit/Wahrscheinlichkeitsmaß/Fakt/Beweis

Beweis

Wir müssen zeigen, dass die bedingte Wahrscheinlichkeit additiv ist und die bedingte Gesamtwahrscheinlichkeit gleich ist. Für disjunkte Ereignisse und ist

und es ist