条件概率的定义：
样本空间S内，试验E下，事件A发生的条件下，B发生的概率，记作 P (B | A) 。
下推导 P(B)= P(AB) / P(A)
已知，样本空间S，试验E，
P(S)=1;
A+Ac =S;
则有：P(B)= P(SB) / P(S) = [P(AB)+P(AcB)] / [P(A)+P(Ac)] ;
加上额外条件——P(A)= 1后：
就有：P(Ac)= 1-P(A)= 0 , P(AcB)= 0 ;
P(B)= P(AB) / P(A) 。
个人总结：条件概率是特殊的普通概率，普通概率也是特殊的条件概率。条件概率和概率的三条性质（非负性，规范性，可列可加性）是一致的。