Procedura ažuriranja verovatnoće nekog događaja na osnovu novih saznanja (kada se prikupe novi dokazi). U najprostijoj formi može se napisati u vidu uslovnih verovatnoća putem formule

Teorema daje verovatnoće Bj, kada je poznata verovatnoća A. Veličina Pr(Bj) se naziva a-priori verovatnoća, a Pr(Bj|Ð) a-posteriori verovatnoća.
Odnos između apriori i aposteriori verovatnoća dat je formulom