4.2 概率的表达形式以及计算法则