احتمال شرطی با احتمال کل در مخرج

شرط $B$ رخ داده و احتمال $A$ را می‌خواهند: مخرج احتمال همان پیشامدِ معلوم، یعنی $P(B)$، است و صورت $P(A\cap B)$. اگر $P(B)$ را مستقیم نداری، $B$ را با دو حالت ناسازگار $A$ و $A^{\prime }$ بشکن؛ هر جمله از قانون احتمال کل می‌آید.