Koşullu olasılık, bir koşulun gerçekleştiği bilindikten sonra başka bir koşulun gerçekleşme olasılığıdır. Formül olarak, B koşulu varken A'nın olma olasılığı, A ve B'nin birlikte olma olasılığının B'nin olma olasılığına bölümüdür. Sembolik gösterimle, P(A|B) şeklinde ifade edilir ve "B olayının gerçekleştiği durumda A olayının olasılığı" anlamına gelir.