Hallo,
ist \( (\Omega,\,\mathcal{F},\,P)\) der zugrundeliegende Wahrscheinlichkeitsraum, dann ist
\( P(\cdot\,|\,B)\,:\, \mathcal{F} \to [0,1], \, A \mapsto P(A|B) \) ein Wahrscheinlichkeitsmaß auf \((\Omega,\,\mathcal{F}) \).
Die Aussage folgt dann direkt aus der Tatsache, dass für jedes Wahrscheinlichkeitsmaß gilt \(P(A^C) = 1-P(A)\)