贝叶斯定理的优势在于计算概率时可交换相关事件的次序,也就是说,可以通过P(B|A)的值间接地计算P(A|B)的值。尤其是当其中一个概率值很难直接计算时,可以利用另外一个概率值来计算未知的概率值。
公式右边的的分母P(A)可以看做归一化常数,以保证期满足概率函数的性质。如果我们感觉兴趣的仅仅是事件发生的相对可能性,这时完全可以忽略这个分母,因为公式中的分母大小都是相同的。
但是,我们也可以通过下式计算分母的大小。
所以

【加法律】
其中,B和

将A集合分成两个不相交的非空的部分,分别对其计算条件概率,然后利用可加性的性质,得到以上结果。现在将其推广之,假设一组互不相交的集合

对A进行划分,满足

,则有:
依照此式,我们给出贝叶斯定理的更正式的数学定义:
贝叶斯定理:假设

,并且对于任何的

,满足

,则有: