14-4 用概率符号来表示贝叶斯推理的先验概率