Теорема (формулы Байеса). Пусть A может наступить при условии появления одного из несовместных событий , образующих полную группу. Допустим, что произведено испытание, в результате которого произошло событие A. Тогда вероятность того, что реализовалась гипотеза Bi, если известно, что событие A произошло, может быть вычислена по формулам:
. Доказательство. По теореме умножения вероятностей:.Выражая , найдем:.