Achtung: Das ist nur der Anfang der einen Beweisrichtung:
Beweisrichtung " ==> "
P(B|A) = P(B|Ac) ?
P(B|A) = P(A ∩ B) / P(A) | nach Voraussetzung
= P(A) * P(B) / P(A) = P(B)
P(B|Ac) = P(A^c n B) / P(A^c) | S sei das sichere Ereignis.
= P( (S \ A) n B) / P( S \ A) | Wenn man jetzt Unabhängigkeit auch hier hätte
= P(S\A) * P(B) / P(S \ A)
= P(B) qed.
P( (S \ A) n B) = P(S\A) * P(B) muss allerdings noch sauber gezeigt werden.
Es sollte aus der Voraussetzung und P(S\A) = 1 - P(A) folgen.